monads

13calore

1risposta

funtori Monadi VS applicative per Futures

Supponiamo che io voglio aggregare i dati da 2 servizi remoti, e servono la risposta più veloce che posso: def loadUser: Future[User] def loadData: Future[Data] case class Payload(user: User, data:

8calore

1risposta

Stampa la monade gratuita

Si può tradurre una monade libera in qualsiasi altra monade, ma dato un valore di tipo Free f x, voglio stampare l'intero albero, non mappare ogni nodo dell'AST generato ad un altro nodo in un'altra m

30calore

1risposta

Puoi definire `Comonads 'basato su` Monads`?

Okay, diciamo che avete il tipo newtype Dual f a = Dual {dual :: forall r. f(a -> r)->r} Come si è visto, quando f è un Comonad, Dual f è una Monade (divertente esercizio). Funziona il contrario? È

6calore

3risposta

Con monadi, è possibile unire un join in termini di bind?

In Haskell, le monadi sono definite in termini di funzioni return e bind, dove return ha type a -> m a e bind ha tipo m a -> (a -> m b) -> m b. È stato sottolineato prima che lo monads can also be def

13calore

1risposta

Come posso lavorare in monade annidate in modo pulito?

Sto scrivendo un interprete per una lingua piccola. Questo linguaggio supporta la mutazione, quindi il suo valutatore tiene traccia di uno Store per tutte le variabili (dove type Store = Map.Map Addre

6calore

1risposta

ascensore O per Exceptt automaticamente

Diciamo che ho questo (forse indurre in errore) pezzo di codice, che in giro: import System.Environment (getArgs) import Control.Monad.Except parseArgs :: ExceptT String IO User parseArgs = d

5calore

1risposta

Perché free non è monade esempio nel Scalaz 7.1.5?

Poiché Free non è un'istanza monade Scalaz 7.1.5, non posso usare metodo utile definita Applicative, Apply e così via. /* ref - http://tpolecat.github.io/assets/sbtb-slides.pdf */ import Free._, Coyo

11calore

3risposta

Perché non esiste una classe di caratteri `Cofunctor` in Haskell?

Monads get fmap da Functor typeclass. Perché le comonad non hanno bisogno di un metodo cofmap definito in una classe Cofunctor?

14calore

2risposta

Mix and match calcoli stateful all'interno della monade Stato

Lo stato del mio programma si compone di tre valori, a, b e c, dei tipi A, B e C. Diverse funzioni richiedono l'accesso a valori diversi. Voglio scrivere funzioni usando la monade State in modo che og

45calore

1risposta

Se return a = return b allora a = b?

Potete provare che se return a = return b poi a=b? Quando uso =, intendo nel senso delle leggi e delle prove, non nel senso della classe Eq. Ogni monade che conosco sembra soddisfare questo, e non pos