monads

11calore

1risposta

Come gestire `Reader` monad e` Try`?

Sto leggendo questo fantastico articolo su dependency injection in scala with Reader monad. L'esempio originale funziona correttamente, ma ho apportato alcune modifiche ai tipi di ritorno di UserRepos

11calore

1risposta

>> = implementazione per la concorrenza di Poor Man Monad

Ciao Sto cercando di implementare la Monade della concorrenza di Poor Man. Qui è il mio codice: import Control.Monad data Concurrent a = Concurrent ((a -> Action) -> Action) data Action = Ato

18calore

2risposta

Sono tutti tipi differenziabili Monadi

Dato un differentiable type, sappiamo che its Zipper is a Comonad. In risposta a questo, Dan Burton ha chiesto: "Se la derivazione fa una comonade, vuol dire che l'integrazione fa una monade? O è una

8calore

2risposta

Impossibile compilare l'esempio di Writer Monad da "Learn you a Haskell"

Il seguente codice, che è verbatim from LYAH, non viene compilato. Codice e errore di compilazione sono inclusi di seguito. Nella pagina LYAH, il codice è ~ 15% in fondo alla pagina, yay emacs browser

6calore

1risposta

Derivato Newtype generalizzato

Haskell può derivare l'istanza per MonadState s in T1 in basso ma non in T2 che tuttavia è un tipo molto simile. In che modo dovrei modificare il codice per T2 in modo che l'istanza per MonadState s p

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

9calore

2risposta

Esiste un modo per appiattire le monadi annidate di tipi diversi?

Non sono sicuro di come descrivere questo problema, quindi mostrerò solo le firme del tipo. ho un'istanza di quanto segue: val x:Future[F[Future[F[B]]]] = ??? E voglio un'istanza di: val y:Future[F[

13calore

2risposta

Esiste un'istanza di Monad ma non di MonadFix?

La domanda è principalmente nel titolo. Sembra che mfix può essere definito per qualsiasi calcolo monade, anche se potrebbe divergono: mfix :: (a -> m a) -> m a mfix f = fix (join . liftM f) Cosa c

10calore

1risposta

Test del codice monadico

Sto imparando Haskell lavorando attraverso lo Haskell course by Brent Yorgey. Ho appena raggiunto la sezione Monade, e mentre penso di avere (finalmente) una conoscenza decente su come lavorare con le

16calore

2risposta

Quali sono le differenze tra livelli ed effetti estensibili?

La libreria extensible effects e la libreria layers sembrano avere gli stessi obiettivi (semplificando la composizione di effetti diversi insieme). Entrambi parlano dei vantaggi che offrono rispetto a