Tip polimorfic
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
La facultate poti invata unul din cele mai productive limbaje: Haskell.
Tipurile polimorfice din Haskell sunt un fel de tipuri parametrizate dupa variabile de tip.
De exemplu: [Integer] este tipul listelor de intregi dar [x] este tipul listelor de ... x-uri ... unde x este orice tip. Se pot impune si restrictii, cum ar fi ca x sa fie dintr-o Clasa de tipuri.
Tipurile polimorfice au cam aceeasi putere de expresie ca si template-urile de clase din C++ dar se invata mult mai usor.
In Haskell exista si tipuri multiparametru dar e posibil ca un compilator ca GHC-ul sa ceara activarea explicita a unor extensii, printr-un comentariu special. dar e OK, va spune GHC-ul de care comentariu e vorba.