Háskell — функциональный язык программирования. Является одним из самых распространённых нестрогих языков программирования.

Имеет очень развитую систему типизации, однако система модулей разработана хуже. Последний стандарт языка, ставший стандартом функционального программирования — Haskell-98. Берёт своё начало из языка Miranda, который был разработан Дэвидом Тёрнером в качестве стандартного функционального языка. Назван по имени математика Хаскелла Карри.

Наиболее важными возможностями Haskell являются:

Haskell - ленивый (non-strict) язык

Haskell - чисто функциональный (то есть не содержащий конструкций, неявно зависящих от состояния среды или изменяющих ее)

Haskell содержит простой и логичных механизм перегрузки функций (известный как "классы типов"). По-видимому, возможные применения этого механизма выходят далеко за рамки решения непосредственной задачи. К примеру, классы типов обеспечивают возможности близкие (в целом - превосходящие), возможностям шаблонов С++, сохраняя при этом возможность раздельной трансляции

императивные возможности реализуются в Haskell при помощи так называемых монад. Понимание этой конструкции является одной из наибольших проблем при изучении Haskell, но она стоит того, чтобы с ней разобраться

Haskell - превосходный язык для обучения и для экспериментов с сложными функциональными типами данных (многие идеи могут быть выражены непосредственно средствами Haskell).
Программы, написанные на Haskell, имеют значительный размер объектного кода и невысокую скорость исполнения.

ОС: Linux (x86),Linux (x86_64),Solaris (sparc),Solaris (x86),Windows 2000/XP/Vista (x86) (standalone),MacOS X (PowerPC),MacOS X (Intel)

Русскоязычное описение языка и библиотеки Haskell 98 можно найти здесь.

Скачать можно с сайта http://haskell.org/ghc/download_ghc_683.html

В настоящий момент все интерпретаторы и компиляторы бесплатны!!!