dbo:abstract
|
- In computer programming, an anamorphism is a function that generates a sequence by repeated application of the function to its previous result. You begin with some value A and apply a function f to it to get B. Then you apply f to B to get C, and so on until some terminating condition is reached. The anamorphism is the function that generates the list of A, B, C, etc. You can think of the anamorphism as unfolding the initial value into a sequence. The above layman's description can be stated more formally in category theory: the anamorphism of a coinductive type denotes the assignment of a coalgebra to its unique morphism to the final coalgebra of an endofunctor. These objects are used in functional programming as unfolds. The categorical dual (aka opposite) of the anamorphism is the catamorphism. (en)
- L'anamorphisme (du Grec: ανα- = vers le haut; morphisme = forme) est un concept de la programmation fonctionnelle fondé sur la théorie des catégories. (fr)
- Een anamorfisme is een concept uit het functioneel programmeren dat gegrond is in de categorietheorie. De term komt van het Grieks ανα- (naar boven) + morfisme (van het Griekse μορφή, of vorm). (nl)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 9517 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
rdf:type
| |
rdfs:comment
|
- L'anamorphisme (du Grec: ανα- = vers le haut; morphisme = forme) est un concept de la programmation fonctionnelle fondé sur la théorie des catégories. (fr)
- Een anamorfisme is een concept uit het functioneel programmeren dat gegrond is in de categorietheorie. De term komt van het Grieks ανα- (naar boven) + morfisme (van het Griekse μορφή, of vorm). (nl)
- In computer programming, an anamorphism is a function that generates a sequence by repeated application of the function to its previous result. You begin with some value A and apply a function f to it to get B. Then you apply f to B to get C, and so on until some terminating condition is reached. The anamorphism is the function that generates the list of A, B, C, etc. You can think of the anamorphism as unfolding the initial value into a sequence. The categorical dual (aka opposite) of the anamorphism is the catamorphism. (en)
|
rdfs:label
|
- Anamorphism (en)
- Anamorphisme (fr)
- Anamorfisme (nl)
|
owl:differentFrom
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is owl:differentFrom
of | |
is foaf:primaryTopic
of | |