do-notation

5calore

2risposta

Quale indentazione è richiesta per un'istruzione case all'interno di una dichiarazione let?

Lavorare in Haskell, ha trovato strano comportamento, messo a nudo giù alle ossa nude questo funziona a :: Bool a = case True of True -> True False -> False Ma quando provo b :: IO Bool

6calore

1risposta

Rifattorizzare una funzione Haskell che utilizza la monade Reader

Ho un po 'di codice che sembra un po' come questo, ignorando tutto il codice che non è rilevante per la mia domanda: import qualified Control.Monad.Reader as Reader data FooEnv = FooEnv { bar :: Int

6calore

2risposta

restituendo un elemento estratto da una monade; ridondante?

Le seguenti due implementazioni di equivalente flatten per tutte le Monade ben educate? flatten1 xss = do xs <- xss x <- xs return x flatten2 xss = do xs <- xss xs

24calore

1risposta

Dezuccheraggio do-notazione per Monadi

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

7calore

3risposta

Aggiungere un'azione senza modificare il risultato alla do-notazione refactor

Desidero comporre sequenzialmente due azioni monad in Haskell, scartando qualsiasi valore prodotto dal secondo e passando l'argomento ad entrambe le azioni. Attualmente sto usando un fai-block come qu

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

16calore

3risposta

Monade di stato, sequenze di numeri casuali e codice monadico

Sto cercando di cogliere la Monade di stato e con questo scopo volevo scrivere un codice monadico che generasse una sequenza di numeri casuali usando un generatore di congruenza lineare (probabilmente

13calore

2risposta

Qual è il tipo di variabile in notazione qui in Haskell?

I codici sottostanti sembra abbastanza chiaro: do x <- Just 3 y <- Just "!" Just (show x ++ y) Qui il tipo di x è Num e y è String. (<- qui viene utilizzato per prendere valore effett

8calore

3risposta

Haskell do not bind

Sto provando a desugare una dichiarazione do in Haskell. Ho trovato alcuni esempi qui su SO ma non sono riuscito ad applicarli al mio caso. L'unica cosa a cui riesco a pensare è un'affermazione pesant