Cum activez extensiile Haskell la WinHugs ?

Intrebare

Pentru a rula unul din exemplele din pagina "Evolution of a Haskell programmer" in care apare

Mull a b c | a b -> c

iar Mul este o clasa de tipuri multiparametru, cum sa procedez ? Aparent WinHugs refuza clasele de tip multiparametru ca si cum nu ar fi in standardul Haskell 98.

Raspuns

Nici nu sunt ! Clasele de tipuri multiparametru (o extensie naturala a claselor de tipuri) sunt o extensie ulterioara.

Exemplu: Puteti forma o clasa de tipuri multiparametru cu 2 parametri cum ar fi tipurile:

- tipul arborilor expresiilor logice  si  tipul valorilor logice (Bool)

sau

- tipul arborilor expresiilor intregi  si  tipul valorilor intregi

sau

- tipul arborilor expresiilor reale  si  tipul valorilor reale

sau

- tipul arborilor expresiilor peste Z4  si  tipul valorilor din Z4

Clasa am putea-o numi

 Evalueaza t1 t2

unde t1, t2 sunt cele doua tipuri.

Ce e de facut ?

Lansati Hugs sau Winhugs cu optiunea -98. Fie din consola fie copiind iconita winHugs/Hugs si editandu-i proprietatile. Schimbati linia de comanda cu una care are la final -98.

---

pagina in dezvoltare