Dijkstra on radical novelties - Дейкстра о "радикальных новшествах". Почему при изучении новых концепций не стоит использовать аналогии. Полезное чтиво для изучающих ФП, особенно при переходе с ООП/мультипарадигменных языков
Monads: Programmer’s Definition - эдакий РЕДПИЛЛ про монады (хорошо заходит в комбинации с "радикальными новшествами")
Typeclassopedia - must have. Кратко и по делу о классах типов в хаскелле. Много ссылок для более глубокого погружения
Значения, Типы и Кайнды - юзер K. A. Buhr (первый ответ) отлично поясняет про типы и их "кайнды". Интересно было осознать, что типовые аннотации по сути являются отдельным внутренним языком в хаскелле
ToDo: добавить статьи про type classes и ссылку на журнал(?)
14 занимательных эссе о языке Haskell и функциональном программировании - лямбда-исчисление четко пояснено (эссе 5 и 6). Остальные не читал. Возможен легкий КРИНЖ от иллюстраций