Второй год подряд Дмитрий Астапов публикует потрясающие отчёты об участии в соревновании ICFPC (International Conference of Functional Programming Contest).
Отчёт за предыдущий год:
Описание языка Haskell и его стандартных библиотек доступно в электронном виде.
Haskell — чисто функциональный язык программирования общего назначения, содержащий множество инноваций в разработке языков программирования. Haskell предоставляет функции высокого порядка, нестрогую семантику, статическую полиморфную типизацию, определяемые пользователем алгебраические типы данных, сопоставление с образцом, описание списков, модульную систему, монадическую систему ввода – вывода, а также богатый набор примитивных типов данных, включая списки, массивы, целые числа произвольной и фиксированной точности и числа с плавающей точкой. Haskell — это и кульминация, и кристаллизация многих лет исследования нестрогих функциональных языков.
Оригинал можно прочитать здесь: The Haskell 98 Report (Revised).
Существует также русский перевод этого документа (из которого взято с небольшими изменениями краткое описание языка): Язык и библиотеки Haskell 98. Исправленное описание.