[fuzztester]

>In OCaml, a language highly suited for developing languages in,

What makes OCaml suited for that?

[mjburgess]

algebraic datatypes (tagged unions + pattern matching); compiled, garbage collected (you dont really need memory management for a compiler), statically typed with inference

[hibikir]

Yeah, the same reasons Scala has a built in parser combinator module in the standard library: Just easy to use with those features in the language

[fuzztester]

thanks.

[greggyb]

ML, the language heritage from which OCaml derives, was explicitly designed with interpreters and compilers in mind.