swift

[metaclass]

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

Comments

[blackyblack.livejournal.com]

Скучный какой-то. Выкатили бы они свою реализацию пролога, было бы круто.

[divine-assass1n.livejournal.com]

Очень смешно

[nivanych.livejournal.com]

Нужно в другую сторону — агда, но только "для всех", чтоб любая домохозяйка смогла!
Ведь они же Apple, чо б им не повысить всякую там юзабельность и интуитивную понятность?
Вот это был бы язык, вот это я понимаю! ;-)

[dmytrish.livejournal.com]

iAgda!

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

[nivanych.livejournal.com]

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