• Haskell Крайне нравится "Type Inference and Optimization for an Impure World" (правда, я пока где-то 70 из 240 страниц осилил). Рассказ о хаскеле-подобном языке Disciple, отличающимся наличием изменяемых переменных и их аннотациями в виде "регионов" и "эффектов" на уровне типов (тоже с выводом).

    cs.anu.edu.au
    ♡ recommended by @4DA, @ndtimofeev

Replies (0)