Lambda: The Gathering

[thedeemon]

Эмахо! Благодаря атомным японцам на боевых верблюдах через три дня мир получит кучу оптимизирующих интерпретаторов лямбда-исчисления с гейшами, го и выводом типов.

Comments

[thedeemon.livejournal.com]

Есть подозрение, что ввести типы и выводить их там может очень пригодиться - как для оптимизации, так и для определения "уместности" применения тех или иных операций.

[sorhed.livejournal.com]

Как дела-то у команды?

[sorhed.livejournal.com]

Я лежу в койке, у меня айфон и замотана проволокой челюсть, скоро операция. Так что в скайпе толку от меня мало. :)

[sleepy-drago.livejournal.com]

а смысл ограничивать на 3 дня? такие контесты могут длиться вечно, так как всякие го с ограничением в 1 минуту на ход просто не решаются до конца, а матчи и соревнование лучших программок можно будет гонять годами.

[thedeemon.livejournal.com]

ICFPC традиционно 72 часа длится. К го задача отношения не имеет, это оборот речи такой.

[sleepy-drago.livejournal.com]

знаю/знаю. Просто ai-конкурсы на большой доске с лимитом времени могут длиться вечно :)