UFO is a general-purpose multi-paradigm functional programming language with some very high-level features. Some of the more specific features make it quite suitable for creating other programming languages and computational models (abstract/virtual machines). It includes:
automatic memory management a number of high-level concurrency constructs with garbage collected threads extensive pattern matching capabilities easy to use syntax (it is not a curly-brace-and-semicolon programming language) strong, dynamic typing lots of built-in data structures even more! The UFO language borrows heavily from just about every functional language in existence, most notably Scheme, Postscript, Erlang, Haskell, ML, Oz, and probably a few others.
The language is being developed in Modula-3 using the CM3 compiler.
The language is currently in the alpha stage (March 2009), so I am not releasing any source code. Once it reaches the beta stage I will provide the source code here. I anticipate that happening Real Soon Now (TM), which is why I have created this web page.
Until then, see http://ufo.wikispaces.com.