Via Patrick I just discovered a new language for the .Net CLR, called Boo. Pythonic syntax, object oriented static typing with type inference, and macros. Looks interesting.