free-monad

21calore

1risposta

Classi di penetrazione dello stack di Monad con trasformatori Monad liberi/operativi?

Può esserci un meccanismo simile a mtl per i trasformatori monad creati da FreeT/ProgramT? La mia comprensione della storia è la seguente. C'era una volta inventato il trasformatore di monad. Poi la g

7calore

1risposta

implementazione libera in scalaz

L'implementazione libera in Haskell è: data Free f a = Pure a | Free (f (Free f a)) , mentre, l'implementazione in Scalaz è: sealed abstract class Free[S[_], A] private case class Return[S[_], A

5calore

2risposta

bifunctor in Haskell, dopo il tipo meno fisso

Non sono sicuro come derivare l'istanza functor dopo aver fatto un punto fisso: data FreeF f a next = PureF a | FreeF (f next) deriving (Functor) data Mu f = In { out :: f (Mu f) } newtype Free f

12calore

1risposta

Ogni monade gratis su un ??? il functor produce una comonade?

In "this answer in" Può una monade essere una comonad? " vediamo che Ogni CofreeComonad su un Alternative functor produce un Monade. Quale sarebbe il doppio a questo? Esiste una classe di funtori che

11calore

3risposta

Combinativo applicativo vs monadico e monad in Scalaz

Un paio di settimane fa Dragisa Krsmanovic ha chiesto a question here su come utilizzare la monade gratuita in Scalaz 7 per evitare overflow dello stack in questa situazione (ho adattato un po 'il suo

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

8calore

2risposta

Come evitare l'overflow dello stack quando si utilizza la monade gratuita di scalaz?

In precedenza avevo pensato che parte dello scopo dell'implementazione fosse evitare questo stesso problema, quindi forse sto facendo qualcosa di ovviamente stupido? Ecco il codice: // Stack overflow

7calore

1risposta

Esaminando la struttura di legame in una monade libera AST

Prendi questo semplice funtore base e altri macchinari per una monade libero con termini vincolanti: {-# LANGUAGE DeriveFunctor #-} import Control.Monad.Free data ProgF r = FooF (Double -> r)

10calore

4risposta

Scrivendo la monade identità in termini di libera

In "Tipi di dati alla carte" Swierstra scrive che dato Free (che egli chiama Term) e Zero è possibile implementare la monade Identità: data Term f a = Pure a | Impure (f (Term f a)) data Zero

20calore

1risposta

Impilare effetti monadici in una Monade libera in Scala

Sto imparando la monade libera in Scala, e ho messo insieme un semplice esempio di algebra che posso sollevare in una monade libera usando i gatti. Ecco la mia algebra sealed trait ConsultationOp[A]