swift

[metaclass]

Эппл выкатило новый язык: https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/GuidedTour.html#//apple_ref/doc/uid/TP40014097-CH2
Алгебраические типы есть, паттерн-матчинг есть, иммутабельность есть, замыкания, анонимные функции есть, трейты есть, заумные ограничения на параметры генерик-типов есть.

Comments

[dmytrish.livejournal.com]

iAgda!

Думаю, для хипстеров бы прокатило. Надо просто сказать «революционный подход, смотрите, как просто зависимые типы решают насущные проблемы» + несколько презентаций в стиле Apple с харизматичным категорщиком.  

[nivanych.livejournal.com]

Ну и компилятор iGHC тоже давно бы пора!