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

>>107

I need everything to be an object. Tastes foul.

This isn't an error, but: no shit, that's why we don't do it. Which is exactly what I've been saying.

The implementation of > is the problem here

That's not a hole in the type system it's just an oracular function, and no worse than read_line. OCaml is full of this stuff... I/O, Gc, FFI. You want holes in the type system? Start looking into Obj.magic, ( > ) and friends aren't going to do it for you.