Tip polimorfic

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.