AFAIK F# is supposed to be an ML that is more like OCaml, but on the .NET runtime.  Give it a look, it may be useful for you.  Also, IIRC, the compiler for it went OSS recently.  But I&#x27;ve not tried the language myself, so this is hearsay.