Of course, that completely flies in the face of an education system oriented towards training hordes of non-thinking peons into start positions at the job market. So, yes, it's not for everybody.
> It is without doubt the most beautiful language ever conceived.
Only if you're a masochist.
I do suspect that in the near term Idris may overtake Haskell as my favorite language to program in, though. I haven’t had a chance to sit down and learn it yet, but everything I’ve read about it so far has left me very excited.
Yet, it also has a much higher learning curve than any other language I met. As you learn and learn, your productivity improves again and again.
The learning curve also starts from a very low point. Without a few key concepts (no, not monads) the language is almost unusable.
That is probably an exaggeration, but it's definitely a problem you see in large complex languages with multiple ways to accomplish any particular task.
The core of Haskell is not that complex (although there is a lot of complexity on extensions). All the learning is in how to apply it, not on understanding the thing.
It is like OOP development practices, but wider and higher.
Which probably wouldn't be a bad way to teach Haskell, perhaps -- once one gets the general underlying form, understanding the rest is mostly just learning how the rest maps to that form.