monads

6calore

5risposta

dire che ho scritto il seguente pezzo amazin di codice: func = do a <- Just 5 return a E 'abbastanza inutile, lo so. Qui, a è 5 e func restituisce Just 5. Ora riscrivo la mia funzione impr

24calore

1risposta

Evitare IORefs nel codice puro

Ho notato che Data.UnionFind utilizza la monade IO per fornire i puntatori tramite IORefs. Immagino che tutti chiamino felicemente unsafePerformIO quando lo usano localmente in puro codice, dal moment

7calore

3risposta

Come iterare meglio nel corso Stato in Clojure (Monade?)

Ho appena scritto questo codice: (defn parameters [transform-factory state] (lazy-seq (let [[r1 state] (uniform state) [r2 state] (uniform state) [t state] (transform-factory st

28calore

1risposta

La funzione chain in underscore.js crea una monade?

In the chain documentation si trovano: Calling chain su un oggetto avvolto causerà tutto il metodo futuro chiamate restituire gli oggetti avvolti pure. Al termine del calcolo , utilizzare value per re

17calore

1risposta

Scala equivalente di do-la notazione di Haskell (ancora una volta)

So che è do x <- [1, 2, 3] y <- [7, 8, 9] let z = (x + y) return z può essere espressa in Scala come for { x <- List(1, 2, 3) y <- List(7, 8, 9) z = x + y } yield

13calore

1risposta

Stream vs monadi

Esiste qualche differenza tra i flussi (liste pigre) e le monadi? Dal punto di vista concettuale e matematico, non dall'implementazione tecnica. Oppure esiste biunique, corrispondenza uno-a-uno tra? P

6calore

1risposta

Modifica dei dati scritti in un writer monad

Data un'azione di monad Writer, voglio modificarlo mappando una funzione sui dati scritti all'interno dell'azione monad. Qualcosa di simile: retell :: (w -> w') -> Writer w a -> Writer w' a Ha una t

5calore

1risposta

Perché non può essere eseguita un'istanza di MonadError in ContT?

Ho una pila di trasformatori monad incluso uno ErrorT e voglio avvolgere un trasformatore ContT r attorno al tutto. Quando provo a farlo, le mie chiamate a throwError generano errori di tipo - apparen

7calore

2risposta

Haskell IO Monad e memoria utilizzano

Probabilmente non sto capendo molto bene la monade IO. Se scrivo un'applicazione che dovrebbe funzionare per molti mesi, nel frattempo registrando il suo stato di avanzamento, la monade IO terrà tutte

10calore

4risposta

Haskell: funzioni duplicate (+) e (++), mappend

(+) e (++) sono solo specializzazioni di mappend; ho ragione? Perché sono necessari? Questa è una duplicazione inutile dal momento che Haskell ha questi potenti tipi di tipografia e inferenza di tipo.