state-monad

8calore

1risposta

Come mettere Vector mutevole in Stato Monade

ho scritto piccolo programma in Haskell per contare tutti i ocurences di valori INT in Tree usando Stato Monad con Vector: import Data.Vector import Control.Monad.State import Control.Monad.Identity

haskell monads monad-transformers state-monad st-monad 2014-05-10

---

14calore

3risposta

E 'possibile implementare `(Applicativo m) => Applicativo (StatoT s m)`?

Attualmente sto lavorando su Data.Fresh e Control.Monad.Trans.Fresh, che risp. definire un'interfaccia per generare nuove variabili e un trasformatore monad che implementa questa interfaccia. Inizialm

haskell monad-transformers state-monad 2013-09-07

---

11calore

2risposta

Una mappa monad parallela in Haskell? Qualcosa come parMapM?

Sto cercando un modo per eseguire due calcoli in parallelo nella ST-Monad. Sto costruendo un array piuttosto grande (usando STUArray) e mi piacerebbe farlo in parallelo. Finora ho trovato this e this

haskell parallel-processing monads state-monad 2013-04-12

---

14calore

4risposta

L'API Control.Monad.State è stata modificata di recente?

Come esercizio di apprendimento, sto cercando di implementare un heapsort in Haskell. Ho pensato che la monade State sarebbe stata la scelta giusta per fare questo, dal momento che gli heap si basano

haskell state-monad 2013-01-04

---

6calore

1risposta

Creazione di monadi analoga aperta al IO Monade con lo stato concatenato

Ciao gente, Sono abbastanza nuovo a Haskell anche quest'anno (dopo averlo utilizzato nei primi anni 1990 e poi di nuovo nei primi anni 00 del). Sto cercando di scrivere del codice che utilizza un mode

haskell monads state-monad 2013-04-16

---

9calore

1risposta

Questa generalizzazione di runST è sicura?

Control.Monad.ST nel pacchetto base contiene runST per eseguire il rigoroso dello stato-trasformatore monade: runST :: (forall s. ST s a) -> a Tuttavia, ho bisogno di una versione generalizzata di r

haskell state-monad 2014-07-13

---

6calore

2risposta

Diversi livelli di stato interagenti in haskell

Sto emulando un microprocessore a 4 bit. Ho bisogno di tenere traccia dei registri, della memoria e dell'output in esecuzione (punti bonus per avere anche un contatore di cicli fetch-execute). Sono ri

haskell state monads monad-transformers state-monad 2012-02-01

---

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

haskell monads state-monad deriving newtype 2014-09-05

---

9calore

1risposta

Perché non è necessario utilizzare 'lift' quando si interagisce con un monotT StateT nidificato in questo caso?

Diciamo che ho un monadT: type Wrap a = ReaderT Env (StateT Int (StateT Int Identity)) a La cosa importante da notare qui è che uno StateT è avvolgente altro, ed entrambi sono avvolti all'interno di

haskell monads monad-transformers state-monad 2013-03-25

---

7calore

1risposta

Come gestire la struttura nidificata durante lo spostamento con monade di stato

Ho una struttura nidificata che sto convertendo in XML utilizzando una monade di stato scalaz. Funziona bene finché non ho a che fare con strutture nidificate a più livelli. Ecco un esempio semplifica

scala stack-overflow scalaz state-monad 2012-12-17

---