An Entity of Type: formula 1 team, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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).

Property Value
dbo:abstract
  • 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í. (cs)
  • 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). (en)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 14643334 (xsd:integer)
dbo:wikiPageLength
  • 7360 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1000161612 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • 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). (en)
  • 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 (cs)
rdfs:label
  • Monadický operátor (cs)
  • Monad transformer (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License