Язык программирования Haskell
Haskell - чисто функциональный язык. Является сильно типизированным рекурсивным языком. Наиболее часто используемым на практике компилятором является GHC. Так же Haskell код можно интерпритировать, самым полулярным интерпретатором является Hugs98.