>>18I am an educated autist who's addicted to math and whose thinking was irreparably deformed by the category theory and functional programming, I don't want to leave my ivory tower and write real programs.
Look i don't want to read thousands of pages on category theory to make a simple app. No sane person(except really autistic) does this. No one will want to deal with Haskell type theory when they have the choice of something easier. C++ is like a manual : do X to get Y, one page explains everything that X does by example. Now Haskell is like some autistic constructor set of concepts that all have really different context-sensitive functions and they all need to be done perfectly or else it would not compile or run at all. Now imagine you deal with this autistic constructor set with thousands of parts and combinations, without the knowledge of several math fields and whatever was in Simon Peyton Jones deranged mind when he wrote it.