О языке Haskell

Функциональное программирование отличается от традиционного императивного набором примитивов используемых для написания программ и моделью исполнения. В рамках функционального подхода оказывается гораздо более просто рассуждать о свойствах программ и доказывать их эквивалентность. Функциональные программы допускают гораздо более глубокую и агрессивную оптимизацию, а также гораздо более эффективное распараллеливание. Идеи и методы функционального программирования находят свое применение при построении интерактивных систем доказательства теорем.

Язык Haskell — чистый функциональный язык программирования с «ленивой» семантикой исполнения и полиморфной статической типизацией.

Справку по функциям стандартной библиотеки (и не только) можно получить с помощью онлайн системы Hoogle.