Haskell - Introducere

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).

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.