Functional programming beyond Haskell

We have all learned functional programming in Haskell, but there are more functional languages like Lisp, Scheme, ML, and Clean.

Why should we even bother to look further than Haskell?

- You want your programs to run faster.
- Monads drive you mad (what are they anyway? warm fuzzy things?).
- You need objects.
- You sometimes need a more powerful module system.

http://www.cs.uu.nl/wiki/pub/Stc/BeyondFunctionalProgrammingInHaskell:AnIntroductionToOCaml/ocaml.pdf

>>100
Type system holes are a problem in theory and nowhere else. They're a purely academic concern. In the real world you can trust sensible programmers only to use them in idiomatic ways appropriate to what you're working on. Therefore they're an overall win for expressive power, and a litmus test for distinguishing between useful languages and academic languages.