Property |
Value |
dbo:abstract
|
- En théorie des langages fonctionnels typés, une monade est une structure permettant de manipuler des langages fonctionnels purs avec des traits impératifs[pas clair]. Il s'agit alors d'avoir une représentation simulant exactement des notions telles que les exceptions ou les effets de bords, tout en conservant la pureté des langages fonctionnels. L'usage des monades présente plusieurs intérêts : analyses statiques et preuves de programmes plus simples, usage de l'appel par nécessité, optimisations (déforestation, mémoïsation de valeurs, parallélisation, (en)). (fr)
- En théorie des langages fonctionnels typés, une monade est une structure permettant de manipuler des langages fonctionnels purs avec des traits impératifs[pas clair]. Il s'agit alors d'avoir une représentation simulant exactement des notions telles que les exceptions ou les effets de bords, tout en conservant la pureté des langages fonctionnels. L'usage des monades présente plusieurs intérêts : analyses statiques et preuves de programmes plus simples, usage de l'appel par nécessité, optimisations (déforestation, mémoïsation de valeurs, parallélisation, (en)). (fr)
|
dbo:isPartOf
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 6916 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:fr
|
- réduction forte (fr)
- réduction forte (fr)
|
prop-fr:langue
| |
prop-fr:trad
|
- Strength reduction (fr)
- Strength reduction (fr)
|
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- En théorie des langages fonctionnels typés, une monade est une structure permettant de manipuler des langages fonctionnels purs avec des traits impératifs[pas clair]. Il s'agit alors d'avoir une représentation simulant exactement des notions telles que les exceptions ou les effets de bords, tout en conservant la pureté des langages fonctionnels. L'usage des monades présente plusieurs intérêts : analyses statiques et preuves de programmes plus simples, usage de l'appel par nécessité, optimisations (déforestation, mémoïsation de valeurs, parallélisation, (en)). (fr)
- En théorie des langages fonctionnels typés, une monade est une structure permettant de manipuler des langages fonctionnels purs avec des traits impératifs[pas clair]. Il s'agit alors d'avoir une représentation simulant exactement des notions telles que les exceptions ou les effets de bords, tout en conservant la pureté des langages fonctionnels. L'usage des monades présente plusieurs intérêts : analyses statiques et preuves de programmes plus simples, usage de l'appel par nécessité, optimisations (déforestation, mémoïsation de valeurs, parallélisation, (en)). (fr)
|
rdfs:label
|
- Monada (programowanie) (pl)
- Monade (Informatik) (de)
- Monade (informatica) (it)
- Monade (informatique) (fr)
- Mònada (programació funcional) (ca)
- Mónada (programación funcional) (es)
- Монада (программирование) (ru)
- Монади (програмування) (uk)
- モナド (プログラミング) (ja)
- 单子 (函数式编程) (zh)
- Monada (programowanie) (pl)
- Monade (Informatik) (de)
- Monade (informatica) (it)
- Monade (informatique) (fr)
- Mònada (programació funcional) (ca)
- Mónada (programación funcional) (es)
- Монада (программирование) (ru)
- Монади (програмування) (uk)
- モナド (プログラミング) (ja)
- 单子 (函数式编程) (zh)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |