concat

The problem with this is this is that it assumes the programming language is the last world in the developer experience. I am certainly a language person, and you cannot get anywhere with a bad language, but merely having a good language is not enough. Working on github.com/obsidiansystems/obelisk/ we have very very many things we would like to work on, but not super much of it involves "adding new features" to Haskell. And yet the libraries are so richly layered e.g. the frontend feels more different from regular effectful code in Haskell, than regular effectful code in Haskell feels different from that in other languages. The one feature we would like in Haskell is arguably a "removing the weaknesses and restrictions that make additional features appear necessary" thing, which is something like https://github.com/conal/concat and https:

I think it's worth it. Everything is lambda-in-a-straight-jacket-like. The question is how can you mix and match straight jackets, and how convoluted is programming. Also look at https://github.com/conal/concat

I've been skeptical about the utility of category theory in software development, but this is pretty interesting stuff. The source code for the programs he's talking about: https://github.com/conal/concat