monads

7calore

2risposta

Valutazione Haskell e Lazy Monads

Mentre gioco con le monadi, spesso ho problemi di valutazione. Ora capisco i concetti di base della valutazione pigra, ma non capisco come le monadi siano pigramente valutate in Haskell. Si consideri

haskell monads lazy-evaluation 2011-10-17

---

5calore

2risposta

Come creare uno stack del database Monad in Happstack?

Voglio creare un'applicazione Happstack con un sacco di accesso a un database. Penso che una pila Monade con IO in basso e un database Write-come monade in alto (con lo scrittore registro al centro) l

haskell monads monad-transformers happstack 2011-10-18

---

23calore

2risposta

Esiste un flusso di lavoro standard in F #?

C'è un'opzione (forse) wokflow (Monade) nella Standrd F biblioteca #? Ho trovato una dozzina di implementazioni manuali (1, 2) di questo flusso di lavoro, ma non voglio introdurre nel mio progetto cod

f# workflow option monads maybe 2011-10-19

---

7calore

3risposta

Haskell sa sempre quale "ritorno" chiamare?

Sto definendo un esempio di una monade come segue: data Something = Something a instance Monad Something where return a = Something a --Wraps a in 'Something', correct? m >>= f = do

haskell monads 2011-10-20

---

53calore

5risposta

Quali sono i vantaggi del parsing applicativo sull'analisi monadica?

Sembra esserci un consenso sul fatto che dovresti usare Parsec come applicativo piuttosto che come monade. Quali sono i benefici dell'analisi applicativa sull'analisi monadica? stile prestazioni astra

haskell monads parsec applicative 2011-10-22

---

7calore

2risposta

È possibile creare una Monade che conta il numero di istruzioni?

Pensando alla monade, mi è venuta l'idea di una monade come via per rompere con l'architettura di Von Neumann. L'architettura di Von Neumann utilizza una serie di istruzioni (chiamate programma) per m

haskell monads 2011-10-31

---

17calore

1risposta

Perché questo semplice uso della monade di stato causa uno stack overflow?

Stavo giocando con la monade di stato e non so cosa stia causando l'overflow dello stack in questo semplice pezzo di codice. import Control.Monad.State.Lazy tick :: State Int Int tick = do n <- get

haskell stack-overflow monads state-monad 2011-11-03

---

7calore

4risposta

evitare esplicito passaggio di tabella di ricerca

Nel mio programma molto semplice giocattolo espressione booleana, Ho la seguente funzione di valutazione: eval' :: Expr -> M.Map Char Bool -> Bool eval' (Const c) values = c eval' (Var v) values =

haskell recursion arguments monads implicit 2011-09-21

---

7calore

1risposta

Uso della sintassi di query LINQ con personalizzato Forse implementazione di monad

Sto provando a scrivere una semplice monad Maybe in C#. Voglio essere in grado di utilizzare la sintassi della query LINQ con esso. Questo è quello che sono venuto in mente finora: using System; usin

c# functional-programming monads 2011-09-22

---

13calore

4risposta

Esiste già una funzione come questa? (Oppure, qual è il nome migliore per questa funzione?)

Ho scritto codice con il seguente schema più volte di recente, e mi chiedevo se c'era un modo più breve per scriverlo. foo :: IO String foo = do x <- getLine putStrLn x >> return x per re

haskell monads idioms 2011-09-22

---