Miért hívják őket monádoknak?
Pontszám: 4,8/5 ( 66 szavazat )Mind a monád fogalma, mind a kifejezés eredetileg a kategóriaelméletből származik, ahol a monádot kiegészítő szerkezetű funktorként határozzák meg . Az 1980-as évek végén és az 1990-es évek elején kezdődő kutatások megállapították, hogy a monádok látszólag eltérő számítástechnikai problémákat hozhatnak létre egy egységes, funkcionális modell alá.
Miért nevezik a monádokat monádoknak?
Monád (a görög monas „egység”), egy elemi egyéni anyag, amely a világ rendjét tükrözi, és amelyből az anyagi tulajdonságok származnak . A kifejezést először a pitagoreusok használták egy sorozat kezdőszámának elnevezéseként, amelyből az összes következő szám származott.
Hogyan definiálható a monád?
A monád egy algebrai struktúra a kategóriaelméletben, és a Haskellben a számítások lépéssorozatokként történő leírására , valamint a mellékhatások, például az állapot és az IO kezelésére használják. A monádok absztraktak, és sok hasznos konkrét példájuk van. A monádok lehetőséget adnak a programok felépítésére.
Mi a haszna a monádoknak?
A monád hasznos a bemeneti és kimeneti műveletekhez . A monád a bemeneten és a kimeneten kívül más dolgokra is hasznos. A monádot nehéz megérteni, mert a monádokról szóló cikkek többsége túlságosan vagy túl kevéssé részletezi.
A monádok tiszták?
A monádokat nem tekintik tisztának vagy tisztátalannak . Ezek teljesen független fogalmak. A címed olyan, mintha azt kérdeznéd, hogyan tekintik az igéket finomnak. A "monád" egy adott kompozíciós mintára utal, amely bizonyos magasabb típusú konstruktorokkal megvalósítható típusokon.
Mi az a Monád? - Számítógépfil
A monádok funktorok?
Az első funkció lehetővé teszi, hogy a bemeneti értékeit olyan értékkészletre alakítsa át, amelyet a Monadunk képes összeállítani. A második funkció lehetővé teszi a kompozíciót. Összefoglalva tehát, minden Monád nem Funktor, hanem egy Funktort használ a céljának teljesítésére .
Minden monád monoid?
Összességében elmondható, hogy az X-ben lévő monád csak egy monoid az X endofunktorainak kategóriájában, ahol a × szorzatot az endofunktorok összetétele és az identitás endofunktor által beállított egység váltja fel.
Miért rosszak a monádok?
A monádok nehezek, mert olyan sok rossz monád oktatóanyag akadályozza meg, hogy végre megtalálják Wadler szép papírját. ... Ez az a probléma, amelyet a monádok megoldanak: lehetővé teszik, hogy implicit módon hagyjon néhány ismétlődő kódot, amelyet egyébként a funkcionális programozás megkövetel. Ez az egyszerű, de kritikus pont sok monád oktatóanyagból kimaradt.
Ki találta fel a monádokat?
Roger Godement matematikus volt az első, aki az 1950-es évek végén fogalmazta meg a monád fogalmát (ezt "szabványos konstrukciónak" nevezte), bár az uralkodóvá vált "monád" kifejezést Saunders Mac Lane, a kategóriaelmélet híve népszerűsítette.
A monádok alkalmazása?
Az applikatívumok becsomagolt függvényt alkalmaznak egy burkolt értékre : A Monadok olyan függvényt alkalmaznak, amely egy burkolt értéket ad vissza egy burkolt értékre. A monádoknak van egy >>= (ejtsd: "bind") funkciója ennek érdekében.
Hány monád van?
Leibniz a monádok három szintjét írja le, amelyek észlelési módjaik alapján különböztethetők meg. Egy egyszerű vagy csupasz monádnak van tudattalan észlelése, de nincs memóriája. Az egyszerű vagy közönséges lélek egy fejlettebb monád, amelynek eltérő észlelései vannak, és amely tudatos tudatossággal és memóriával rendelkezik.
Mi a monád példa?
Például az IO monádban x >>= y két műveletet hajt végre egymás után , és az első eredményét átadja a másodiknak. A többi beépített monád, listák és a Maybe típus esetében ezek a monádos műveletek úgy értelmezhetők, hogy nulla vagy több értéket adnak át egyik számításból a másikba.
Opcionális A monád?
Az opcionális önmagában monádnak minősül , annak ellenére, hogy a Java 8 könyvtári csapat némi ellenállást tanúsít.
Miért ablaktalanok a monádok?
Amikor Leibniz azt mondja, hogy a monádok ablaktalanok, ez azt jelenti , hogy a monádok nem tudnak kölcsönhatásba lépni egymással; teljesen függetlenek egymástól . ... - A monádok „egyszerű anyagok”, amelyeknek nincsenek részei. - A monádoknak vannak tulajdonságai (ahogy Leibniz kifejti, a tulajdonságok szükségesek a létezéshez).
Az ocamlnak vannak monádjai?
A monádok olyanok, mint a "programozható pontosvesszők", így használhatók aszinkron vagy "távoli" programozáshoz vagy normál szekvenáláshoz. Az OCAML-ben a pontosvesszőknek "egyetlen" jelentése van, amelyet a nyelv határoz meg. Az "egyéni pontosvessző" használatával a későbbiekben megváltoztathatja a pontosvesszők jelentését.
A monádok összeállíthatók?
Ha csak m -effektusokat akarsz n -effektekkel összefűzni, akkor a kompozíciót talán túl sok kérni! Az aplikatívák alkotnak, a monádok nem. A monádok alkotnak , de lehet, hogy az eredmény nem monád. Ezzel szemben két aplikatívum összetétele szükségképpen aplikatíva.
A monád isten?
Sok görög filozófus, köztük Püthagorasz, Parmenidész, Xenophanész, Platón, Arisztotelész és Plótinosz számára a Monád Isten vagy az első lény, minden létező összessége, a forrás vagy az Egy kifejezés volt. A gnosztikusok a „monád” kifejezést Isten legősibb aspektusára utalták.
A listák monádok?
Szigorúan véve a „Lista egy monád” enyhe visszaélés a terminológiával . Ez a List rövidítése a függvényekkel együtt (xs: Lista[A], f: A => Lista[A]) => xs. térkép(f). flatten (ami f0 ) és (x: A) => List(x) (ami f1 -et alkot) monádot alkot.
Mikor kerültek monádok Haskellhez?
Annyi különböző típusú monád létezik, ahány stratégia a számítások kombinálására, de vannak bizonyos monádok, amelyek különösen hasznosak, és elég gyakoriak ahhoz, hogy a szabványos Haskell 2010 könyvtárak részét képezzék.
Mi a különbség a monoid és a monád között?
2 válasz. A monádok az endofunktorok kategóriájába tartozó monoidok . Ezért a monád csak egy példa a monoidra, ami egy általánosabb fogalom.
A monoid csoportoid?
Ebben a jegyzetben azokat a csoportoid azonosságokat jellemezzük, amelyek (véges) nem triviális (félcsoport, monoid, csoport) modellel rendelkeznek. igen = b. A hurok olyan kvázicsoport, amely semleges elemmel rendelkezik. (véges) nem triviális modell, amely egy (félcsoport, monoid, csoport, kvázicsoport, hurok).
A funktor egy függvény?
A funktor (vagy függvényobjektum) egy C++ osztály, amely függvényként működik . A függvények meghívása ugyanazzal a régi függvényhívás szintaxissal történik.
Mik azok a patakok és monádok?
Tehát egy adatfolyamnak a következő művelete van: streamType -> (valueType streamType), hogy megkapja a következő értéket és a fennmaradó adatfolyamot. A monádok ezzel szemben kevésbé adatstruktúrák, és inkább a forráskód írásának módjai az egyes parancsok kombinálásával .
Talán monád?
Nos, ez egy monádépítő . // Példányai minden bizonnyal monádok. // Így szokták megvalósítani a Maybe(..)-t.
valamelyik monád?
Vagy egy monád, amely rendelkezik térképpel és flatMap funkcióval. Most nem vesszük észre, milyen praktikussá válik bármelyik, miután Monáddá válik. Bármelyik jobbra torzított , ami azt jelenti, hogy a térkép és a flatMap metódus végrehajtható, ha az érték „helyes” vagy „boldog forgatókönyv”.