This HTML5 document contains 36 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n11http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-fahttp://fa.dbpedia.org/resource/
n16http://fr.dbpedia.org/resource/Modèle:Traduction/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n7http://pll.cpsc.ucalgary.ca/charity1/www/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Charity
rdf:type
wikidata:Q315 dbo:ProgrammingLanguage schema:Language wikidata:Q9143 dbo:Language owl:Thing
rdfs:label
Charity
rdfs:comment
Charity est un langage de programmation expérimental purement fonctionnel, développé à l'Université de Calgary. Il ressort des idées de Hagino Tatsuya, et il est complètement fondé sur la théorie des catégories. Nonobstant les interactions entrées-sorties, tous les programmes programmés en Charity sont garantis de terminer. Cela signifie que ce langage n'est pas Turing-complet. Cependant, il est capable d'exprimer la fonction d'Ackermann et la rend plus expressive qu'une récursion primitive.
owl:sameAs
wikidata:Q2957843 dbpedia-fa:چریتی_(زبان_برنامه‌نویسی)
dbo:wikiPageID
3688585
dbo:wikiPageRevisionID
185725366
dbo:wikiPageWikiLink
dbpedia-fr:Type_récursif dbpedia-fr:Fonction_récursive_primitive category-fr:Langage_de_programmation dbpedia-fr:Langage_de_programmation dbpedia-fr:Théorie_des_catégories dbpedia-fr:Purement_fonctionnel dbpedia-fr:Fonction_d'Ackermann dbpedia-fr:Catamorphisme dbpedia-fr:Anamorphisme dbpedia-fr:Entrées-sorties dbpedia-fr:Turing-complet dbpedia-fr:Université_de_Calgary dbpedia-fr:ML_(langage)
dbo:wikiPageExternalLink
n7:home.html
dbo:wikiPageLength
1614
dct:subject
category-fr:Langage_de_programmation
foaf:homepage
n7:home.html
prop-fr:wikiPageUsesTemplate
n11:Portail n16:Référence n11:Ébauche n11:Références
prov:wasDerivedFrom
wikipedia-fr:Charity?oldid=185725366&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Charity
dbo:abstract
Charity est un langage de programmation expérimental purement fonctionnel, développé à l'Université de Calgary. Il ressort des idées de Hagino Tatsuya, et il est complètement fondé sur la théorie des catégories. Nonobstant les interactions entrées-sorties, tous les programmes programmés en Charity sont garantis de terminer. Cela signifie que ce langage n'est pas Turing-complet. Cependant, il est capable d'exprimer la fonction d'Ackermann et la rend plus expressive qu'une récursion primitive. Le langage autorise les types récursifs ordinaires, tels qu'ils se trouvent en ML, et qui doivent être finis, et également les types de données corécursifs, qui sont autorisés d'être potentiellement infinis. La structure de contrôle pour les opérations sur les types récursifs est une récursion primitive ou catamorphisme, et celle pour les types de données corécursifs est une co-récursion primitive ou anamorphisme. Les structures de contrôle ne peuvent pas sinon opérer sur d'autres types de données. Tous les catamorphismes terminent et tous les anamorphismes sont productifs.