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

>>33
That's not the point. See >>29:

Yes, [b]this kind of type safety[b] is a necessary condition for Haskell's success

is bullshit. There's nothing inherently unsafe about infinite types.

But if you really want to know what x x is good for, it comes up a lot in lambda calculus. In fact, application of the X combinator to itself is good for everything, being a basis of combinatory logic: https://en.wikipedia.org/wiki/Combinatory_logic#One-point_basis