The reason there is a lot of fragmentation is that there is a lot of different problems out there to solve. There are no pana cea that solves every problem at o

The reason there is a lot of fragmentation is that there is a lot of different problems out there to solve. There are no pana cea that solves every problem at once. It should start with a problem and then formulating abstractions to make the problem easier to solve. Or in other words with defining a language and then see what properties it has. Starting with the verifications gives you very well defined properties, but it doesn't solve your problems because you will then optimize your language for the wrong thing.