st-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

---

11calore

1risposta

Modeling la monade ST in Agda

Questa recente SO question mi ha spinto a scrivere un'emulazione non sicura e pura della monade ST in Haskell, una versione leggermente modificata di cui potete vedere qui sotto: {-# LANGUAGE DeriveFu

haskell agda st-monad 2015-12-01

---