reader-monad

11Ciepło

1Odpowiedz

Jak uniknąć schodkowych z Monad Transformers w scala?

Mam następujący kod, który używa monady Reader do konfiguracji, a także ma do czynienia z IO[Option[String]] i skończyłem z kodem, że kroki schodowe w mojej funkcji encode. Jak mogę sformułować transf

8Ciepło

2Odpowiedz

Czy istnieje monada Powerset-over-Reader?

Kanoniczna „instancji Monada” do udostępniania środowiska powiększonej nondeterminism się następująco (za pomocą pseudo-Haskell, ponieważ Haskell na Data.Set nie jest, oczywiście, monadycznego): eta :

13Ciepło

1Odpowiedz

Czy to tylko przypadek, że Kleisli, ReaderT i Reader są takie same w Scalaz

W Scalaz Kleisli[F, A, B] jest opakowaniem dla A => F[B]. ReaderT[F, A, B] - transformator monadera czytającego - jest po prostu pseudonimem Kleisli[F, A, B]. Reader[A, B] monada jest specjalizacja Re

6Ciepło

1Odpowiedz

Refaktoryzacja funkcji Haskell, który używa monady Reader

Mam trochę kodu, który wygląda trochę jak ten, ignorując cały kod, który nie jest właściwy do mojego pytania: import qualified Control.Monad.Reader as Reader data FooEnv = FooEnv { bar :: Int -> Int