About: dbpedia-fr:Curryfication

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Curryfication Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Applicazione parziale (it) Currificació (ca) Curryfication (fr) Currying (de) Currying (pl) Currying (pt)
rdfs:comment	En informatique, plus précisément en programmation fonctionnelle, la curryfication est la transformation d'une fonction à plusieurs arguments en une fonction à un argument qui retourne une fonction sur le reste des arguments. L'opération inverse est possible et s'appelle la décurryfication. Le terme vient du nom du mathématicien américain Haskell Curry, bien que cette opération ait été introduite pour la première fois par Moses Schönfinkel. (fr)
rdfs:seeAlso	https://ncatlab.org/nlab/show/currying
sameAs	dbr:Currying wikidata:Q1144925 dbpedia-ca:Currificació dbpedia-de:Currying dbpedia-es:Currificación dbpedia-he:פונקציית_קורי dbpedia-it:Applicazione_parziale dbpedia-ja:カリー化 dbpedia-ko:커링 dbpedia-pl:Currying dbpedia-pt:Currying dbpedia-ru:Каррирование dbpedia-simple:Currying dbpedia-uk:Каррінг_(інформатика) dbpedia-zh:柯里化 http://vocab.getty.edu/aat/300053943 http://g.co/kg/m/01y0t http://ma-graph.org/entity/119551547
Wikipage page ID	450284 (xsd:integer)
Wikipage revision ID	180311947 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Caml category-fr:Logique_mathématique category-fr:Programmation_fonctionnelle category-fr:Programmation_informatique Anonymous function Haskell (programming language) Haskell Curry Computer science JavaScript dbpedia-fr:Just_Another_Perl_Hacker Lambda calculus dbpedia-fr:Moses_Schönfinkel dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Python_(langage) Raku (programming language) Ruby (programming language) dbpedia-fr:Scala_(langage) dbpedia-fr:Scheme Tcl dbpedia-fr:JavaScript_ES2015
page length (characters) of wiki page	9258 (xsd:nonNegativeInteger)
dct:subject	category-fr:Logique_mathématique category-fr:Programmation_fonctionnelle category-fr:Programmation_informatique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Autres_projets dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références
prov:wasDerivedFrom	wikipedia-fr:Curryfication?oldid=180311947&ns=0
prop-fr:wikt	curryfication (fr) opérateur de diffusion (fr)
foaf:isPrimaryTopicOf	wikipedia-fr:Curryfication
dbo:discoverer	dbpedia-fr:Gottlob_Frege
named after	Haskell Curry
has abstract	En informatique, plus précisément en programmation fonctionnelle, la curryfication est la transformation d'une fonction à plusieurs arguments en une fonction à un argument qui retourne une fonction sur le reste des arguments. L'opération inverse est possible et s'appelle la décurryfication. Le terme vient du nom du mathématicien américain Haskell Curry, bien que cette opération ait été introduite pour la première fois par Moses Schönfinkel. (fr)
is dbo:wikiPageWikiLink of	Boo (programming language) dbpedia-fr:Continuité_de_Scott Closure (computer programming) Hom functor Higher-order function Haskell Curry Lambda calculus dbpedia-fr:Moses_Schönfinkel Memoization dbpedia-fr:Objet_exponentiel dbpedia-fr:Qi_(langage) Raku (programming language) Type signature Universal coefficient theorem dbpedia-fr:Type_récursif Unlambda
is oa:hasTarget of	Pt labels De labels Ca labels It labels Pl labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Curryfication

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 17 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software