Inżynieria oprogramowania monad

2

Co to jest wzorzec „Free Monad + Interpreter”?

Widziałem ludzi rozmawiających o darmowej monadzie z tłumaczem , szczególnie w kontekście dostępu do danych. Co to za wzór? Kiedy mogę z niego skorzystać? Jak to działa i jak miałbym to wdrożyć? Rozumiem (z postów takich jak ten ), że chodzi o oddzielenie modelu od dostępu do danych. Czym różni …

95 design-patterns functional-programming haskell dsl monad

5

Krytyka monady IO jest postrzegana jako monada państwowa działająca na świecie

IOMonada w Haskell jest często tłumaczyć jako monady stan, w którym państwo jest świat. Zatem wartość typu IO amonada jest postrzegana jako coś w rodzaju worldState -> (a, worldState). Jakiś czas temu przeczytałem artykuł (lub wpis na blogu / liście mailowej), który skrytykował ten pogląd i podał kilka powodów, dla …

46 functional-programming haskell io monad

7

Może monada kontra wyjątki

Zastanawiam się, jakie są zalety Maybe monady nad wyjątkami? Wygląda na Maybeto, że jest to po prostu jawny (i zajmujący mało miejsca) sposób try..catchskładni. aktualizacja Pamiętaj, że celowo nie wspominam o Haskell.

34 language-agnostic functional-programming exceptions exception-handling monad

3

Różne sposoby oglądania monady

Podczas nauki języka Haskell spotkałem się z wieloma samouczkami próbującymi wyjaśnić, czym są monady i dlaczego monady są ważne w Haskell. Każda z nich używała analogii, więc łatwiej byłoby uchwycić sens. Ostatecznie mam 3 różne poglądy na to, czym jest monada: Widok 1: Monada jako etykieta Czasami myślę, że monada …

29 functional-programming haskell monad side-effect

2

Czy monady są realną (być może lepszą) alternatywą dla hierarchii dziedziczenia?

Będę używał agnostycznego opisu takich monad, opisując najpierw monoidy: Monoid jest (w przybliżeniu) zestaw funkcji, które mają jakiś rodzaj jako parametr i zwraca ten sam typ. Monada jest (w przybliżeniu) zestaw funkcji, które wymagają owinięcia typu jako parametr i zwraca samego rodzaju owijki. Zauważ, że są to opisy, a nie …

20 object-oriented monad

4

Czy korzyść z wzorca monad IO w radzeniu sobie z efektami ubocznymi ma charakter wyłącznie naukowy?

Przepraszam za jeszcze jedno pytanie o efekty uboczne FP +, ale nie mogłem znaleźć już istniejącego, który całkiem mi na to odpowiedział. Moje (ograniczone) rozumienie programowania funkcjonalnego jest takie, że efekty stanu / uboczne powinny być zminimalizowane i oddzielone od logiki bezstanowej. Zbieram również podejście Haskella do tego, monady IO, …

17 python functional-programming state side-effect monad

2

Co to jest Comonad i jak są one przydatne?

Ostatnio odkurza moją wiedzę na temat działania Monad. Ja również zostały wprowadzone do pojęcia „Comonad” , który jest opisany jako odwrotny podwójny z monady . Nie mogę jednak owinąć głowy wokół tego. Aby zrozumieć Monady, stworzyłem dla siebie własną analogię: Monady można postrzegać jako „plan budowy przenośników wyrażeń”. Aby zdefiniować …

16 functional-programming monad

1

Jak koreluje wolna monada i rozszerzenia reaktywne?

Pochodzę z tła C #, gdzie LINQ ewoluował w Rx.NET, ale zawsze interesował się FP. Po krótkim wprowadzeniu do monad i niektórych pobocznych projektach na F # byłem gotów spróbować przejść do następnego poziomu. Teraz, po kilku rozmowach na temat wolnej monady od ludzi ze Scali i licznych napisaniach w …

14 functional-programming monad reactive

4

Jakie problemy programowe rozwiązują Monady? [Zamknięte]

Zamknięte . To pytanie musi być bardziej skoncentrowane . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby skupiało się tylko na jednym problemie, edytując ten post . Zamknięte 3 lata temu . Przeczytałem wiele postów, które wyjaśniają, czym są monady, jak uniti jak binddziałają, niektóre z nich …

14 functional-programming problem-solving monad

2

Dlaczego typ opcji Scala nie jest nazywany Może, tak jak w przypadku Haskell? [Zamknięte]

Zamknięte . To pytanie jest oparte na opiniach . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby można było na nie odpowiedzieć faktami i cytatami, edytując ten post . Zamknięte 4 lata temu . Dlaczego typ opcji Scala nie jest nazywany Może, tak jak w przypadku Haskell? …

13 language-design haskell scala naming-standards monad

4

Czy podczas programowania w stylu funkcjonalnym masz stan pojedynczej aplikacji, który splatasz z logiką aplikacji?

Jak zbudować system, który ma wszystkie następujące elementy : Używanie czystych funkcji z niezmiennymi obiektami. Przekaż tylko dane funkcji, których potrzebuje, nie więcej (tj. Nie ma dużego obiektu stanu aplikacji) Unikaj posiadania zbyt wielu argumentów do funkcji. Unikaj konstruowania nowych obiektów tylko w celu pakowania i rozpakowywania parametrów do funkcji, …

12 c# functional-programming immutability state monad

1

Futures / Monady vs. Wydarzenia

W ramach aplikacji, w których wpływ na wydajność można zignorować (maksymalnie 10–20 zdarzeń na sekundę), co jest łatwiejsze w utrzymaniu i elastyczne jako preferowane medium komunikacji między modułami - Wydarzenia lub Futures / Obietnice / Monady ? Często mówi się, że Wydarzenia (pub / sub, mediator) pozwalają na luźne sprzężenie, …

10 architecture maintainability async event-programming monad

1

Czy lepiej używać monady błędów z weryfikacją w funkcjach monadycznych, czy implementować własną monadę z weryfikacją bezpośrednio w powiązaniu?

Zastanawiam się, co lepiej zaprojektować pod kątem użyteczności / konserwacji, a co lepiej, jeśli chodzi o dopasowanie do społeczności. Biorąc pod uwagę model danych: type Name = String data Amount = Out | Some | Enough | Plenty deriving (Show, Eq) data Container = Container Name deriving (Show, Eq) data …

9 functional-programming haskell validation monad

6

Jako praktykujący, dlaczego miałbym przejmować się Haskellem? Co to jest monada i dlaczego jej potrzebuję? [Zamknięte]

Zamknięte . To pytanie musi być bardziej skoncentrowane . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby skupiało się tylko na jednym problemie, edytując ten post . Zamknięte 6 lat temu . Po prostu nie rozumiem, jaki problem rozwiązują.

9 haskell pragmatism monad

Pytania otagowane jako monad