monad-transformers
Aplikatory komponują, monady nie
Aplikatory komponują, monady nie.
Co oznacza powyższe stwierdzenie? A kiedy jedno jest lepsze od drugiego?
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ć?
Unikanie podnoszenia za pomocą transformatorów monad
Mam problem z którym stos transformatorów monad (lub nawet jeden transformator monad) przekracza IO. Wszystko jest dobrze, z ... est naprawdę mieszanych typów? Czy nie byłoby miło, gdyby GHC dorzuciło trochę cukru składniowego (np., <-$ = <- lift)?
Transformatory Monad a przekazywanie parametrów do funkcji
Jestem nowy w Haskell, ale rozumiem, jak można wykorzystać Transformatory Monad.
Jednak nadal mam trudności z chwytaniem ich ... ie transformatora.
Więc pytanie 1 jest w pełni uwzględnione. Dziękuję Chris.
Pytanie 2 jest teraz odpowiedź w to tak post
Goto in Haskell: czy ktoś może wyjaśnić ten pozornie szalony efekt kontynuacji monad?
From this thread (Control.Monad.Cont fun, 2005), Tomasz Zielonka wprowadził funkcję (skomentowaną w jasny i miły sposób prz ... ass = undefined
Dodaj te linie, skompiluj i uruchom. Wszystkie numery są drukowane.
Co się stało w poprzednim przykładzie?
Najprostszy nietrywialny przykład transformatora monadowego dla "manekinów", IO + może
Mógłby ktoś podać super prosty (kilka linijek) przykład transformatora monad, który jest nietrywialny ( tzn. nie używając Mon ... + Maybe monad lub Maybe + IO monad? Czy to ma sens, aby stworzyć taką monadę złożoną w ogóle? Jeśli tak, to kiedy i dlaczego?
Haskell: lift vs liftIO
W jakich sytuacjach należy stosować liftIO? Kiedy używam ErrorT String IO, Funkcja lift działa, aby przenieść działania IO do ErrorT, więc liftIO wydaje się zbędna.
Czy ktoś kiedykolwiek spotkał transformatora Monad w dziczy?
W moim obszarze działalności-back office IT dla instytucji finansowej - bardzo często komponent oprogramowania przenosi globa ... nawiam się: czy transformatory monad są najlepszą praktyką w radzeniu sobie z tymi typowymi zadaniami wymienionymi powyżej?
Dlaczego w Haskell nie ma transformatora IO?
Każda inna monada pochodzi z wersją transformatorową, a z tego, co wiem, idea transformatora jest ogólnym rozszerzeniem monad ... age dla transformatora ST wspomina o prawdopodobnie powiązanym problemie w swoim opisie, ale nie zawiera żadnych szczegółów.)
Klasy penetracji stosu Monad z darmowymi / operacyjnymi transformatorami Monad?
Czy istnieje mechanizm podobny do mtl dla transformatorów monad stworzonych przez FreeT / ProgramT ?
[12]}moje rozumienie hi ... penetrację dla każdego operacyjnego monad źle pozowane.
Chciałbym również znać poprawny termin techniczny dla penetracji :)
Modułowa konstrukcja programu-łączenie transformatorów Monad w funkcje Monad agnostyczne
Próbuję wymyślić modułowy projekt programu i jeszcze raz proszę o pomoc.
Jako kontynuację poniższych postów Monad Transform ... am = do input <- getUserInput
doLog input
liftIO $ putStrLn $ "Entry logged: " ++ input
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?
Jaka jest różnica między różnymi zamówieniami tych samych transformatorów monad?
Próbuję zdefiniować API, aby wyrazić konkretny typ procedury w moim programie.
newtype Procedure a = { runProcedure :: ? }
... ło zobaczyć, która kombinacja ma zachowanie, którego szukałem. (W moim przypadku chcę typu return Maybe (ProcedureState, a)).
Threading extra state przez parser w Scali
Dam ci tl; dr Z przodu
Próbuję użyć transformatora monad stanu w Scalaz 7 do wątku dodatkowego stanu przez parser i mam pro ... nsformer jest używany do wątku stanu przez parser, ale przykłady Scalaz 6 lub Haskell również byłoby przydatne i doceniam to.