Wikipédia abstraite/Glossaire
Vous pouvez librement demander l’ajout de termes sur la page de discussion ou ajouter davantage de termes et améliorer les définitions. |
A
- abstrait, abstraite (anglais : abstract)
- non exprimé(e) dans une langue humaine spécifique mais dans une forme abstraite ; qui vise à fournir une notation pour la signification sous-entendue dans les textes, phrases ou expressions en langue humaine ; le contraire de concret, concrète.
- TexteAbstrait (anglais : AbstractText)
- prototype de mise en œuvre du concept de Wikifonctions (Wikifunctions en anglais).
- contenu abstrait (anglais : abstract content)
- voir contenu.
- Wikipédia abstraite (anglais : Abstract Wikipedia)
- nom préliminaire de tout le contenu qui peut être utilisé par les éditions localisées de Wikipédia pour faire le rendu d’un article dans une langue humaine ; actuellement proposé pour être hébergé dans Wikidata à côté de l’élément correspondant, mais cela sera discuté avant la partie P2 du projet de développement.
- alias (anglais : alias)
- un libellé alternatif pour un objet, utilisé essentiellement pour trouver l’objet.
- article (anglais : article)
- une page dans l’espace principal de Wikipédia, qui représente habituellement une entrée encyclopédique dans Wikipédia.
B
- intégré (anglais : built-in)
- une mise en œuvre d’une fonction fournie par l’évaluateur et qui n’est pas modifiable au moyen de l’interface du wiki.
C
- appeler (verbe), appel (nom) (anglais : call)
- voir l’appel de fonction ; en français, le terme invoquer ou invocation peut également être utilisé.
- canonique, canonisé (anglais : canonical, canonicalized, canonicalised)
- une façon spécifique, moins verbeuse et donc plus lisible de représenter les Z-Objets en JSON ; c’est la représentation sous laquelle les Z-Objets sont stockés dans Wikifonctions (Wikifunctions en anglais) ; celle-ci s’oppose à la forme normale.
- CAR (anglais : car)
- nom alternatif pour « tête », acronyme en anglais introduit dans le langage de programmation Lisp : voir l’article CAR et CDR dans Wikipédia en anglais ; voir également le terme CDR.
- CDR (anglais : cdr)
- nom alternatif pour « queue », sigle en anglais introduit dans le langage de programmation Lisp : voir l’article CAR et CDR dans Wikipédia en anglais ; voir également le terme CAR.
- caractère (anglais : character)
- un caractère tel que défini par Unicode, un des constituants d’une chaîne ; un caractère peut être codé sur un ou plusieurs octets.
- composition (anglais : composition)
- une forme de mise en œuvre d’une fonction, donnée par la combinaison d’autres fonctions ; voir Modèle de fonctions.
- notation de composition (anglais : composition notation)
- une notation facile à lire pour les compositions ; voir Modèle de fonctions.
- concret, concrète (anglais : concrete)
- exprimé(e) dans une langue humaine spécifique ; le contraire de abstrait, abstraite.
- cons (anglais : cons)
- une fonction pour construire une nouvelle liste en ajoutant un élément en tête d’une autre ; voir phab:T261474. Voir l’article cons sur Wikipédia en anglais.
- constructeur (anglais : constructor)
- un bloc de construction abstrait du contenu ; un constructeur vise à capturer le sens d’une simple phrase ou expression structurée et comprend souvent des emplacements libres pouvant prendre d’autres constructeurs, il peut également lui même être utilisé comme valeur pour remplir les emplacements libres d’autres constructeurs.
- contenu, contenu abstrait (anglais : content, abstract content)
- représentation abstraite d’un texte ou d’un fragment de text, assemblé à partir de constructeurs ; techniquement, un constructeur instancié ; le constructeur de plus haut niveau est utilisé pour représenter un article entier et stocké dans la Wikipédia abstraite, mais le contenu peut n’être aussi qu’une phrase ou expression ; parfois appelé « contenu abstrait ».
- curryfié, curryfier, curryfication (anglais : curried, curry, currying)
- une fonction curryfiée est une fonction qui a été transformée afin qu’au lieu de prendre des arguments multiples, elle utilise une séquence de fonctions, chacune prenant un argument unique ; cette technique est nommée d’après le mathématicien américan Haskell Curry ; voir Currying dans Wikipédia en anglais.
D
- désérialisation (anglais : deserialization)
- l’inverse de la sérialisation.
- projet de développement (anglais : development project)
- un projet pour développer Wikifonctions (Wikifunctions en anglais) et la Wikipédia abstraite ; voir le plan de la Wikipédia abstraite.
- documentation (anglais : documentation)
- texte qui explique un objet dans un langage lisible par un humain.
E
- eneyj (anglais : eneyj)
-
- modèle prototype de Wikifonctions (Wikifunctions en anglais) ;
- une mise en œuvre en JavaScript d’un évaluateur de ce modèle fourni comme text abstrait.
- erreur (anglais : error)
- un type dans les instances indiquent des problèmes dans l’évaluation ou la validation ; voir le Modèle de fonctions.
- évaluateur (anglais : evaluator)
- un bloc logiciel qui prend un Z-Objet et qui l’évalue, c’est-à-dire qui exécute une fonction et retourne le résultat ; nous envisageons le développement de plusieurs évaluateurs ; les évaluateurs peuvent être mis en œuvre et s’exécuter dans le navigateur, sur le serveur de la Fondation Wikimedia, dans le nuage réseau, dans une application sur un appareil mobile, or bien d’autres endroits ; comparer à exécuteur et orchestrateur.
- exécuteur (anglais : executor)
- un membre d’un ensemble de services internes qui ne sont pas exposés au public et qui ne peuvent être appelés que par l’orchestrateur ; ils exécutent du code natif dans un langage de programmation spécifique ; il pourrait y avoir un exécuteur pour Lua, un pour JavaScript, un pour Python, etc. ; voir la documentation du service ; comparer à l’évaluateur et à l’orchestrateur.
F
- fonction, sous-programme (anglais : function)
- la spécification d’un traitement informatique qui prend certaines entrées et retourne un résultat ; voir l’article Sous-programme dans Wikipédia en français.
- appel de fonction (anglais : function call)
- un appel de fonction est un Z-Objet qui consiste en une fonction et les arguments nécessaires à la fonction, et qui peut être évalué en un autre Z-Objet ; en français, le terme « invoqué » est parfois aussi utilisé.
- modèle de fonctions (anglais : function model)
- voir l’article Modèle de fonctions.
- fonctionnel, fonctionnelle (anglais : functional)
- abréviation pour « purement fonctionnel », ce qui signifie que l’évaluation d’une telle fonction n’a aucun effet de bord et est déterministe et produit toujours la même chose ; voir Purely functional programming dans Wikipédia en anglais ; voir le Modèle de fonctions § Fonctions non fonctionnelles.
G
- type générique (anglais : generic type)
- un type généré par l’évaluation d’un appel de fonction.
H
- tête (anglais : head)
- le premier élément d’une liste ; également connu comme CAR ; le reste de la liste est connu comme la queue ou le CDR ; voir phab:T261474.
I
- identité (anglais : identity)
- l’identité d’un type est une instance de la fonction (spécifique) qui évalue vers ce type ; pour un type simple, c’est une référence au type lui-même.
- mise en œuvre (anglais : implementation)
- une façon particulière d’exécuter une fonction. Une mise en œuvre peut être un bout de code dans un certain langage de programmation, se référer à une fonctionnalité « intégrée » à l’évaluateur ou combiner des appels à d’autres fonctions ; une fonction peut avoir de nombreuses mises en œuvre, qui devraient toutes être équivalentes ; raccourci pour « mise en œuvre de Z-Fonction ».
- instance (anglais : instance)
- chaque Z-Objet est une instance de ce type.
- invoquer (anglais : invoke)
- synonyme pour appeler (call en anglais) ; voir le terme appel de fonction.
- élément (anglais : item)
- une entrée dans la base de connaissance de Wikidata ; voir le terme élément dans le glossaire de Wikidata.
J
- JSON (anglais : JSON)
- une sérialisation de données largement utilisée ; consulter l’article JSON dans Wikipédia en français.
K
- clé (anglais : key)
- une chaîne qui se terminé par la lettre K suivie d’un nombre entier naturel et qui est éventuellement précédée par un Z-ID ; les clés sont définies dans Wikifonctions (Wikifunctions en anglais) habituellement sur les types ou fonctions et sont utilisées pour construire des Z-Objets.
L
- libellé (anglais : label)
- nom principal donné pour identifier un Z-Objet ; ne peut être du texte simple.
- lexème (anglais : lexeme)
- une entrée dans Wikidata qui stocke la connaissance lexicographique concernant, en gros, à un mot ; voir le terme lexème dans le glossaire de Wikidata.
- linéarisateur (anglais : linearizer)
- une fonction pour convertir un Z-Objet en une chaîne ; l’inverse de l’analyseur syntaxique (ou « parseur »).
- liste (anglais : list)
- un type de données qui groupe un nombre arbitraire d’instances dans une entité ordonnée ; voir Liste (type de données abstrait) dans Wikipédia en anglais.
- littéral (anglais : literal)
- une valeur qui n’est pas un Z-Objet ; actuellement le seul type de littéral accepté est la chaîne.
- Wikipédia locale (anglais : local Wikipedia)
- une édition de Wikipédia dans une langue spécifique, telle que Wikipédia en hébreu, Wikipédia en japonais ou Wikipédia en italien.
M
- Wikipédia multilingue (anglais : multilingual Wikipedia)
- l’architecture qui permet aux éditions localisées de Wikipédia de s’enrichir elles-mêmes en effectuant le rendu du contenu de la Wikipédia abstraite et qui a donc d’avoir une couverture plus exhaustive, actualisée et correcte de Wikipédia dans leur langue ; voir l’architecture de la Wikipédia abstraite.
N
- langue naturelle, langage naturel (anglais : natural language)
- une langue humaine naturelle spécifique au sens large, telle que l’anglais, le tagalog ou le swahili ; voir l’article Langage naturel dans Wikipédia en français.
- normal, forme normale (anglais : normal)
- une façon étendue, facilement traitable et très uniforme de représenter les Objects Z en JSON ; ce terme s’oppose à canonique.
- rien (anglais : nothing)
- un type de données qui n’a aucune instance ; voir Type « plancher » dans Wikipédia en anglais.
O
- objet (anglais : object)
- en JavaScript ou JSON, un objet est basiquement un tableau associatif.
- orchestrateur (anglais : orchestrator)
- un service qui prend un Z-Objet et en retourne une version évaluée ; pour faire ceci, il fera des appels au wiki pour les autres Z-Objets dont il a besoin, à l’exécuteur pour évaluer certains appels de fonction, ainsi qu’à d’autres services comme Wikidata ; voir la documentation du service ; comparer à l’évaluateur et à l’exécuteur.
P
- page (anglais : page)
- un wiki consiste en un grand nombre de pages individuelles, qui peuvent être modifiées indépendamment.
- analyseur syntaxique (anglais : parser)
- une fonction pour convertir une chaîne en un Z-Objet ; l’opposé du linéarisateur.
- couple (anglais : pair)
- un Z-Objet composé qui contient deux Z-Objets de types spécifiques (mais arbitraires).
- partie P1 (anglais : Part P1)
- la partie du projet de développement qui porte sur la création de Wikifonctions (Wikifunctions en anglais) ; elle commence dès le début du projet et se poursuivra durant sa vie toute entière ; voir la Partie P1 : Wikifonctions.
- partie P2 (anglais : Part P2)
- la partie du projet de développement qui porte sur la création de la Wikipédia abstraite ; elle commencera environ un an après le début du projet et se poursuivra durant toute cette seconde moitié de vie du projet ; voir la Partie P2 : Wikipédia abstraite.
- persistant (anglais : persistent)
- un Z-Objet avec son Z-ID et sa propre page dans le wiki ; la plupart des Z-Objets persistants incluront des valeurs qui sont des Z-Objets sans Z-ID et qui par conséquent sont non persistants.
- propriété (anglais : property)
- utilisé pour réaliser une déclaration concernant un élément dans la base de connaissance de Wikidata ; voir propriété dans le glossaire de Wikidata.
Q
- citation, données statiques (anglais : quote)
- une structure de données qui n’est pas évaluée mais gardée telle quelle.
R
- référence (anglais : reference)
- un identifiant qui désigne l’objet sous-jacent, par exemple la chaîne « Z11 » fait référence au type Z11/Texte monolingue.
Note : Ce terme a un sens complètement différent de celui de Wikidata ; voir Référence (programmation) sur Wikipédia.- moteur de rendu (anglais : renderer)
- une fonction qui prend un contenu et un identifiant d’une langue naturelle en entrée et retourne en résultat du texte dans cette langue naturelle, afin de représenter le contenu en tant que texte concret, en utilisant la connaissance des lexèmes.
- réifier (anglais : reify)
- une fonction qui déconstruit un objet en ses parties constituantes afin que ces parties puissent être accédées individuellement ; voir l’article Réification dans Wikipédia en anglais ; voir phab:T261474.
- LÉAR (anglais : REPL)
- un processus « Lire / Évaluer / Afficher / Répéter », une interface en ligne de commande qui prend une certaine entrée, l’évalue et affiche le résultat ; voir REPL dans Wikipédia en anglais ; voir le Modèle de fonctions.
S
- sérialisation (anglais : serialization)
- façons de représenter les Z-Objets en JSON ; voir également canonique, normal.
- déclaration (anglais : statement)
- utilisé pour fournir de la connaissance concernant un élément dans la base de connaissance de Wikidata ; voir déclaration dans le glossaire de Wikidata.
- chaîne (anglais : string)
- une séquence de caractères.
- type somme (anglais : sum type)
- un type qui a pour des instances de chacun de ses types constituants ; voir Type somme dans Wikipédia en anglais ; voir le Modèle de fonctions.
T
- queue (anglais : tail)
- une liste sans son premier élément ; également connu comme CDR ; le premier élément est connu comme la tête ou le CAR ; voir phab:T261474.
- modèle (anglais : template)
- une façon de spécifier un rendu en tant que texte où sont dispersés des substituts ou « emplacements », qui peuvent être remplis avec des données provenant de constructeurs, du calcul d’une fonction, ou du content d’un autre modèle ; voir le document Langage de modèles pour Wikifonctions pour une discussion détaillée de la syntaxe des modèles.
- testeur (anglais : tester)
- une façon de déterminer automatiquement si une Z-Fonction effectue la chose correcte ; une fonction aura typiquement de multiples testeurs, chacun spécifiant une entrée de la fonction et les conditions que doivent remplir les résultats de sortie pour les entrées données ; par exemple, les testeurs pour une fonction « capitalisation de titre » pourrait inclure que : « abc » devrait devenir « Abc » ; « guerre et paix » devrait devenir « Guerre et paix » ; « le petit prince » devrait devenir « Le Petit prince » ; « война и мир » devrait devenir « Война и мир » ; et « 123 » devrait rester « 123 ».
- transitoire (anglais : transient)
- le contraire de persistant.
- type (anglais : type)
- un type définit les conditions pour qu’un Z-Objet soit une instance valide de ce type, en fournissant une fonction qui valide un Z-Objet ; les types sont eux-mêmes des Z-Objets, afin que les contributeurs de Wikifonctions (Wikifunctions en anglais) puissent créer de nouveaux types.
V
W
- wiki (anglais : wiki)
- un site web qui permet la modification facile et collaborative de ses pages.
- Wikidata (anglais : Wikidata)
- un projet de la Fondation Wikimedia, une base de connaissances libre, modifiée de façon collaborative ; voir Wikidata.
- Wikifonctions (anglais : Wikifunctions)
- nouveau projet de la Fondation Wikimédia ; un catalogue libre de fonctions, développé et maintenu de façon collaborative ; il était initialement connu comme Wikilambda dans la proposition originelle (ce dernier noms n’est plus utilisé que pour l’extension WikiLambda).
- WikiLambda (anglais : WikiLambda)
- le logiciel utilisé pour propulser le projet, Extension:WikiLambda.
- Fondation Wikimédia (anglais : Wikimedia Foundation)
- l’organisation qui soutient le mouvement Wikimedia ; voir la Fondation Wikimedia.
- Wikipédia (anglais : Wikipedia)
- un projet de la Fondation Wikimédia, une encyclopédie libre, modifiée de façon collaborative ; voir Wikipédia.
- Wikipédia abstraite (anglais : Wikipedia, Abstract)
- voir la Wikipédia abstraite.
- Wikipédia multilingue (anglais : Wikipedia, multilingual)
- voir la Wikipédia multilingue.
Z
- Z-ID (anglais : ZID)
- un identifiant commençant par la lettre Z suivie par un entier naturel ; utilisé pour identifier les Z-Objets persistants.
- Z-Fonction, Z-Fonctions (anglais : ZFunction)
- une page wiki sur Wikifonctions (Wikifunctions en anglais) qui décrit une fonction particulière qui peut être utilisées au moyen de l’évaluateur; chaque Z-Fonction peut être réalisée en code par une ou plusieurs mises en œuvre et lesdites mises en œuvre peuvent être vérifiées comme étant correctes par une ou plusieurs Z-Fonctions de type testeur.
- Z-Clé, Z-Clés, Z-Clef, Z-Clefs (anglais : ZKey)
- un Z-Objet qui définit une clé pour un type particulier.
- Z-Liste, Z-Listes (anglais : ZList)
- un Z-Objet pour une séquence ordonnée d’autres Z-Objets.
- Z-Objet, Z-Objets (anglais : ZObject)
- chaque entrée dans Wikifonctions (Wikifunctions en anglais) est un Z-Objet ; les Z-Objets stockés dans Wikifonctions ont leur Z-ID et peuvent être de nombreux types, tels que les constructeurs, les fonctions, les types, etc. ; un Z-Objet consiste en un ensemble de paires clé / valeur, où chaque clé n’apparaît qu’une seule fois par Z-Objet et où les valeurs sont des Z-Objets.
- Z-Unité (anglais : ZUnit)
- un Z-Objet qui représente un type d’unité.