monad-transformers

5calore

2risposta

Ciclo di stato con diversi tipi di interruzioni

Sto provando a convertire il seguente codice imperativo stato in Haskell. while (true) { while (get()) { if (put1()) { failImmediately(); } } if (put2()) { succeedI

haskell monads monad-transformers state-monad 2015-09-04

---

6calore

2risposta

Perché MonadIO è specifico per IO, piuttosto che un MonadTrans più generico?

Quindi, in transformers vedo, class (Monad m) => MonadIO m where -- | Lift a computation from the 'IO' monad. liftIO :: IO a -> m a instance MonadIO IO where liftIO = id e capisco c

haskell types io monad-transformers 2016-07-05

---

5calore

1risposta

'ExceptT ResourceT' vs 'ResourceT ExceptT'

Real World Haskell afferma che "Transformer stacking order is important". Tuttavia, non riesco a capire se c'è una differenza tra ExceptT (ResourceT m) a e ResourceT (ExceptT m) a. Interferiranno l'un

haskell monad-transformers 2015-12-21

---

5calore

1risposta

Scalaz: che ruolo gioca il filtro in | @ |?

Abbiamo utilizzato il trasformatore monad WriterT su Futures sperando di ottenere registri più organizzati da un'applicazione asincrona, ma abbiamo incontrato dei problemi. Se compilo l'applicazione d

scala scalaz monad-transformers 2015-12-31

---

10calore

1risposta

Scrivere un Monad Transformer, ha davvero bisogno di così tante istanze hardcoded

Sono un utente di trasformatore monade da molto tempo, scrittore di trasformatori monade prima volta ... E mi sento come se avessi fatto qualcosa di non necessario. Stiamo lavorando su un progetto che

haskell monads monad-transformers 2016-02-20

---

13calore

1risposta

Come posso lavorare in monade annidate in modo pulito?

Sto scrivendo un interprete per una lingua piccola. Questo linguaggio supporta la mutazione, quindi il suo valutatore tiene traccia di uno Store per tutte le variabili (dove type Store = Map.Map Addre

haskell monads monad-transformers 2015-11-14

---

6calore

1risposta

ascensore O per Exceptt automaticamente

Diciamo che ho questo (forse indurre in errore) pezzo di codice, che in giro: import System.Environment (getArgs) import Control.Monad.Except parseArgs :: ExceptT String IO User parseArgs = d

haskell monads monad-transformers either lifting 2016-01-04

---

9calore

1risposta

È davvero una pratica predefinita rendere ogni trasformatore monad un'istanza di MonadTrans?

Così Real World Haskell dice: Ogni trasformatore monade è un esempio di MonadTrans ma sto giocando con Scotty e ha scoperto che la sua base monade trasformatore ScottyT è non un'istanza di MonadTrans.

haskell monads monad-transformers scotty 2015-09-29

---

7calore

2risposta

Can GHC può derivare le istanze Functor e Applicative per un trasformatore monad?

Sto cercando di implementare MaybeT nello spirito della libreria mtl. Con questa soluzione non compilazione: {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, UndecidableInstances #-} import Co

haskell monads ghc monad-transformers 2015-10-04

---

5calore

1risposta

Impossibile derivare Applicativo quando si combinano due pile di trasformatori monad

Ho scritto due monadi per un linguaggio specifico del dominio che sto sviluppando. Il primo è Lang, che dovrebbe includere tutto il necessario per analizzare la lingua riga per riga. Sapevo che vorrei

haskell monad-transformers deriving newtype 2016-04-26

---