Cum includem functii intr-un tip declarat cu data ?

In partea dreapta a unei definitii data puteti avea dupa constructorul de tip o acolada cu declaratii de campuri insotite de tipul lor.

Exemplu:

data Fx a = Fx { name :: a -> Int ; secondname :: a -> Int }

Puteti apoi folosi valori din acest tip.

Din anumite puncte de vedere acest stil de lucru e mai puternic decat cel bazat pe instante de clase. Acolo nu putem avea doua instante cu aceeasi tip a. Dar aici putem avea doua valori diferite bazate pe acelasi tip 'a'.

Asupra acestor aspecte mai putem discuta.

---

<- Inapoi la pagina principala Ro/Haskell