The Nemerle Programming Language

A functionalish programming language, that runs on the Microsoft CLR platform. Very OCaml-like.

• Functional-style variants and pattern matching (Without the stupid OCaml syntax! Check out the extra leading pipe symbol).
• Hygenic macros. Impressive stuff but I first read about something very similar implemented for Java called Maya.

Of course, there are many more features in there (basically taken from OCaml).