darklang team loved ocaml too. in the end they ended up using f#.