monads

7calore

1risposta

Filtra un elenco infinito di valori monadici

Forse questo è ovvio, ma non riesco a capire come filtrare al meglio un elenco infinito di valori di I/O. Ecco un esempio semplificato: infinitelist :: [IO Int] predicate :: (a -> Bool) -- how to

haskell monads 2013-03-09

---

8calore

3risposta

Cosa c'è di speciale nella parola chiave 'return'

Quando mi è sembrato di capire a cosa serve il ritorno in Haskell, ho provato a giocare con diverse alternative e sembra che il ritorno non solo possa essere usato in qualsiasi punto della catena mona

haskell functional-programming monads 2013-03-10

---

10calore

2risposta

È chiunque usando monadica programmazione bind-stile con Previsto <T>

(Prima di tutto "legare" in questione non ha nulla a che fare con std::bind) ho guardato il Expected<T> talk e ho pensato che la presentazione sulla storia di questo alla tecnica mancava l'idea alla b

c++ c++11 monads 2013-03-14

---

7calore

2risposta

Come implementare Reader usando monadi gratuiti?

Ok, così ho capito come implementare Reader (e ReaderT, non mostrato) utilizzando il pacchetto operational: {-# LANGUAGE GADTs, ScopedTypeVariables #-} import Control.Monad.Operational data Reader

haskell monads free-monad 2013-03-15

---

13calore

3risposta

Come posso fare in modo che un blocco di blocco venga restituito in anticipo?

Sto provando a cercare una pagina web usando Haskell e compile i risultati in un oggetto. Se, per qualsiasi motivo, non riesco a ottenere tutti gli elementi dalle pagine, voglio smettere di cercare di

haskell web-scraping monads 2013-03-15

---

10calore

1risposta

MonadFix in linguaggio stretto

Sto lavorando sull'estensione camlp4 per la notazione haskell-like in Ocaml, e sto cercando di capire come GHC compila ricorsive do-bindings (abilitato con -XDoRec). Mi chiedo se è possibile che il co

haskell f# ocaml monads monadfix 2013-03-21

---

5calore

1risposta

Monade vincolanti in compositi (Haskell)

Buona giornata gente. Sto cercando alcuni chiarimenti sulle monadi per favore e usando bind (mentre si va in un composito .) per favore. Così, per questo esempio: --Monadic parts: readFile :: String

haskell bind monads composite 2013-03-21

---

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

---

22calore

3risposta

Il mplus deve sempre essere associativo? Haskell wiki vs Oleg Kiselyov

Il Haskell wikibook afferma che istanze di MonadPlus sono tenuti a soddisfare diverse regole, proprio come le istanze di Monade sono tenuti a soddisfare le tre leggi monade. ... Il più essenziale è ch

haskell monads 2013-03-30

---

9calore

1risposta

Qual è il modo idiomatico di chiamare le funzioni pure all'interno di uno stack monadT di MaybeT (StateT) in modo tale che l'errore si propaga?

Concretamente, diciamo che ho questo monadT stack: type MHeap e ret = MaybeT (StateT [e] Identity) ret e una funzione runMheap per convenienza: runMheap :: MHeap e ret -> [e] -> (Maybe ret, [e]) ru

haskell monads monad-transformers 2013-03-30

---