This is a discussion page so please add your comments below.
OCamIL is a port of the ocaml compiler to .Net CLR
Main article: F#
Microsoft worked on a version of the language called F#.
Licensing terms appear to make it impractical to use this language.
LexiFi has released CSML, an internal development tool used to define high-level bindings between OCaml and .NET.
CSML provides a type-safe and GC-safe interface between the two systems. It deals nicely with exceptions, first-class functions (a.k.a. delegates), and complex types.
LexiFi uses CSML for the following scenarios: