Monads hutumiwa kwa nini?
Monads hutumiwa kwa nini?

Video: Monads hutumiwa kwa nini?

Video: Monads hutumiwa kwa nini?
Video: What is a Monad? - Computerphile 2024, Novemba
Anonim

Kutoka wikipedia: Katika upangaji kazi, a monad ni aina ya data dhahania kutumika kuwakilisha hesabu (badala ya data katika modeli ya kikoa). Monads ruhusu mpangaji programu kuunganisha vitendo ili kujenga bomba, ambalo kila hatua inapambwa kwa sheria za ziada za usindikaji zinazotolewa na monad.

Vile vile, ni nini uhakika wa monads?

Monads sio zana ya kuzuia athari mbaya. Monads hutumika kwa, miongoni mwa mambo mengine, athari za ufuatiliaji wa takwimu. Hii inatambua umuhimu wa athari na inaepuka kuzipuuza kama athari za "madhara".

Zaidi ya hayo, je ramani ni Monad? bind (au flatMap) na kitengo (mjenzi) ni yote yanayohitajika kuzingatiwa kama a monad . Kutoka kwa hizo mbili, tunaweza pia kujenga ramani . ramani inaturuhusu kubadilisha kitu kilichofungwa bila kulazimika kukifunga upya sisi wenyewe mwishoni mwa chaguo la kukokotoa. Kwa njia hii, ramani inaweza kuandikwa kwa masharti ya kufunga na kitengo.

Watu pia huuliza, monads ni nini katika programu ya kufanya kazi?

Katika programu ya kazi , a monad ni muundo wa muundo ambao unaruhusu kupanga mipango kwa ujumla huku ukiweka kiotomatiki msimbo wa sahani unaohitajika kulingana na mantiki ya programu. Tangu monads fanya semantiki iwe wazi kwa aina ya hesabu, zinaweza pia kutumika kutekeleza vipengele vya lugha vinavyofaa.

Je, Monad ni mtendaji?

A mtendaji ni aina ya data inayotekeleza Kitendaji typeclass. Applicative ni aina ya data inayotekelezea aina ya Applicative typeclass. A monad ni aina ya data inayotekeleza Monad typeclass.

Ilipendekeza: