monads

11calore

5risposta

Haskell: calcolo "in una monade" - che significa?

Nel leggere le monadi, continuo a vedere frasi come "calcoli nella monade Xyz". Cosa significa per un calcolo essere "in" una certa monade? Penso di avere una buona conoscenza di ciò che riguarda le m

9calore

1risposta

Come si traduce un'espressione con più monadi tradotte in scala?

Sto leggendo "Programming in Scala 2nd Edition" e ho qualche idea su Monad di un corso Haskell che ho seguito. Comunque, io non capisco perché il seguente codice "magicamente" funziona: scala> val a:

12calore

1risposta

OCaml: più alto il polimorfismo kinded (astrazione su moduli?)

Diciamo che ho una lista di opzioni: let opts = [Some 1; None; Some 4] mi piacerebbe convertirli in un'opzione di lista, in modo tale che: Se l'elenco contiene None, il risultato è None In caso cont

7calore

4risposta

Oggetto Opzione Scala all'interno di un altro Oggetto opzione

Ho un modello, che ha alcuni campi Opzione, che contengono altri campi Opzione. Per esempio: case class First(second: Option[Second], name: Option[String]) case class Second(third: Option[Third], tit

18calore

3risposta

Traduci da monad a applicativo

OK, quindi so cosa contiene la classe di tipo Applicative e perché è utile. Ma non riesco a capire il modo in cui lo useresti in un esempio non banale. Si consideri, per esempio, il seguente abbastanz

8calore

2risposta

TraversableOnce, Future e Option in a Scala per comprensione

Ho una lista di identificativi di stringa che rappresentano i record DB. Mi piacerebbe caricarli dal DB in modo asincrono, quindi caricare ogni record su un server remoto in modo asincrono, quindi qua

11calore

1risposta

parzialità Monade Transformer

Sto cercando di decostruire il IResult monade da attoparsec in alcuni pezzi. Ecco IResult data IResult t r = Fail t [String] String | Partial (t -> IResult t r) | Done t r Questo si

18calore

5risposta

Più divertimento con i functors applicativi

Earlier Ho chiesto di tradurre il codice monadico per utilizzare solo l'istanza del functor applicativo di Parsec. Sfortunatamente ho ricevuto diverse risposte che hanno risposto alla domanda che ho l

5calore

1risposta

È possibile applicare la partizione a `a -> IO Bool`?

Ho il codice seguente: import System.Directory import System.FilePath import Control.Monad (filterM) filesAndDirs dir = do entries <- getDirectoryContents dir let filtered = [dir </> e |

13calore

1risposta

Qual è il punto di avere una versione lenta/rigida di Writer?

Perché ci sono due diverse monadi tipo Writer in Haskell? Intuitivamente, leggere "strict writer monad" significa che lo <> è rigido, quindi non c'è accumulo di thunk nel log. Tuttavia, guardando il c