Haskell e un
limbaj de progamare functionala, spre deosebire de C/C++, Visual Basic, Java care
sunt imperative.Programarea functionala poate fi vazuta ca un stil de
programare in care principala metoda de calcul o reprezinta aplicarea de
functii asupra unor argumente.
Numele de programare funcţională provine din faptul că un program este constituit în întregime din funcţii. Însuşi programul principal este scris ca o funcţie care primeşte intrarea ca argument şi furnizează ieşirea ca rezultat. De obicei, funcţia principală este definită în termeni de alte funcţii, care la rândul lor sunt definite în termeni de alte funcţii, ş.a.m.d. până la funcţiile de bază, care constitue primitivele limbajului.
In mare, un program funcţional este o expresie iar execuţia înseamnă evaluarea expresiei (din acest motiv, programarea funcţionala se mai numeşte şi programare aplicativă deoarece mecanismul de bază este aplicarea unor funcţii argumentelor lor).
Numele de programare funcţională provine din faptul că un program este constituit în întregime din funcţii. Însuşi programul principal este scris ca o funcţie care primeşte intrarea ca argument şi furnizează ieşirea ca rezultat. De obicei, funcţia principală este definită în termeni de alte funcţii, care la rândul lor sunt definite în termeni de alte funcţii, ş.a.m.d. până la funcţiile de bază, care constitue primitivele limbajului.
In mare, un program funcţional este o expresie iar execuţia înseamnă evaluarea expresiei (din acest motiv, programarea funcţionala se mai numeşte şi programare aplicativă deoarece mecanismul de bază este aplicarea unor funcţii argumentelor lor).
Caracteristicile
limbajului Haskell sunt:
·
Programe concise
Deoarece e un
limbaj de programare de nivel inalt; a fost scris cu aceasta trasatura in
minte, avand putine cuvinte cheie si obligand la folosirea indentatiei pentru a
indica structura programelor; dimensiune de 2 pana la 10 ori mai mica a
programelor, in comparatie cu scrierea lor in limbajele curente(imperative).
·
Sistem de tipuri performant
Majoritatea
limbajelor de programare moderne include un sistem de tipuri de date pentru a
detecta erorile de incompatibilitate tipul adunarii unui caracter la un numar.
Haskell are un sistem de tipuri ce necesita putine informatii din partea
programatorului dar permite detectarea unei clase largi de erori de
incompatibilitate, sistem numit “type inference” (deducerea tipurilor). Acest
sistem de tipuri permite functii polimorfice si supraincarcarea functiilor.
·
Manipularea listelor
Una din cele
mai uzuale metode de a structura si manipula date in informatica este folosirea
listelor. In Haskell lista este conceptul de baza, impreuna cu un
mecanism simplu, dar puternic, de manipulare si generare de noi liste,
eliminand de cele mai multe ori necesitatea recursivitatii.
·
Functii recursive
In Haskell,
mecanismul de baza folosit pentru obtinerea ciclurilor este dat de functiile
recursive. Multe calcule au o definitie simpla, naturala, in cazul folosirii
functiilor recursive.
·
Functii de ordin inalt
In Haskell
functiile pot primi ca argumente alte functii si pot intoarce drept rezultat
alte functii. Prin folosirea functiilor de ordin inalt se poate defini
compunerea a doua functii ca o functie.
·
Monadic effects
·
Lazy evaluation
Programele
Haskell sunt executate folosind o tehnica numita lazy evaluation (evaluare
intarziata) care se bazeaza pe ideea ca nici un calcul nu trebuie realizat pana
nu este nevoie de el. Pe langa evitarea calculelor inutile, aceasta tehnica
asigura terminarea programelor atunci cand e posibil si permite folosirea
structurilor cu un numar infinit de elemente.