monads

5Ciepło

1Odpowiedz

Jak stworzyć własną, zgodną ze zrozumieniem monadę scala?

Chcę zaimplementować własne monady i funktory kompatybilne ze zrozumieniem w Scali. Jako przykład weźmy dwie głupie monady. Jedna monada jest monadą państwową zawierającą "Int", które można odwzorować

8Ciepło

2Odpowiedz

Filtr IO [Maybe String] na IO [String]

Jak filtrować IO [Maybe String], aby zachować tylko wartości Just na liście używając >>= i zachować kontekst IO. -- returns Just, if the passed binary-name is not present on the system binDoesntExist

8Ciepło

2Odpowiedz

i IO Monady

Próbowałem owinąć głowę wokół koncepcji monad i byłem eksperymentuje z poniższym przykładzie: Mam typu danych Editor reprezentującą stan tekstu dokument i niektóre funkcje, które na nim działają. data

13Ciepło

1Odpowiedz

Monady VS aplikacyjnych funktory dla kontraktów

Przypuśćmy, że chcesz agregować dane z 2 zdalnych usług oraz służyć odpowiedzi tak szybko, jak tylko mogę: def loadUser: Future[User] def loadData: Future[Data] case class Payload(user: User, data:

30Ciepło

1Odpowiedz

Czy można zdefiniować `Komonady` oparte na` Monadach`?

Ok, więc powiedzmy, że masz typ newtype Dual f a = Dual {dual :: forall r. f(a -> r)->r} Jak się okazuje, kiedy f jest Comonad, Dual f jest Monada (zabawa ćwiczenie). Czy działa to na odwrót? Można

7Ciepło

2Odpowiedz

Co liczy się jako efekt uboczny? Dlaczego alokacja pamięci nie jest efektem ubocznym?

Rozumiem atrakcyjność czystych języków funkcjonalnych, takich jak Haskell, gdzie można śledzić efekty uboczne, takie jak we/wy dysku za pomocą monad. Dlaczego nie wszystkie wywołania systemowe są uważ

9Ciepło

1Odpowiedz

Jak kodować akcje, które przyjmują monadyczne argumenty za pomocą darmowych (lub swobodnych) monad?

Większość monadycznych funkcji przyjmuje czyste argumenty i zwraca monadyczną wartość. Ale istnieje kilka, które również potrzebują monadycznego argumenty, na przykład: mplus :: (MonadPlus m) => m a -

8Ciepło

3Odpowiedz

Różnica w zdolnościach między fmap i bind?

Jestem nowicjuszem w zakresie programowania funkcjonalnego (pochodzącego z javascript) i ciężko mi jest odróżnić te dwie rzeczy, co jest również męczące z moim rozumieniem funktorów kontra monad. funk

5Ciepło

1Odpowiedz

Widen typy w ocaml

Próbuję napisać bezpłatną bibliotekę monad w ocaml, po Control.Monad.Free z haskell, ale utknąłem w pewnym momencie, w realizacji hoistFree. hoistFree :: Functor g => (forall a. f a -> g a) -> Free f

6Ciepło

1Odpowiedz

Czy istnieje ogólny sposób na dekomponowanie darmowego comonada przez monadę awarii w "strumieniu wartości i ostatecznym błędzie"?

Komonadka Cofree jest przydatna do iterowania funkcji częściowych w sposób polimorficzny dla typu błędu. Jego coiter przypomina forM -zachowanie w monadzie błędu, ale zbiera wygenerowane wartości w sp