monads

24calore

1risposta

Come sto imparando Haskell mi rendo conto che do notazione è lo zucchero solo syntatic: a = do x <- [3..4] [1..2] return (x, 42) traduce in a = [3..4] >>= (\x -> [1..2] >>= (\_ -> return

10calore

2risposta

Sottostante Parsec Monade

Molti dei combinatori Parsec che uso sono di tipo quali: foo :: CharParser st Foo CharParser è definito here come: type CharParser st = GenParser Char st CharParser è quindi un tipo sinonimi coinv

7calore

2risposta

Combinazione di monadi (IEnumerable e Maybe a titolo di esempio)

Ho una domanda generale e una domanda caso più specifica. Come si combinano le diverse monadi in generale? Alcune combinazioni di operatori monad consentono una composizione facile? O bisogna scrivere

6calore

1risposta

Haskell ReaderT Env IO boilerplate

Ho la seguente etichetta che faccio abbastanza spesso e vorrei eliminare. Sembra qualcosa di simile: type Configured = ReaderT Config doSomething :: Configured IO Data doSomething = do getMeta

30calore

3risposta

Devo evitare di usare Monad fallire?

Sono abbastanza nuovo per Haskell e ho cominciato lentamente a pensare che ci sia qualcosa di sbagliato nell'esistenza di Monad. Real World Haskell warns against its use ("Ancora una volta, ti consigl

16calore

3risposta

Come organizzo le mie pure funzioni con le mie azioni monodiche idiomaticamente

Ho deciso che oggi è il giorno in cui aggiusto alcune delle mie pure funzioni che sono inutilmente in esecuzione in un'azione monadica. Ecco cosa ho. flagWorkDays :: [C.Day] -> Handler [WorkDay] flag

22calore

2risposta

Pieghevole, composizione funzionale, monade e pigrizia, oh mio?

Sono perplesso. Posso scrivere questo: import Control.Monad main = print $ head $ (foldr (.) id [f, g]) [3] where f = (1:) g = undefined e l'uscita è 1. Questo ha senso, perché si riduc

10calore

3risposta

come posso implementare questo trasformatore monad con una continuazione?

motivazione. Sto cercando di creare un trasformatore monad, con un'istruzione speciale f <||> g che significa "ripeti questo intero blocco contenente f <||> g, una volta con f, la volta successiva con

15calore

3risposta

Lavorare su stack di trasformatori monad permutati

Uno dei problemi con i trasformatori monad che trovo è la necessità di lift le operazioni nella monade destra. Una singola lift qui e non là è male, ma a volte ci sono funzioni che assomiglia a questo

11calore

4risposta

Qualcuno ha visto una lista di esercizi di Haskell?

Ci sono liste di esercizi di Haskell che usano le monadi in modi sorprendenti che fluttuano intorno? Sono più interessato al semplice 'capire cosa fa questa linea di codice' o 'fare ciò gratuitamente