monads

49calore

1risposta

Semplici esempi per illustrare Category, Monoid e Monad?

Mi sto confondendo molto con questi tre concetti. Esiste qualche semplice esempio per illustrare le differenze tra Categoria , Monoid e Monade? Sarebbe molto utile se c'è un'illustrazione di questi co

6calore

1risposta

Converti [IO Int] in IO [Int] in Haskell?

Ho questo codice che si adatta il mio bisogno: f :: [IO Int] -> IO [Int] f [] = return [] f (x:xs) = do a <- x as <- f xs return (a:as) Ma io thougth ci sarebbe un modo predefinito

10calore

2risposta

Feeding un'espressione monadica in meno o quando

Spesso mi ritrovo a scrivere il codice che assomiglia a questo: import System.Directory (doesFileExist) import Control.Monad (unless) example = do fileExists <- doesFileExist "wombat.txt"

18calore

1risposta

Traduzione idiomatica di Scala delle cerniere di Kiselyov?

Oleg Kiselyov showed how to make a zipper from any traversable utilizzando continuazioni delimitate. Il suo codice Haskell è piuttosto breve: module ZipperTraversable where import qualified Data.Tra

11calore

2risposta

Una mappa monad parallela in Haskell? Qualcosa come parMapM?

Sto cercando un modo per eseguire due calcoli in parallelo nella ST-Monad. Sto costruendo un array piuttosto grande (usando STUArray) e mi piacerebbe farlo in parallelo. Finora ho trovato this e this

9calore

3risposta

Derivazione di Free Monade

Control.Monad.Free implementa una monade gratuito: data Free f a = Pure a | Free (f (Free f a)) instance Functor f => Functor (Free f) where fmap f = go where go (Pure a) = Pure (f a)

6calore

1risposta

Creazione di monadi analoga aperta al IO Monade con lo stato concatenato

Ciao gente, Sono abbastanza nuovo a Haskell anche quest'anno (dopo averlo utilizzato nei primi anni 1990 e poi di nuovo nei primi anni 00 del). Sto cercando di scrivere del codice che utilizza un mode

6calore

2risposta

Forse Monade pila all'interno di trasformatori

Ho il seguente codice: import Control.Monad import Control.Monad.Trans import Control.Monad.Trans.State type T = StateT Int IO Int someMaybe = Just 3 f :: T f = do x <- get val <- l

11calore

2risposta

Monadic .NET Types

In a great series of posts Eric Lippert delinea il cosiddetto "modello Monade" per i tipi .NET che si comportano come monadi e implementano il ritorno e il binding per alcuni di essi. Come esempi di t

5calore

1risposta

Haskell Quine: "ap" Monad

Qual è il modo corretto di utilizzare la monade "ap" in Haskell? Voglio fare qualcosa di simile a questo: main = (putStr . ap (++) show) "main = (putStr . ap (++) show) " ma ottengo l'errore "Non so