Limbaje de programare funcţionale:
Haskell
Haskell este un limbaj de programare
funcţională. Poartă numele lui Curry Haskell. Spre deosebire de
limbajele imperative care manipuleaza practic date sub forma de
numere întregi sau valori codate prin numere întregi (caractere,
stringuri, pointeri), limbajele funcţionale manipulează funcţii
codate prin "expresii lambda". Dacă limbajul funcţional
e compilat sunt codate prin combinatori. Cum mulţimea functiilor
este mai bogată decat cea a numerelor întregi (are un cardinal mai
mare), asemenea limbaje sunt mult mai expresive.
La nivel pragmatic, orice limbaj funcţional
poate fi văzut ca un manipulator de algoritmi, exprimaţi cel mai
adesea ca la orele de matematică elementară. Teoria matematică a calculului lambda se
studiază în cadrul cursului de Programare funcţională.
Haskell este utilizat foarte mult în mediul comercial. Audrey Tang utilizează Haskell din 2005 pentru a scrie un compilator pentru mult aşteptatul Pearl 6. De asemenea Hakell mai este folosit si pentru evalua alte limbaje funcţionale avansate. Darcs este un sistem de revizie şi control scris în Haskell cu câteva trăsături inovative. Linux a ales Haskell ca mediu de dezvoltare a aplicaţiilor, iar Xmonad este o aplicaţie manager de ferestre pentru X Window System scrisă în întregime în Haskell.
Programul „Hello, World!“:
module Main where
main :: IO ()
main = putStrLn "Hello World!"
|
