I think this "problem" can be viewed from a different angle: Mathematicians have managed to find a language which they feel confortable expressing their ideas i

I think this "problem" can be viewed from a different angle: Mathematicians have managed to find a language which they feel confortable expressing their ideas in (whether for fun in this case or for more serious applications). I don't see this as a bad thing, and I say this as someone who definitely prefers to write practical close to metal type programs in Haskell, and doesn't care much for the all the mathematical theory some other adore. On the other hand, it turns out that these mathematicians are giving back some great things to the community. People like Edward Kmett have done a lot of work in using category theory in Haskell, and it's given us lovely things like lenses. They can tell us why things things we think should work but dont (some things you can write a Monad instance for, for example, don't obey the monad laws, and more often than not that leads to problems). The only problem I see if that there are often two different languages being spoken, and it takes a while for us less maths inclined to catch onto why this work is beneficial to us in every day code. Perhaps when I've got something working, I can write a blog post for you showing my Haskell implementation of a decompressor for LZ4, which is most definitely low level and applicable to the real world (there's lots of pointer arithmetic going on).