Nicolas Cannasse has written an article discussing the NekoML programming language. NekoML is a "programming language with an ML type system using type inference and unification," and an implementation which generates Neko source code.
Future plans include rewriting the NekoML compiler in NekoML and reorganising and completing the standard libraries, in preparation for a Neko 1.1 release that does not use O'Caml.
![[RSS 2.0 Feed]](img/feed.png)
![[Valid RSS 2.0]](img/valid_rss.gif "Validate my RSS feed")
![[Valid XHTML 1.0]](img/valid_xhtml.png)
![[Valid Atom 1.0]](img/valid_atom.gif "Validate my Atom 1.0 feed")
![[Valid CSS]](img/valid_css.gif)
![[Powered by OCaml]](img/ocaml.gif)
![[Powered by PostgreSQL]](img/postgresql.png)