Дмитрий Кашицын, Вывод типов в динамических и не очень языках II

Дмитрий Кашицын
Плюсовод, линуксоид, паяльник-железячник. Последние пять лет занимаюсь только системным программированием. Успел приложить руки к ПО «Навител Навигатор»; занимался вопросами портирования, после — алгоритмами прокладки маршрутов. Сейчас работаю в компании HDSoft (Zodiac Interactive), где занимаюсь разработкой системной части ПО для приставок кабельного и спутникового телевидения. Свободное от работы время трачу на проект компилятора и оптимизирующей виртуальной машины Smalltalk на базе LLVM JIT.

Что такое лямбда-исчисление, кому оно может быть полезно и как так вышло, что язык программирования высокого уровня появился задолго до самих вычислительных машин? Какие вообще бывают системы типов и зачем они нужны?

Как понять систему типов Haskell и сохранить рассудок?

Формально: краткое введение в лямбда-исчисление и различные его вариации: бестиповое, типированное, системы F и F-omega. В докладе будет показана связь императивных и функциональных языков программирования и то, как системы типов помогают тем и другим.

Comments are closed.