| http://dbpedia.org/ontology/abstract
|
Monadický operátor je typový operátor vyšš … Monadický operátor je typový operátor vyššího druhu přiřazující libovolné monádě jinou monádu. Jedná se o endofunktor v kategorii endofunktorů. Monadický operátor T je druhu poskytující pro každou monádu operace a nad TMa a navíc speciální funkci (někdy nazývanou "lift") takovou, že platí a . Ve funkcionálních jazycích, protože složení dvou monád obecně není monáda, se používají monadické operátory, chceme-li spojit funkčnost dvou monád do jedné. Jazyky jako Haskell nabízejí ke každé monádě také odpovídající operátor. Lze snadno ukázat, že λ je přirozená transformace z M do TM. Pro libovolnou monádu F platí . Chceme dokázat, že pro libovolný morfismus platí . V prvním případě máme Ve druhém pak přímo Uvedený diagram tedy komutuje, pročež je λ přirozenou transformací.tuje, pročež je λ přirozenou transformací.
, In functional programming, a monad transfo … In functional programming, a monad transformer is a type constructor which takes a monad as an argument and returns a monad as a result. Monad transformers can be used to compose features encapsulated by monads – such as state, exception handling, and I/O – in a modular way. Typically, a monad transformer is created by generalising an existing monad; applying the resulting monad transformer to the identity monad yields a monad which is equivalent to the original monad (ignoring any necessary boxing and unboxing).noring any necessary boxing and unboxing).
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Monad_transformers/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
14643334
|
| http://dbpedia.org/ontology/wikiPageLength
|
7360
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1000161612
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Functional_programming +
, http://dbpedia.org/resource/Monoid +
, http://dbpedia.org/resource/Monads_in_functional_programming +
, http://dbpedia.org/resource/Monad_%28functional_programming%29 +
, http://dbpedia.org/resource/Option_type +
, http://dbpedia.org/resource/Kind_%28type_theory%29 +
, http://dbpedia.org/resource/Exception_handling +
, http://dbpedia.org/resource/Commutative +
, http://dbpedia.org/resource/Functional_programming +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Wikibooks +
, http://dbpedia.org/resource/Template:Math +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Expand_section +
, http://dbpedia.org/resource/Template:Mvar +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Functional_programming +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Constructor +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Monad_transformer?oldid=1000161612&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Monad_transformer +
|
| owl:sameAs |
http://cs.dbpedia.org/resource/Monadick%C3%BD_oper%C3%A1tor +
, http://dbpedia.org/resource/Monad_transformer +
, http://rdf.freebase.com/ns/m.03grnd3 +
, https://global.dbpedia.org/id/4ramg +
, http://www.wikidata.org/entity/Q6897853 +
|
| rdf:type |
http://dbpedia.org/ontology/FormulaOneTeam +
|
| rdfs:comment |
In functional programming, a monad transfo … In functional programming, a monad transformer is a type constructor which takes a monad as an argument and returns a monad as a result. Monad transformers can be used to compose features encapsulated by monads – such as state, exception handling, and I/O – in a modular way. Typically, a monad transformer is created by generalising an existing monad; applying the resulting monad transformer to the identity monad yields a monad which is equivalent to the original monad (ignoring any necessary boxing and unboxing).noring any necessary boxing and unboxing).
, Monadický operátor je typový operátor vyšš … Monadický operátor je typový operátor vyššího druhu přiřazující libovolné monádě jinou monádu. Jedná se o endofunktor v kategorii endofunktorů. Monadický operátor T je druhu poskytující pro každou monádu operace a nad TMa a navíc speciální funkci (někdy nazývanou "lift") takovou, že platí a . Ve funkcionálních jazycích, protože složení dvou monád obecně není monáda, se používají monadické operátory, chceme-li spojit funkčnost dvou monád do jedné. Jazyky jako Haskell nabízejí ke každé monádě také odpovídající operátor. V prvním případě máme Ve druhém pak přímo V prvním případě máme Ve druhém pak přímo
|
| rdfs:label |
Monadický operátor
, Monad transformer
|
