monads

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 :

7Ciepło

2Odpowiedz

W monadowym transformatorze, dlaczego znana jest monada wewnętrzna?

Na przykład MaybeT jest zdefiniowany jako: newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a)} lecz nie: newtype MaybeT m a = MaybeT { runMaybeT :: Maybe (m a) } dlaczego tak jest?

9Ciepło

2Odpowiedz

Jak korzystać z Monady wybrać, aby rozwiązać n-queens?

Próbuję zrozumieć, jak działa monada Select. Najwyraźniej jest to kuzyn Cont i można go użyć do przeszukiwania wstecznego. mam ten list opartych na rozwiązanie problemu n-królowych: -- All the ways of

5Ciepło

1Odpowiedz

bezpłatny Monada w F # z wyjścia typu generic

Próbuję zastosować swobodny monada wzór, jak to opisano w F# for fun and profit do realizacji dostępu do danych (dla Microsoft Azure Table Storage) Przykład Załóżmy mamy trzy tabele bazy danych i trzy

10Ciepło

1Odpowiedz

Dlaczego nie jest możliwe stosowanie tablic próbnych? (Czy tak?)

Podczas rozważania, jak najlepiej odwzorować, tj. traverse, a -> Maybe a -Kleisli nad unboxed vector, szukałem istniejącej implementacji. Oczywiście U.Vector nie jest Traversable, ale it does supply a

11Ciepło

1Odpowiedz

Dlaczego "return nothing" nic nie zwraca?

„zwróci” ma zawinąć w kontekście jakiegoś Monady: *Main> :i return class Applicative m => Monad (m :: * -> *) where ... return :: a -> m a ... -- Defined in ‘GHC.Base’ Jeśli py

5Ciepło

1Odpowiedz

Zamień monady wewnętrzne i zewnętrzne

Jak przekonwertować StateT g (Either E) T na ExceptT E (StateT g Identity) T? Może się przydać tutaj mieszanka traverse i hoist.

6Ciepło

1Odpowiedz

Wyrażenie obliczeń F #, gdy jest to połączenie o nazwie

Próbowałem zaimplementować tę prostą monadę Maybe. Zasadniczo całe wyrażenie ma wartość Nothing, jeśli jednym ze środkowych kroków jest Nothing. type Maybe<'a> = | Just of 'a | Nothing type

8Ciepło

2Odpowiedz

Czy to możliwe (Alternatywne f, Składane f) => Monad f?

Poniższe typechecks: instance (Applicative f, Alternative f, Foldable f) => Monad f where (>>=) = flip $ \f -> foldr (<|>) empty . fmap f -- Or equivalently a >>= b = getAlt . foldMap A

6Ciepło

1Odpowiedz

Haskell: do zapisu i powrót w monady

Załóżmy, że mam następujący kod do {x <- (Just 3); y <- (Just 5); return (x:y:[])} które wyjścia Just [3,5] jaki sposób Haskell wiedzieć, że wartość produkcji powinna być w Maybe monady? Mam na myśl