Cum deosebeste Haskell-ul functiile de valori?

Raspunsul scurt: pe baza de kind.

Raspunsul lung: Asa cum constantele au tipuri, pentru a vedea daca se potrivesc in anumite contexte, tot asa tipurile au "soiuri de tipuri", "feluri de tipuri", in engleza numite "kind".

Astfel tipurile simple: Int, Char, Bool si alte tipuri de VALORI au kind = * iar tipul unei functii de la valori la valori va fi kind = * -> *.

Aceste kind-uri nu sunt declarate de programator fiindca se pot deduc e de catre programator.

Pagina este in curs de dezvoltare.Ar mai fi multe de spus. Pina atunci cititi despre kind-uri in 'Gentle'.

---

Pagina indexata la indexul Categories:Ro

---

<= Inapoi la pagina principala Ro/Haskell.

<- Inapoi la Intrebarile incepatorului Ro/Haskell.