Читаем про C# 3.0:
http://developers.slashdot.org/article.pl?sid=05/09/18/0545217&tid=109&am...
Ряд интересных моментов:
- implicitly typed locals with type inferrence
- lambda expressions with type inferrence (!)
- anonymous tuple types
- expression trees to represent lambdas as data rather than code (AST! даешь макры! ;)
Ну, вы поняли... ничего не напоминает? ;) И я надеюсь, никто не будет спорить, что C# сегодня - это таки мэйнстримный язык...
Еще там есть extension methods - возможность добавлять функции в существующие классы. То, что довольно давно было в динамических языках типа Smalltalk и Ruby.