monads

12calore

2risposta

Dov'è il costruttore di dati per "Stato"?

Dopo aver letto un paio di tutorial sulle monadi di stato Haskell, volevo provarli io stesso. I tutorial che ho letto sostengono che il Control.Monad.State fornire la seguente definizione: newtype Sta

7calore

2risposta

A che serve l'istanza monad di Cont?

Sto giocando con CPS e Control.Monad.Cont e mi chiedo cosa guadagniamo notando la struttura monadica. Per il codice come questo: sumOfSquares'cps :: Cont r Int -> Cont r Int -> Cont r Int sumOfSquare

7calore

1risposta

wrapper C/C++ per Haskell IO monad

Voglio chiamare una funzione Haskell da C/C++. Ho già letto alcuni tutorial relativi a questo argomento, ma le chiamate di IO Monade non sono trattate in esse. In particolare, vorrei chiamare una funz

9calore

4risposta

Monade di Haskell contro Monade di APL

In APL e Haskell, il termine monade significa due cose completamente diverse, o la stessa cosa vista da due prospettive diverse. Sono piuttosto nuovo in entrambe le lingue e sto cercando di dare un se

13calore

2risposta

Perché non è incluso un CancelToken nell'attività <T> monad?

Task<T> detiene in modo ordinato un calcolo "ha iniziato, potrebbe essere finito", che può essere composto con altre attività, mappato con funzioni, ecc. Al contrario, la monade F # async contiene un

6calore

1risposta

Patrimonio dei nomi degli operatori monad

Attualmente sto leggendo le basi della teoria delle categorie e cerco di dare un senso ai nomi che Haskell assegna alle operazioni di monade semanticamente. Tutto il materiale che ho passato si riferi

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

5calore

1risposta

IO Monade in lingue dinamicamente tipizzate

In Haskell, una delle cose che ritengo sia piuttosto bella è il suo uso delle Monade come un'astrazione su azioni efficaci. Crea un modo davvero elegante per esprimere il codice imperativo, mentre con

5calore

1risposta

Scalaz Bind [Seq] typeclass

Attualmente sto eseguendo il porting di un codice dallo stile tradizionale Scala a Scalaz. E 'abbastanza comune attraverso la maggior parte del mio codice per utilizzare il tratto Seq nelle mie firme

16calore

2risposta

Perché Haskell non può essere indotto a eseguire operazioni di I/O utilizzando una valutazione rigorosa?

Sto solo imparando Haskell e IO monadi. Mi chiedo perché non avrebbe questa forza al programma di uscita "hi" e "bye": second a b = b main = print ((second $! ((print "hi") >>= (\r -> return()))) "by