Klausimai, pažymėti „monaduktorių“

Monad transformatoriai yra abstrakcija monadų derinimui. Tai leidžia sukurti įvairius skaičiavimo efektus, sukuriant tiksliai valdomas skaičiavimo aplinkas.
5
atsakymai

Programos susideda, monadų nėra

Paraiškų teikėjai rašo, monadai to nedaro. Ką reiškia šis teiginys? O kada tai yra geriau, nei kiti?
nustatyti 12 d. '11, 16:35
3
atsakymai

mtl, transformatoriai, monads-fd, monadLib ir pasirinkimo paradoksas

Hackage turi keletą pakuočių monodaliniams transformatoriams: mtl: transformatorių biblioteka Monad transformatoriai: specifiniai funkciniai ir monado transformatoriai monadai-fd: Monad klasės, naudojant funkcines priklausomybes monads-tf: klases ...
gegužės 05 d. 10 d. 1:51
2
atsakymai

Haskell: pakilkite prieš liftą

Kokiomis situacijomis turėtų būti naudojamas liftas? Kai naudoju „ErrorT String IO“, lifto funkcija veikia siekiant padidinti „IO“ veiksmus „ErrorT“, todėl liftas atrodo nereikalingas.
nustatyti spalio 13 d '10, 9:21
4
atsakymai

Ar yra monadas, neturintis atitinkamo monado transformatoriaus (išskyrus IO)?

Iki šiol kiekvienas monadas (kuris galėjo būti pateikiamas kaip duomenų tipas), su kuriuo susidūriau, turėjo atitinkamą monadų transformatorių arba galėjo jį turėti. Ar yra toks monadas, kuris negali jo turėti? Arba visi monadai turi tinkamą ...
yra nustatytas liepos 1 d. 14 d. 20:12
6
atsakymai

Vienuolyno pertrauka

Monads gali padaryti daug nuostabių, beprotiškų dalykų. Jie gali sukurti kintamuosius, kuriuose yra vertybių superpozicija. Jie gali leisti jums prieiti prie duomenų iš ateities, prieš ją apskaičiuojant. Jie gali jums rašyti ...
nustatytas balandžio 20 d '12 0:20
6
atsakymai

Ar kas nors kada nors susidūrė su Monad Transformer lauke?

Mano verslo srityje - finansų įstaigos IT skyrius - labai dažnai programinės įrangos komponentui, turinčiam pasaulinę konfigūraciją, kad būtų galima užregistruoti savo pažangą, turėti tam tikrą klaidų apdorojimo / trumpojo jungimo skaičiavimą. Daiktai, kurie m ...
gegužės 03 d. 10 val. 20:37
2
atsakymai

Venkite kėlimo su Monad transformatoriais.

Turiu problemą, kuri labai gerai veikia naudojant MT steką (ar net vieną MT) per IO. Viskas yra gera, išskyrus tai, kad lifto naudojimas prieš kiekvieną veiksmą yra labai erzina! Įtariu, kad tikrai nieko negalima padaryti ...
nustatė sausio 29 d '12 19:32
1
atsakymas

Monad Transformers vs Pass Parameters į funkcijas

Aš esu naujas Haskell, bet suprantu, kaip galima naudoti Monad Transformers. Tačiau aš vis dar sunku užfiksuoti teigiamą pranašumą, palyginti su funkcijų skambučių parametrais. Remiantis wiki transformatoriaus paaiškinimu ...
nustatyti spalio 19 d. '12 9:13
1
atsakymas

Kodėl Haskell'e nėra transformatoriaus IO?

Kiekvienas kitas monadas ateina su transformatoriaus versija, ir iš to, ką žinau, transformatoriaus idėja yra bendras monadų išplėtimas. Po to, kai bus pastatyti kiti transformatoriai, IOT bus kažkas panašaus į naują IOT ma = IOT {runIOT :: m (IO a) ...
nustatyti 24 okt. '12 22:52
2
atsakymai

Eikite į Haskellą: Ar kas nors gali paaiškinti šį tariamai nenormalų monado tęsimo poveikį?

Iš šio srauto (Control.Monad.Cont fun, 2005) Tomasz Zielonka pristatė šią funkciją (aiškiai ir gražiai komentavo Thomas Yeager). „Tomasz“ priima kvietimąsi „callCC“ kūno argumentu (funkcija) ir grąžina jį vėlesniam naudojimui su šiais ...
nustatytas kovo 04 d. 11 val
2
atsakymai

Kas yra vienuolių vienuolių transformatoriai kategoriškai?

Kaip matematinis studentas, pirmas dalykas, kurį padariau, kai sužinojau apie Haskello monadus, buvo patikrinti, ar jie iš tikrųjų buvo monadai ta prasme, apie kurią žinojau. Bet tada aš sužinojau apie monado transformatorius, ir, atrodo, jie nėra mokomi kategorijų teorijoje ...
nustatytas liepos 28 d., 11 val
1
atsakymas

Papildomos valstybės įtraukimas į Scala analizatorių

Aš duosiu jums tl; Aš stengiuosi naudoti „Scalaz 7“ valstybinį monadų transformatorių, kad būtų galima išskirti papildomą būseną per analizatorių, ir aš turiu problemų daryti kažką naudingo be rašymo daug tma -> tmb versijų m ...
rugsėjo 19 d '12, 5:37
2
atsakymai

Kas yra RWS Monad ir kada ji naudojama

Aš atėjau per RWS Monad ir jos MonadTransformer, kai ieškojau kažką mtl bibliotekoje. Nėra jokio realaus dokumentavimo, ir man įdomu, kas tai yra ir kur ji naudojama. Manau, kad RWS yra Reader, Writer, State ir this ... santrumpa.
nustatytas rugsėjo 20 d '13, 8:45
1
atsakymas

Kodėl „ListT“ monado transformatorius laikomas klaidingu?

Jau sakiau, kad „ListT“ yra klasikinis bugiško monado transformatoriaus pavyzdys, kuris neatitinka monado įstatymų. Ar tai gali būti įrodyta paprastu pavyzdžiu? Redaguoti: Mano idėja su ListT [] yra šiek tiek neteisinga, aš praleidau ...
rugsėjo 27 d '12 12:12
1
atsakymas

Kaip įterpti galbūt vertę į „MaybeT“

Tarkime, kad turiu foo :: Galbūt Int, ir aš noriu jį susieti, pavyzdžiui, naudojant barą: Int -> MayTT (Writer String) Int, kas būtų idiomatinis būdas tai padaryti? Galėčiau apibrėžti savo „liftMaybe“ funkciją ir naudoti ...
nustatytas 31 d '12 0:25