monads

10calore

1risposta

According to the Haskell wikibook, un Monad chiamato m è un Functor con due operazioni aggiuntive: unit :: a -> m a join :: m (m a) -> m a Che bello, ma ho qualcosa di leggermente diverso. Riflette

6calore

1risposta

Come si ragiona sull'ordine di esecuzione delle funzioni in uno stack monadT?

Tema generale: Mentre trovo che l'idea di impilare le monadi sia molto allettante, ho molti problemi a immaginare come viene eseguito il codice e quali sono gli ordini appropriati per eseguire i livel

6calore

1risposta

Che cosa fanno queste parentesi quadre in Haskell?

Ho letto il codice qui sotto in Indexed Monad {-# LANGUAGE QuasiQuotes #-} import Control.Monad.Indexed.State import Control.Monad.Indexed import Language.Haskell.IndexedDo hoge :: IxState Int [I

6calore

4risposta

Metodi di flatMap multipli per una singola monade?

Ha senso definire più metodi flatMap (o >>=/bind in Haskell) in una Monade? Le pochissime monadi che uso effettivamente (Option, Try, proiezioni) definiscono solo un metodo flatMap. ad esempio, può av

15calore

1risposta

Monad transformer per NonEmptyList?

Mi sembra che Scalaz 'NonEmptyList abbia un'istanza monad, quindi un trasformatore monad per esso (un po' simile a ListT) dovrebbe essere possibile. È corretto? Se è così, c'è uno là fuori? (Non riusc

7calore

1risposta

Transformation under Transformers

Al momento sto avendo un po 'di difficoltà con i trasformatori monad. Sto definendo alcune diverse relazioni non deterministiche che fanno uso di trasformatori. Sfortunatamente, ho difficoltà a capire

20calore

1risposta

Corrispondenza tra le classi di tipo ei livelli di grammatica nella gerarchia di Chomsky

La mia domanda riguarda le classi di tipo applicativo e Monade, da un lato, e le e sensibile al contesto context-free livelli grammaticali della gerarchia di Chomsky, dall'altro. Ho sentito dire che c

10calore

1risposta

Trasformatori Monad Duplicazione Monad

Sono un neofita dei trasformatori monad, domanda così dispiaciuta. Ho il valore val :: MaybeT IO String e la funzione fn :: String -> IO [String]. Quindi dopo l'associazione, ho val >>= liftM fn :: Ma

7calore

2risposta

Come trovo tutte le sottocartelle di una cartella?

Vorrei elencare tutte le sottocartelle di una cartella in Haskell. Ottenere tutti i contenuti delle cartelle è facile, c'è una funzione getDirectoryContents. Ma come li filtro? Dal momento che getDire

14calore

3risposta

Esiste un modo per utilizzare IO Bool nell'istruzione if senza legarsi a un nome in haskell?

Se ho una funzione che restituisce IO Bool (in particolare uno atomically), esiste un modo per utilizzare direttamente il valore restituito nell'istruzione if, senza l'associazione? Quindi attualmente