<div dir="ltr">Is there a typed, functional language with mature versions on Microsoft's CLR and the JVM?  A JVM OCaml to go with F# would be ideal.<div><br></div><div>Trent</div></div>