Those language are too cryptic for people to adopt them en masse. There's a reason why Ruby/PHP/Python are so pervasive, 95% of people simply do NOT care about

Those language are too cryptic for people to adopt them en masse. There's a reason why Ruby/PHP/Python are so pervasive, 95% of people simply do NOT care about monads and poly-variadic fix-point combinators for mutual recursion.