OCaml:→ Lambda calculus right in the type system!
→ Nested let-expressions let you skip the parens
without the indentation.
→ Oh, but sexprs are still sexy:
https://github.com/janestreet/sexplib→ No FIOC.
→ Practical like Lisp, not a sprawling mess of "purity" like that
traitor HASKAL.
→ Most working programs can be typed for you by the compiler.
→ And then there's this guy:
http://sds.podval.org/ocaml-sucks.html (Outdated
as fuck, but still a fun read.)
→
Learn OCaml at FUN, right now: https://www.france-universite-numerique-mooc.fr/courses/parisdiderot/56002/session01/about (in english)