Mostly agree with your post, just a few remarks: > Polymorphic equality and comparison can definitely be a source of confusion. The problem is entirely with O

Mostly agree with your post, just a few remarks: > Polymorphic equality and comparison can definitely be a source of confusion. The problem is entirely with OCaml, since equality and comparisons aren't broken in Standard ML and Haskell. > Again, this is more of a "my language is not LISP" complaint. Ocaml has camlp4, which is not a full-blown macro system but (...) Lisp macros are totally broken too, since there's basically no way to protect any programmer-defined abstractions. (Not that one should expect much from Lispers in this regard.) This is how you do macros right: http://docs.racket-lang.org/syntax/Parsing_Syntax.html http://docs.racket-lang.org/syntax/Parsing_Syntax.html