schlenk It is not too difficult to wrap an OCaml library as a Tcl extension, but there are some small issue one has to be aware off.
* The library should be created as native code, not OCaml Bytecode. * When trying to bridge OCaml Objects to Tcl_Obj representations on needs to be aware of differences like the CAR/CON semantics of OCaml lists vs. the C array style reps of Tcl_ListObj, so you need to study the boxing/unboxing of OCaml Values to make it work, e.g. recursive creation of OCaml lists from Tcl_ListObj. Its easier to work via the String interfaces.
NML is a dynamically typed functional language. It supports overloaded, vectorized, math operations, list comprehensions, and optional and keyword arguments in uncurried argument tuples, possibly with specified default values. It includes a Tcl/Tk interactive browser and interaction window with list pane access to a user modifiable documentation database.NML compiles its source code to fast closures of native OCaml code.