I was going to ask, but the author answers this in the end: > Other alternatives to consider is Haskell and various Lisp dialects. If you have already “tamed”

I was going to ask, but the author answers this in the end: > Other alternatives to consider is Haskell and various Lisp dialects. If you have already “tamed” Haskell (my congratulations and condolences), probably learning OCaml just for writing a compiler is not going to be worth it; if you have not, OCaml is a much more approachable language. This is an interesting claim, as I thought Haskell and OCaml were more or less equivalently inscrutable.