monads

Monada to tylko monoid w kategorii endofunktorów, w czym problem?

Kto pierwszy powiedział co następuje? Monada to tylko monoid w Kategoria endofunkcje, co to jest problem? A w mniej ... ć wyjaśnienie (mam nadzieję, że takie, które może być zrozumiane przez kogoś, kto nie ma zbyt dużego doświadczenia Haskella)?

Duży projekt w Haskell? [zamknięte]

zamknięte . To pytanie musi być bardziej skoncentrowane . Obecnie nie przyjmuje odpowiedzi. ... The slides he linked have a Things we Need "Idioms for mapping design on typy / funkcje/klasy / monady". Czym są idiomy? :)

Po co nam monady?

Moim skromnym zdaniem odpowiedzi na słynne pytanie "Co to jest monada?", szczególnie te najczęściej głosowane, spróbuj wyjaśn ... m jest monada, nie wyjaśniając jasnoDlaczego monady są naprawdę potrzebne . Czy można je wyjaśnić jako rozwiązanie problemu?

Czym są darmowe monady?

I ' ve seen the term Free Monad pop up every Teraz oraz potem przez jakiś czas, ale wszyscy po prostu wydają się używać/d ... monady? (Powiedziałbym, że znam monady i podstawy Haskella, ale mam tylko bardzo szorstką wiedzę na temat teorii kategorii.)

Dlaczego efekty uboczne są modelowane jako monady w Haskell?

Czy ktoś mógłby dać jakieś wskazówki, dlaczego nieczyste obliczenia w Haskell są modelowane jako monady? Chodzi mi o to, że monad jest tylko interfejsem z 4 operacjami, więc jakie było uzasadnienie dla modelowania efektów ubocznych w nim?

Dobre przykłady nie funktor / funktor / Applicative / Monad?

Wyjaśniając komuś, czym jest klasa typu X, staram się znaleźć dobre przykłady struktur danych, które są dokładnie X. Więc p ... ało się podkraść przykład Strzałki gdzieś w tej hierarchii (czy jest to między aplikatorem a monadą?), to też byłoby świetne!

Funkcjonalne wzorce projektowe [zamknięte]

zamknięte. to pytanie nie spełnia wytycznych dotyczących przepełnienia stosu . Obecnie nie przyjmuje odpowiedzi. ... a dobrze je opisuje w jednym miejscu i która może być dostępna dla programisty o średnio zaawansowanych umiejętnościach w FP?

Aplikatory komponują, monady nie

Aplikatory komponują, monady nie. Co oznacza powyższe stwierdzenie? A kiedy jedno jest lepsze od drugiego?

Mylone z przekształceniem flatMap/Map

Naprawdę nie rozumiem Map i FlatMap. To, czego nie rozumiem, to to, w jaki sposób rozumienie jest sekwencją zagnieżdżonych wy ... => None } Byłoby świetnie, gdyby ktoś mógł rzucić trochę światła na uzasadnienie korzystania z mapy i flatMap tutaj.

Jaki jest cel monady czytelnika?

Monada czytelnika jest tak złożona i wydaje się bezużyteczna. W imperatywnym języku, takim jak Java czy C++, nie ma równoważnego pojęcia dla czytelnika monad, jeśli się nie mylę. Możesz podać prosty przykład i wyjaśnić to trochę?

Różnica między State, ST, IORef i MVar

Pracuję nad napisz sobie schemat w 48 godzin (jestem do około 85 godzin) i doszedłem do części o dodawanie zmiennych i przy ... LispVal)] jest myląca-dlaczego druga IORef? Co się zepsuje, jeśli zamiast tego napiszę type ENV = State [(String, LispVal)]?

Czym jest indeksowany monad?

Czym jest indeksowana monada i motywacja do tej monady? Czytałem, że pomaga śledzić skutki uboczne. Ale podpis i dokumentacja do niczego mnie nie prowadzą. Jaki byłby przykład, jak może pomóc śledzić skutki uboczne (lub inny ważny przykład)?

Monady vs. Arrows

Jestem szeroko zaznajomiony z pojęciamimonad istrzałek stosowanych w programowaniu funkcyjnym. Rozumiem również, że można j ... jestem trochę zdezorientowany, jak wybrać, który z nich użyć w danej sytuacji. Kiedy należy używać monad, a kiedy strzałek?

Monady z Javą 8

W trosce o zrozumienie czym jest monada, czy ktoś może podać przykład używając Javy ? Czy to możliwe ? Wyrażenia Lambda są m ... ) {{ add(10); add(10); }}; int[] results = transformService.transform(inputs); }

Proste przykłady do zilustrowania kategorii, Monoid i Monad?

Zaczynam się bardzo mylić z tymi trzema pojęciami. Czy są jakieś proste przykłady ilustrujące różnice między Kategoria, Monoid i Monada ? Byłoby bardzo pomocne, gdyby istniała ilustracja tych abstrakcyjnych pojęć.

Monada pauzy

Monady potrafią robić wiele niesamowitych, szalonych rzeczy. Mogą tworzyć zmienne, które posiadają superpozycję wartości. Mog ... dzienniku. (Oczywiście wyklucza to zmianę stanu między stopniami, ponieważ tak naprawdę nie" wstrzymujemy " niczego teraz.)

mtl, transformatory, monady-fd, monadLib i paradoks wyboru

Hackage ma kilka pakietów dla monad transformers: mtl : biblioteka transformatorów Monad transformatory : transformator ... azem w jakiś sposób? A czy Andy i Ross uważają jakieś własne pakiety za przestarzałe? który z nich ty i ja powinniśmy użyć?

Konkretny przykład pokazujący, że monady nie są zamknięte pod kompozycją (z dowodem)?

Powszechnie wiadomo, że funktory aplikacyjne są zamknięte pod składem, ale monady nie. Mam jednak problem ze znalezieniem ko ... aw monad. Każdy przykład (z dołączonym dowodem) wystarczy; niekoniecznie Szukam dowodu na powyższy przykład w szczególności.

Jak rozpoznać monadyczne wzorce projektowe?

Uczę się Haskella zaczynam rozumieć koncepcję monad i zaczynam używać znanych monad w moim kodzie, ale wciąż mam problemy z p ... ania monadycznego? Jakie jest twoje podejście, kiedy zdajesz sobie sprawę, że jakiś kod byłby lepiej przekształcony w monadę?

Walidacja parametrów metody w Scali, ze zrozumieniem i monadami

Próbuję zweryfikować parametry metody dla nieważności, ale nie znajduję rozwiązania... Czy ktoś może mi powiedzieć jak mam t ... rString) => Left( Error(Error.FORBIDDEN,errorString) ) case None => Right( buildTrashCategory(user) ) } }