Lambda: The Gathering

[thedeemon]

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

Comments

[thedeemon.livejournal.com]

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

[sorhed.livejournal.com]

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

[sorhed.livejournal.com]

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