ICFPC'11: миниотчет

В минувшие выходные прошло ежегодное 72-часовое соревнование ICFP Contest. В этом году его организовывали японцы (судя по выложенному ими бинарнику, пишущие на окамле). На мой взгляд, задание получилось очень хорошим, лучше нескольких предыдущих (2008-2010). Условие повторять не буду, его можно прочитать в оригинале на английском c красивыми картинками или в подробном пересказе по-русски.

К огранизации японцы тоже подошли грамотнее предшественников: чтобы обезопасить себя от падений официального сервера, задействовали гугловские сервисы - blogger для вывешивания условия и spreadsheets для приема ссылок на решения. Сами решения скачивались уже после контеста и теперь неспеша будут запускаться и сражаться.

( Read more... )

The future's coming

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