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