Potete provare che se return a = return b poi a=b? Quando uso =, intendo nel senso delle leggi e delle prove, non nel senso della classe Eq. Ogni monade che conosco sembra soddisfare questo, e non pos
bene, questa è la definizione della funzione filtro utilizzando foldr: myFilter p xs = foldr step [] xs
where step x ys | p x = x : ys
| otherwise = ys
così per esempio diciamo che ho
Leggere "Pensare in modo funzionale con Haskell" Mi sono imbattuto in una parte di un calcolo del programma che richiedeva la riscrittura di map sum (map (x:) xss) come map (x+) (map sum xss) Intuitiv