• Зависимые типы?

    ymn
    @ymn
    Объясняю: математики заметили связь между программами и математическими доказательствами (тут читаем про изоморфизм Карри-Говарда). Так вот исчисление предикатов соответствует лямбда-исчислению с зависимыми типами.

    Это объяснение на пальцах.

    Подробнее читаем в учебнике Пирса «Типы в языках программирования».
    Ответ написан
    Комментировать
  • Есть ли в Москве какие-нибудь курсы по языку Erlang?

    ymn
    @ymn
    Если еще актуально, то Erlang Solutions недавно выкатила свой курс erlang-express в свободный доступ для академических кругов (студенты, преподаватели и т.п.)
    Ответ написан
    Комментировать