io-monad

11calore

2risposta

La monade IO impedisce il cortocircuito della mappaM incorporata?

In qualche modo mistificato dal seguente codice. Nella versione non-giocattolo del problema sto provando a fare un calcolo monadico in un risultato monad, i cui valori possono essere costruiti solo da

7calore

4risposta

Refactoring “gradinata” con il caso di `` valori Maybe` in codice IO`

La seguente funzione f tentativi di leggere un Int due volte utilizzando una funzione IO (Maybe Int) due volte, ma “cortocircuiti” esecuzione dopo aver letto con successo uno Int: readInt :: IO (Maybe

8calore

4risposta

Guess My Number, un mal di testa monadica

Per testare le mie capacità in Haskell, ho deciso di realizzare il primo gioco che trovate in Land of Lisp/Realm of Racket. Il gioco "Indovina il mio numero". Il gioco si basa sullo stato mutabile per

16calore

2risposta

Perché Haskell non può essere indotto a eseguire operazioni di I/O utilizzando una valutazione rigorosa?

Sto solo imparando Haskell e IO monadi. Mi chiedo perché non avrebbe questa forza al programma di uscita "hi" e "bye": second a b = b main = print ((second $! ((print "hi") >>= (\r -> return()))) "by

8calore

1risposta

Cosa sono Tower [A] e IvoryTower in Scalaz?

Quando ho guardato scalaz.effect.IO codice sorgente, ho notato che ha un metodo apply con la seguente firma: sealed trait IO[A] { def apply(rw: Tower[IvoryTower]): Trampoline[(Tower[IvoryTower],