Объективный Верблд

В это году спецсеминар по Objective Caml проводится в 7ой (!) раз. В понедельник, при большом скоплении народа, схема Горнера опять превратилась в свертку справа. :)

Надо сказать, что за 7 лет много что изменилось:

• все люди понимают, что кроме C и C++ бывают и другие языки, и на этих языках очень и очень можно программировать (меня спросили, почему я рассказываю Objective Caml, а не Haskell!)
  
• все знают, что сборка мусора - это хорошо
• параметрический полиморфизм победно шевствует по mainstream языкам (в Java тайпчекинг чуть ли не неразрешим)
• Вывода типов, конечно, пока еще нет, но C# 3.0 уже на подходе - а там (почти) все будет.

По этому поводу долго думал, не сменить ли Caml на что-нибудь - на Scala, например, или на F# - но решил, что Университет должен давать классическое образование - а Caml - это все-таки современная классика языкового дизайна. К тому же, хочется и модулей, и row polymorphismа, да и Dynamic Camlем хочется похвастаться.

Кстати, в прошлом году я очень удачно пол-семинара решал expression problem на Caml - под этим соусом почти все языковые фичи можно подать. Надо будет в этом году делать то же самое, только более осознанно и последовательно.

Update: все-таки в 6ой, а не в 7ой. Первый раз это было в 2001 году. На четвертом курсе я еще не был столь нагл, чтобы вести спецсеминары :)