monads

24Ciepło

1Odpowiedz

Nowe zachowanie desugaring w Scala 2.10.1

Załóżmy, że mam ten jednowartościowy Klasa: case class Foo[A](xs: List[A]) { def map[B](f: A => B) = Foo(xs map f) def flatMap[B](f: A => Foo[B]) = Foo(xs flatMap f.andThen(_.xs)) def w

6Ciepło

1Odpowiedz

Czy jest to implementacja kombinatora fixpoint?

Podejrzewałem, że nie można tego nazwać "rekursją punktów stałych", ponieważ było to zbyt proste. Jednak niedawno zdałem sobie sprawę, że tak naprawdę może być. Czy skutecznie wdrożyłem rekursję punkt

17Ciepło

1Odpowiedz

Jak wyjaśnić powiązanie operatora powiązania w tym wyrażeniu haskell?

Bez nawiasach: Prelude> [1,2] >>= \n -> ['a', 'b'] >>= \ch -> return (n, ch) [(1,'a'),(1,'b'),(2,'a'),(2,'b')] Nawiasy zakładając lewy skojarzenia: Prelude> ([1,2] >>= \n -> ['a', 'b']) >>= \ch ->

6Ciepło

2Odpowiedz

zwracając element wyodrębniony z monady; zbędny?

Czy są następujące dwie implementacje równoważenia spłaszczenia dla wszystkich dobrze zachowanych Monad? flatten1 xss = do xs <- xss x <- xs return x flatten2 xss = do xs <- xss

5Ciepło

1Odpowiedz

Czy mogę ustawić StateP z Control.Proxy jako instancję MonadState?

Zmieniam kod, który działał wewnątrz monady StateT, aby działał wewnątrz StateP z Control.Proxy. Jednak część mojego kodu (na przykład operator %= z Control.Lens) wymaga instancji MonadState. Czy jest

6Ciepło

2Odpowiedz

Haskell: obsługa wyjątków w monadach bez IO

Zacząłem używać Yesod do opracowania małego projektu, po raz pierwszy używam Haskella do zrobienia czegoś prawdziwego. Ten kod, który obsługuje formularz rejestracyjny działa dobrze: postRegisterR ::

5Ciepło

1Odpowiedz

Applicative Instance dla (Monad m, Monoid o) => m o?

Przepraszamy za okropny tytuł. Próbuję wykonać instancję Applicative dla zawijania Monad typu, który jest Monoid. instance (Monad m, Monoid o) => Applicative (m o) where pure x = return mempty

6Ciepło

1Odpowiedz

Czy istnieje zasadniczy sposób komponowania dwóch transformatorów monad, jeśli są one innego typu, ale ich podstawowa monada jest tego samego typu?

Nie bardzo mogę zrobić, aby rozwinąć pytanie. Ale tutaj jest przypadek użycia: powiedzmy, że masz dwa transformatory monady, t i s, przekształcając tym samym monady m: master :: (MonadTrans t, Monad m

6Ciepło

1Odpowiedz

Generalizowanie "sekwencji" dla wszystkich funktorów?

mam ten kod: fmapM :: Monad m => (a -> m b) -> (t, a) -> m (t, b) fmapM f (id, e) = do ev <- f e return (id, ev) które zasadniczo stosuje funkcję do 2-ej w krotce, a następnie „wyciąg” mo

5Ciepło

1Odpowiedz

instancja MonadTransControl dla niestandardowego monady

Docs dla monad-control podać przykład, w jaki sposób utworzyć instancję MonadTransControl korzystając defaultLiftWith i defaultRestoreT. Przykładem jest następujący newtype: newtype CounterT m a = Cou