monads

24calore

1risposta

Librerie di trasformatori Monad - quale utilizzare?

Esistono diverse librerie di trasformatori monad su Hackage. Alcuni sembrano avere più attenzione degli altri. Per citarne alcuni: mtl (versione corrente a seconda dei trasformatori per qualche motivo

9calore

3risposta

Escaping dalla monade IO all'interno della monade Continuazione

Un titolo confuso per una domanda confusa! Capisco a) monade, b) la monade IO, c) il monito (Control.Monad.Cont), e d) il monad di trasformatore di continuazione ContT. (E capisco vagamente i trasform

26calore

4risposta

Haskell: quale monade ho appena reinventato?

Ho appena reinventato un po 'di monade, ma non sono sicuro di quale. Permette di modellare le fasi di un calcolo, in modo da poter interlacciare i passaggi di numerosi calcoli per trovare quale finisc

11calore

3risposta

Come scrivere senza Do notazione

stavo giocando intorno con fallimenti componibili ed è riuscito a scrivere una funzione con la firma getPerson :: IO (Maybe Person) in cui una persona è: data Person = Person String Int deriving Sho

6calore

1risposta

Chiamare una Monade IO all'interno di una freccia

Forse sto andando in questo modo, ma sto usando HXT per leggere in alcuni dati di vertice che vorrei usare in una matrice in HOpenGL. Gli array Vertex devono essere un Ptr che viene creato chiamando n

11calore

2risposta

Come estrarre un valore da una monade in Haskell?

C'è un modo per togliere "cose" da una monade? Sto sviluppando un gioco e ora sto cercando di capire i database. Ho trovato il happstack davvero bello, ma non riesco a ottenere la cosa. Per esempio, i

5calore

2risposta

Estrazione della composizione monad come trasformatore

Scusa se la domanda sembra un po 'banale ... non è per me. ho felicemente composto la seguente monade: type SB i a = ReaderT (AlgRO i) (State (AlgState i)) a che è, beh, una monade ben educati. Read

5calore

1risposta

Aiutami a capire questo codice Scala: scalaz IO Monade e impliciti

Questo è un seguito alla domanda this. Ecco il codice che sto cercando di capire (è da http://apocalisp.wordpress.com/2010/10/17/scalaz-tutorial-enumeration-based-io-with-iteratees/): object io {

6calore

2risposta

Equivalente alla notazione Haskell o alle espressioni di calcolo F # in Scala?

F # Le espressioni di calcolo consentono di nascondere la complessità della sintassi monadica dietro uno spesso strato di zucchero sintattico. C'è qualcosa di simile disponibile in Scala? penso che si

23calore

3risposta

Perché l'applicazione di `sequence` su List of Lists porta al calcolo del suo prodotto cartesiano?

La mia domanda è sulla funzione sequence nel Prelude, la cui firma è la seguente: sequence :: Monad m => [m a] -> m [a] ho capito come funziona questa funzione per List di Maybe s. Ad esempio, l'app