A programming language with the easyness of dealing with state and effects of a mainstream language and with the guarantees you get from a pure functional language
We need more pragmatic people (and less academic) in the programming language scene.
Some of the people I see remind me of a doctor that forces you to learn all about the chemical composition of a pill and its history before he lets you take the pill.
You want the damn pain gone. He insists oh the formula is beautiful you wont believe it you have to see it first.
This is what people do in FP.
You want to promote FP? Make a functional programming language that "industrial" programmers who glue UI to database fields use to get shit done fast and see what happens.
But oh no first everyone must masturbate to your beautiful monads and get their FP permit.
Yes. You can already get some of the benefits as evidenced in the slow adoption of functional concepts into mainstream languages. Lambdas, generics for example.
Being legos is fine but monad transformer stacks and free monads are legos that I can't see most coders putting in the yards to understand. But that's the level you need.to get to to do useful stuff, lest you just do everything in IO but that's imperative style really.
I think a great example of what I mean is Linq and async/await in C#.
