In functional programming, an applicative functor, or an applicative for short, is an intermediate structure between functors and monads. Applicative functors allow for functorial computations to be sequenced (unlike plain functors), but don't allow using results from prior computations in the definition of subsequent ones (unlike monads). Applicative functors are the programming equivalent of lax monoidal functors with tensorial strength in category theory. Applicative functors were introduced in 2008 by Conor McBride and Ross Paterson in their paper Applicative programming with effects.
| Attributes | Values |
|---|
| rdfs:label
| - Functor aplicatiu (ca)
- Applicative functor (en)
- Funtor aplicativo (es)
- 应用式函子 (zh)
|
| rdfs:comment
| - 在函数式编程中， 应用式函子，或简称应用式（applicative），是在函子和单子之间的中间结构。应用式函子允许函子式计算成为序列（不同于平常函子），但是不允许使用前面计算的结果于后续计算的定义之中（不同于单子）。应用式函子是范畴论中具有的的编程等价者。 应用式函子是2008年Conor McBride和Ross Paterson在他们的论文《Applicative programming with effects》中介入的。应用式函子在Haskell中最初作为库特征出现，现在已经传播到了其他语言，包括Idris、Agda、OCaml、Scala和F#。为了方便使用应用式函子编程，Glasgow Haskell和Idris二者现在提供了专门设计的语言特征。在Haskell中，应用式函子实现在Applicative类型类中。 (zh)
- En programació funcional, un functor aplicatiu, en anglès applicative functor és una estructura algebraica que facilita la combinació de resultats d'una seqüència d'accions d'efectes laterals, sense la serialització temporal que requereixen les mònades, admetent paral·lelisme en la seva execució. Els Functors Aplicatius van ser introduïts el 2007 per Conor McBride i Ross Paterson en el seu estudi "Funcional Pearl: programació aplicativa amb efectes". (ca)
- In functional programming, an applicative functor, or an applicative for short, is an intermediate structure between functors and monads. Applicative functors allow for functorial computations to be sequenced (unlike plain functors), but don't allow using results from prior computations in the definition of subsequent ones (unlike monads). Applicative functors are the programming equivalent of lax monoidal functors with tensorial strength in category theory. Applicative functors were introduced in 2008 by Conor McBride and Ross Paterson in their paper Applicative programming with effects. (en)
- En programación funcional, un funtor aplicativo (del inglés, applicative functor) es una estructura intermedia entre los funtores y las mónadas, permitiendo la secuenciación de varias computaciones funtoriales (al contrario que los funtores en general) pero sin poder hacer depender la próxima computación del resultado de la anterior (a diferencia de las mónadas). Técnicamente, en teoría de categorías, los funtores aplicativos son funtores monoidales laxos con fuerza tensorial. (es)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| code
| - m (en)
- n (en)
- Just (en)
- Nothing (en)
- Maybe a (en)
- g x (en)
- m :: Maybe Int (en)
- m=Just i (en)
- n :: Maybe Int (en)
- n=Just j (en)
- pure u v w = u (en)
- pure f pure x = pure (en)
- pure g x (en)
- pure id v = v (en)
- u pure y = pure u (en)
|
| lang
| |
| has abstract
| - En programació funcional, un functor aplicatiu, en anglès applicative functor és una estructura algebraica que facilita la combinació de resultats d'una seqüència d'accions d'efectes laterals, sense la serialització temporal que requereixen les mònades, admetent paral·lelisme en la seva execució. Els Functors Aplicatius van ser introduïts el 2007 per Conor McBride i Ross Paterson en el seu estudi "Funcional Pearl: programació aplicativa amb efectes". Els functors aplicatius van aparèixer primer com a característica de biblioteca en Haskell, però de llavors ençà s'ha estès a altres llengüatges, incloent Idris, Agda, i Scala. Ambdós Glasgow Haskell i Idris ofereixen característiques del llenguatge per facilitar la programació amb functors aplicatius.En Haskell, és definit a la classe de tipusApplicativedefinida al mòdul Control.Applicative. (ca)
- In functional programming, an applicative functor, or an applicative for short, is an intermediate structure between functors and monads. Applicative functors allow for functorial computations to be sequenced (unlike plain functors), but don't allow using results from prior computations in the definition of subsequent ones (unlike monads). Applicative functors are the programming equivalent of lax monoidal functors with tensorial strength in category theory. Applicative functors were introduced in 2008 by Conor McBride and Ross Paterson in their paper Applicative programming with effects. Applicative functors first appeared as a library feature in Haskell, but have since spread to other languages as well, including Idris, Agda, OCaml, Scala and F#. Glasgow Haskell, Idris, and F# offer language features designed to ease programming with applicative functors.In Haskell, applicative functors are implemented in the Applicative type class. (en)
- En programación funcional, un funtor aplicativo (del inglés, applicative functor) es una estructura intermedia entre los funtores y las mónadas, permitiendo la secuenciación de varias computaciones funtoriales (al contrario que los funtores en general) pero sin poder hacer depender la próxima computación del resultado de la anterior (a diferencia de las mónadas). Técnicamente, en teoría de categorías, los funtores aplicativos son funtores monoidales laxos con fuerza tensorial. Los funtores aplicativos fueron descritos por primera vez en el contexto de la programación funcional por Conor McBride y Ross Paterson en "Functional Pearl: applicative programming with effects". (es)
- 在函数式编程中， 应用式函子，或简称应用式（applicative），是在函子和单子之间的中间结构。应用式函子允许函子式计算成为序列（不同于平常函子），但是不允许使用前面计算的结果于后续计算的定义之中（不同于单子）。应用式函子是范畴论中具有的的编程等价者。 应用式函子是2008年Conor McBride和Ross Paterson在他们的论文《Applicative programming with effects》中介入的。应用式函子在Haskell中最初作为库特征出现，现在已经传播到了其他语言，包括Idris、Agda、OCaml、Scala和F#。为了方便使用应用式函子编程，Glasgow Haskell和Idris二者现在提供了专门设计的语言特征。在Haskell中，应用式函子实现在Applicative类型类中。 (zh)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage disambiguates
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)