Nemerle is a new programming language that compiles to CIL (fka MSIL, Microsoft Ingermediate Language, now Common Intermediate Language). Its features:

  • simplicity,
  • C#-like syntax,
  • easy to use object system (derived directly from the .NET),
  • easy access to both functional and imperative features,
  • powerful code-generating macros,
  • variants,
  • pattern matching,
  • static and on-demand dynamic typing,
  • type inference.

It looks quite nice, I looked through the docs and little tutorial, but the papers show more of the more special functional features.