applicative
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!
Aplikatory komponują, monady nie
Aplikatory komponują, monady nie.
Co oznacza powyższe stwierdzenie? A kiedy jedno jest lepsze od drugiego?
Rozróżnienie między typami MonadPlus, Alternative i Monoid?
Standard-library Haskell typeclasses MonadPlus, Alternative, i Monoid każda dostarcza dwie metody o zasadniczo tej samej sema ... ezwykle podobne klasy? Czy istnieje jakaś prawdziwa różnica między nimi, poza ich różnymi ograniczeniami klasy superklasowej?
Kiedy i dlaczego należy używać funktorów aplikacyjnych w Scali
Wiem, że Monad można wyrazić w Scali następująco:
trait Monad[F[_]] {
def flatMap[A, B](f: A => F[B]): F[A] => F[B] ... mógłbyś podać proste przykłady użycia apply z opcją i listą oraz wyjaśnić dlaczego powinienem go używać zamiast flatMap ?
Jakie są zalety parsowania aplikacyjnego nad parsowaniem monadycznym?
Wydaje się, że istnieje konsensus, że powinieneś używać Parsec jako aplikatora, a nie monady. Jakie są zalety parsowania aplikacyjnego nad parsowaniem monadycznym?
style
wydajność
abstrakcja
Czy monadyczny parsuje?
Różnica między Monad a aplikatorem w Haskell
Właśnie przeczytałem z typeclassopedia o różnicy między Monad a Applicative. Rozumiem, że nie ma join w Applicative. Ale poni ... ystania wyjścia z poprzednich obliczeń do decydowania, które obliczenia mają być uruchomione dalej", który aplikator nie mam?
Jakie są praktyczne zastosowania stylu aplikacyjnego?
Jestem programistą Scali, uczę się teraz Haskella. Łatwo znaleźć praktyczne przypadki użycia i prawdziwe przykłady pojęć OO, ...
Czy ktoś mógłby mi podpowiedzieć, jak można używać aplikacji w codziennym programowaniu? Jak zacząć dostrzegać wzór? Dzięki!
Strzałki są dokładnie równoważne funkcjom aplikacyjnym?
Według słynnego pisma idiomy są nieświadome, strzały skrupulatne, monady rozwiązłe, moc ekspresyjna strzałek (bez dodatkowych ... ) => Arrow (Applicarrow f) where
arr = Applicarrow . pure
first (Applicarrow f) = Applicarrow $ first <$> f
Dlaczego warto być superklasą Monad?
Podane:
Applicative m, Monad m => mf :: m (a -> b), ma :: m a
[[31]}wydaje się być uważane za prawo, które:
mf &l ... ch to?
Uwaga: ważna edycja w celu wyjaśnienia treści pytania. Odpowiedź wysłana przez @ duplode cytuje wcześniejszą wersję.
funkcje jako funktory aplikacyjne (Haskell / LYAH)
Rozdział 11 z Learn You a Haskell wprowadza następującą definicję:
instance Applicative ((->) r) where
pure x = (\_ ... f (g x) (zauważ, że w tej wersji x nie pojawia się po f.
Zdaję sobie sprawę, że to bałagan, więc dzięki za wsparcie ze mną.
Jaką przewagę daje nam Monad nad aplikatorem?
Czytałem Ten artykuł , ale nie zrozumiałem ostatniej sekcji.
Autor mówi, że Monad daje nam wrażliwość kontekstową, ale możl ... arString)
Jest brzydszy na pewno Bez do-składni, ale poza tym nie rozumiem, po co nam Monada. Czy ktoś może mi to wyjaśnić?
Gdzie znaleźć ćwiczenia programistyczne dla funktorów aplikacyjnych?
Czytałem o funkcjach aplikacyjnych, zwłaszcza w Functional Pearl McBride ' a i Patersona. Ale chciałbym ugruntować moje zroz ... nkcjami aplikacyjnymi?
Poszczególne ćwiczenia są w porządku, podobnie jak wskaźniki do ćwiczeń wymienionych w innym miejscu.
Jaki jest przykład Monad, który jest alternatywą, ale nie MonadPlus?
W jego odpowiedź na pytanie " rozróżnienie typów MonadPlus, Alternative, i Monoid?", Edward kmett mówi, że
Co więcej, ... onadPlus Prawa ; jestem zadowolony z odpowiedzi, która używa lewego rozkładu lub lewego połowu, chociaż wolałbym te pierwsze.
Czym jest definicja funktora aplikacyjnego z teorii kategorii POV?
Udało mi się odwzorować definicję Functora z teorii kategorii do definicji Haskella w następujący sposób: ponieważ obiekty Ha ... rii źródłowej na morfizmy docelowego.
Czy to słuszna intuicja? Czy możesz podać bardziej formalną i rygorystyczną definicję?
W jakim stopniu instancje Applicative/Monad są jednoznacznie określone?
Zgodnie z opisem to pytanie/odpowiedzi, Functor instancje są jednoznacznie określone, jeśli istnieją.
W przypadku list istni ... ?
Jeśli któraś z powyższych jest unikalna, to chciałbym wiedzieć dlaczego, aby masz jakiś dowód. Jeśli nie, kontra-przykład.
Czym jest kontrola.Aplikacyjny.Winda przydatna do?
Pisałem o transformers w ostatnim poście na blogu ktoś zapytał "co ludzie używają kontroli .Aplikacyjny./ Align = "left" / "N ... cia tego pakietu, ale nie jestem w stanie do końca przeanalizować tego, co robi. Czy ktoś zna jakieś inne przykłady w dziczy?