Exista in Haskell un fel de CAST pentru conversii de tipuri ca in C ?
From HaskellWiki
Chiar daca nu este identic la efecte cu CAST-urile din C totusi puteti folosi ceva pentru a preciza carui tip trebuie sa-i apartina o anumita subexpresie.
n-ati ghicit cine ? vechea cunostinta: '::
Exemplu: 5 este ceva de tip numeric si este folosit de obicei cu sens de intreg.
Prelude> 5
5
In lipsa altor specificatii tipul sau este unul general, bazat pe apartenenta la clasa de tipuri Num.
Prelude> :t 5
5 :: Num a => a
Totusi il puteti transforma in real:
Prelude> 5::Float
5.0
Acum interpretorul il considera pe 5 real, adica 5.0.