Thanks for the details and for the source code link! Funny that you mention Kawa: I've been meaning to try it out along with Yeti. That you had problems with i

Thanks for the details and for the source code link! Funny that you mention Kawa: I've been meaning to try it out along with Yeti. That you had problems with it does not sound very encouraging, but then, it has had a major version release since. When it comes to ML, I prefer SML to OCaml. I think Yeti, Standard ML and Scheme appeal to the same "small core language" mentality. If you decide to give SML a go, I'd recommend SML/NJ for development and as your REPL — especially while you are getting used to the language since it has better error messages — and MLton for production binaries.