(scusate l'esempio terribilmente forzato) Quello che voglio fare è specificare i tipi in cui clausola: somemap :: (a -> b) -> [a] -> [b]
somemap f xs = ys
where
some = take 5 xs :: [a]
Questa è forse una domanda molto semplice, ma, nondimeno, non sembra essere stata trattata su SO. Recentemente ho portato fino Haskell e fino ad ora Tipo dichiarazioni consistevano principalmente le s