Charity (langage)
- Charity (langage)
-
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.
Notes et références
Annexes
Articles connexes
Liens externes
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Charity (langage) de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Langage Anubis — Anubis (langage) Anubis est un langage fonctionnel créé en 2000 par le mathématicien français Alain Prouté en se basant sur la théorie des catégories. Sommaire 1 Description 2 Exemple de programme 3 Autres caractéristiques … Wikipédia en Français
Anubis (langage) — Anubis est un langage fonctionnel créé en 2000 par le mathématicien français Alain Prouté en se basant sur la théorie des catégories. Sommaire 1 Description 2 Exemple de programme 3 Autres caractéristiques … Wikipédia en Français
WALL-E — Logo de WALL E Données clés Titre original WALL E … Wikipédia en Français
Liste des langages de programmation — Le but de cette Liste des langages de programmation est d inclure tous les langages de programmation existants, qu ils soient actuellement utilisés ou historiques, par ordre alphabétique. Ne sont pas listés ici les langages informatiques de… … Wikipédia en Français
Rotary International — 42° 02′ 45″ N 87° 40′ 57″ W / 42.04582, 87.68239 … Wikipédia en Français
Phineas Taylor Barnum — Pour les articles homonymes, voir P.T. Barnum. Phineas Taylor Barnum Phineas Taylor Barnum (né le 5 juillet 1810 mort le … Wikipédia en Français
Les Temps difficiles — Hard Times For These Times Temps difficiles Première page de Household Words du 1er avril 1854 avec les premiers chapitres du roman … Wikipédia en Français
Sauvetage de Juifs par des Polonais pendant la Shoah — NOTICE Concernant: la protection de Juifs en fuite. Il est nécessaire de rappeler que, en conformité avec le paragraphe 3 du décret du 15 octobre in 1941, sur la Limitation de Résidence dans le Gouvernement général, (page 595 du Registre GG)… … Wikipédia en Français
Marcellus Empiricus — Marcellus Empiricus, also known as Marcellus Burdigalensis (“Marcellus of Bordeaux”), was a Latin medical writer from Gaul at the turn of the 4th and 5th centuries. His only extant work is the De medicamentis, a compendium of pharmacological… … Wikipedia
Le Magasin d'antiquités — The Old Curiosity Shop Le Magasin d antiquités Couverture du Master Humphrey s Clock, 1840, par George Cattermole et H … Wikipédia en Français
