The future's coming

[thedeemon]

В списке команд прошедшего ICFPC в графе использованных языков встречаются Agda и Coq (оба в связке с окамлом). Тенденция, однако.

Comments

[clayrat.livejournal.com]

а также Maude

[udpn.livejournal.com]

Особенно порадовал такой беспалевный ответ "japanese".

[thedeemon.livejournal.com]

Там и русский с английским встречаются. :) Причем на месте русского на самом деле common lisp - у swizard.

[sorhed.livejournal.com]

И немудрено. Задание-то подходящее.