Wikifunctions:Glossaire

This page is a translated version of the page Wikifunctions:Glossary and the translation is 100% complete.

A

abstrait (anglais : abstract): non exprimé(e) dans un langage naturel spécifique mais sous une forme abstraite ; qui vise à fournir une notation pour la signification sous-entendue dans les textes, phrases ou expressions en langage naturel. Contraire de concret.
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 un langage naturel ; 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.
argument (anglais : argument): une entrée donnée à un appel de fonction.
Référence de l'argument (anglais : argument reference): une référence à l'un des arguments fournis dans une composition.
tableau (anglais : array): De nombreux langages de programmation ont un type "array". Les équivalents dans Wikifunctions sont les listes et les listes typées. Voir aussi Benjamin array.
article (anglais : article): une page dans l’espace principal de Wikipédia, qui représente habituellement une entrée dans Wikipédia.

B

Réseau Benjamin (anglais : Benjamin array): une façon de désigner les listes typées proposée par Benjamin Degenhart, où une liste typée est stockée sous la forme de liste JSON dont le premier élément indique le type. Cela contraste avec le schéma proposé précédemment, qui utilise des listes à lien unique de type LISP, dans lesquelles le type doit être stocké une fois dans chaque nœud.
booléen (anglais : boolean): une valeur qui peut avoir 2 états, généralement désignée par vrai et faux.
intégré (anglais : built-in): implémentation 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, les termes invoquer ou invocation peuvent également être utilisés.

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.

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.

affirmation (anglais : claim)

Dans le modèle de données Wikibase une affirmation est un snak principal avec des qualifieurs optionnels décrivant une assertion sur une entité (sans référence ni rang).

Exemple : Entité : Albert Einstein

Affirmation : Epouse = Mileva Marić, depuis 1903
Affirmation principale : P26 (épouse) → Q937 (Mileva Marić)
Snak qualifieur : P580 (depuis) → 1903

→ "L'épouse de Albert Einstein était Mileva Marić, depuis 1903.”

L'affirmation peut ensuite se transformer en déclaration en ajoutant une référence et un rang.

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 (anglais : concrete)

exprimé(e) dans un langage naturelle spécifique. Contraire de abstrait.

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 résumé de contenu. Un constructeur vise à capturer le sens d’une seule phrase ou d’une seule structure de phrase. Il a souvent des emplacements qui peuvent prendre d’autres constructeurs, et peut lui-même être utilisé comme valeur pour remplir les emplacements d’autres constructeurs.

contenu, contenu abstrait (anglais : content, abstract content)

représentation abstraite d’un texte ou d’un fragment de texte, assemblé à partir de constructeurs ; techniquement, une instance de constructeur; 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 une 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 la Wikipédia en anglais.

D

désérialisation (anglais : deserialization): 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.
fonction d’affichage (anglais : display function): un synonyme de renderer. Par exemple, une fonction qui convertit un type en une chaîne que les utilisateurs peuvent comprendre, comme la conversion d’un nombre 123456 en « 123,456 » en anglais (international), « 1,23,456 » en anglais indien, « 123.456 » en français, etc., ou la conversion de la date '2024', '03'', '12' en '2024-03-12', etc.
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 dont les instances indiquent des problèmes dans évaluation ou validation ; voir Modèle de fonction.

évaluation (anglais : evaluation)

Action effectuée par l'évaluateur.

évaluateur (anglais : evaluator)

un bloc logiciel qui prend un Z-Objet et qui l’évalue, c’est-à-dire qui exécute une fonction et renvoie 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 avec l'exécuteur et l'orchestrateur.

exécution (anglais : execution)

Action effectuée par l'exécuteur.

exécuteur (anglais : executor)

c'est 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 ; il exécute du code natif dans un langage de programmation spécifique ; il pourrait y avoir un exécuteur pour Lua, un autre 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 renvoie 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 qui lui sont nécessaires, et qui peut être évalué en un autre Z-Objet ; en français, le terme « invoqué » est parfois aussi utilisé.
Évaluateur de fonction (anglais : function evaluator): Voir évaluateur.
exécuteur de fonction (anglais : function executor): Voir l'exécuteur.
modèle de fonctions (anglais : function model): voir Modèle de fonctions.
Orchestrateur de fonctions (anglais : function orchestrator): Voir l'orchestrateur.
schémas de fonction (anglais : function schemata): un ensemble de ZObjects prédéfinis utilisés dans l'orchestrateur et l'évaluateur. Le compte système WikiLambda remplit également des ZObjects prédéfinis sur le wiki à partir de schémas de fonction.
fonctionnel, fonctionnelle (anglais : functional): raccourci pour « purement fonctionnel », c’est-à-dire que l'évaluation d’une telle fonction n’a pas d’effets secondaires et est déterministe, c’est-à-dire toujours la même ; voir Programmation purement fonctionnelle dans Wikipédia ; voir aussi Modèle de fonction.

G

type générique (anglais : generic type): Un type généré par l'évaluation d’un appel de fonction.

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 manière particulière d’exécuter une fonction. Une implémentation peut être un morceau de code dans un certain langage de programmation, faire référence à des fonctionnalités « intégrées » dans l'évaluateur, ou composer des appels à d’autres fonctions. Une fonction peut avoir de nombreuses implémentations, qui doivent toutes être équivalentes. Abréviation de "ZFunction".
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 Wikidata.

J

JSON (anglais : JSON): un format de transfert de données largement utilisé ; voir JSON dans Wikipédia.

K

clé (anglais : key): une chaîne qui se termine 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 les 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 de Wikidata qui stocke la connaissance lexicographique concernant, en gros, à un mot ; voir le terme lexème dans le glossaire Wikidata.
linéarisateur (anglais : linearizer): (ce terme n’est plus utilisé dans la terminologie actuelle, mais peut encore être trouvé dans des documents plus anciens) synonyme de renderer (1).
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 abstraites) 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 de caractères.
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 une couverture plus exhaustive, plus actualisée et plus correcte de la Wikipédia dans les langues ; voir l’architecture de la Wikipédia abstraite.

N

langage naturel (anglais : natural language): un langage naturel spécifique au sens large, telle que l’anglais, le tagalog ou le swahili ; voir l’article Langage naturel sur la Wikipédia en français.
normal (anglais : normal): une façon étendue, facilement traitable et très uniforme de représenter les Z-Objects 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 en JSON, un objet est basiquement un tableau associatif.
Dans Wikifunctions, synonyme de Z-Objet.

orchestration (anglais : orchestration)

Action effectuée par l'orchestrateur.

orchestrateur (anglais : orchestrator)

un service qui prend un ZObject et renvoie une version évaluée de celui-ci. Pour ce faire, il fera des appels au wiki pour d’autres ZObjects dont il a besoin, à l'exécuteur pour évaluer certains appels de fonction, et à d’autres services tels que Wikidata. Voir la documentation du service. Comparer à l'évaluateur et l'exécuteur.

P

page (anglais : page): une partie d’un wiki. Un wiki se compose d’un certain nombre de pages individuelles, qui peuvent être modifiées indépendamment, avoir des liens internes les unes vers les autres, etc.
analyseur syntaxique (anglais : parser): une fonction pour convertir une chaîne de caractères en ZObject. L’opposé de renderer.
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 : Wikifunctions.
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 ne sont pas 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.
QID (anglais : QID): identifiant pour un élément dans Wikidata, composé de la lettre Q suivie d'un nombre entier.

R

fonction de lecture (anglais : reading function): un synonyme de parser. Fonction qui convertit la saisie de texte de l’utilisateur à partir d’une chaîne en un type donné. Par exemple, convertir la chaîne « 123456 » en nombre 123456 », ou la chaîne « 2024-03-12 » en date « 2024 », « 03 », « 12 ».
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) (1): une fonction pour convertir un ZObject en une chaîne de caractères. L’opposé de parser (anciennement appelé « linéariseur »).
Rendu (anglais : renderer) (2): une fonction qui prend un contenu et un identifiant de langue naturelle en entrée et renvoie 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.; Note : Il s’agit d’une fonctionnalité future, et la signification du terme « renderer » dans la proposition originale ; ce terme entre en conflit avec l’utilisation actuelle de « renderer », il peut donc être renommé à l’avenir.
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

Régimes (anglais : schemata): Voir schéma de fonction.
sérialisation (anglais : serialization): façons de représenter les Z-Objets en JSON ; voir également canonique, normal.
snak (anglais : snak): Dans le Modèle de données Wikibase, un snak est la plus petite unité d'une déclaration, reliant une propriété soit à une valeur, à aucune valeur ou à une certaine valeur.; Exemple de déclaration pour Albert Einstein (Q937) avec 3 snaks :; Snak principal :; Propriété : conjoint ou conjointe (P26) → Valeur : Mileva Marić (Q76346); Snak qualifieur (ajoute le contexte) :; Propriété : date de début (P580) → Valeur : 1903; Snak de référence (prend en charge l'affirmation) :; Propriété : affirmé dans (P248) → Valeur : Catalogue de la Bibliothèque nationale allemande (Q23833686); Déclaration résultante (avec des mots) : L'épouse d'Albert Einstein était Mileva Marić, à partir de 1903, comme indiqué dans le Catalogue de la Bibliothèque nationale allemande.
déclaration (anglais : statement): utilisé pour représenter une assertion à propos d'un élément de la base de connaissance de Wikidata ; voir Déclaration dans le glossaire de Wikidata (mais noter qu'une affirmation sans référence est encore représentée en tant que déclaration Wikidata (Z6003)).
chaîne (anglais : string): une séquence de caractères.
type somme (anglais : sum type): un type qui a des instances tout types de constituants ; voir Type somme dans Wikipédia en anglais ; voir le Modèle de fonctions.

T

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 de fonction, ou du contenu d’un autre modèle. Voir le document Langage de modèles pour Wikifonctions pour une discussion détaillée sur la syntaxe des modèles.
testeur (anglais : tester): une façon de déterminer automatiquement si une Z-Fonction travaille correctement ; 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 du titre » pourraient dire 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): contraire de persistant.
type (anglais : type): Le type d'un objet nous indique comment interpréter et comprendre l'objet donné, et ce qui peut être fait avec l'objet. Par exemple, si nous avons un objet avec la valeur "2023", nous comprenons cet objet différemment selon que son type est un entier, une année ou une chaîne de caractères. Chaque objet fait référence à "une chose dans le monde réel". L'entier 2023 est différent de l'année 2023. Le type nous indique comment interpréter un objet donné, afin que nous sachions à quelle chose du monde réel il fait référence. Techniquement, il définit la structure des objets de ce type et les conditions qu'ils doivent remplir pour être un objet valide de ce 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.
convertisseur de type (anglais : type converter): Un script écrit dans un langage de programmation (tel que JavaScript), prenant un objet natif (tel que BigInt) et renvoyant un objet JSON représentant le ZObject correspondant ; ou « vice versa ».
liste typée (anglais : typed list): Une liste typée est une liste dont tous les membres sont d'un type spécifique et prédéfini. Par exemple, une liste typée de chaînes est une liste dont tous les membres sont des chaînes. Une liste typée prend un argument : le type dont tous les membres de la liste doivent être une instance. Les listes typées sont probablement les type générique les plus utilisés.

V

valeur (anglais : value): la chaîne ou le Z-Objet associé avec une clé dans un autre Z-Objet.
validation (anglais : validation): Action effectuée par le validateur.
validateur (anglais : validator): une fonction qui prend un Z-Objet en argument et renvoie une liste des erreurs trouvées.

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 nom n’est plus utilisé que pour l’extension WikiLambda).
WikiLambda (anglais : WikiLambda): logiciel utilisé pour propulser le projet, Extension:WikiLambda.
Système WikiLambda (anglais : WikiLambda system): un compte système automatisé qui est un élément clé de l’extension WikiLambda. Voir User:WikiLambda system pour sa fonction actuelle.
Fondation Wikimédia (anglais : Wikimedia Foundation): organisation qui soutient le mouvement Wikimedia ; voir la Fondation Wikimedia.
Wikipédia (anglais : Wikipedia): 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 d'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 implémentations qui peuvent être vérifiées chacunes comme étant correctes par une ou plusieurs Z-Fonctions testeur.
Z-Clé, Z-Clés, Z-Clef, Z-Clefs (anglais : ZKey): Z-Objet définissant une clé pour un type particulier.
Z-Liste, Z-Listes (anglais : ZList): Z-Objet pour une séquence ordonnée d’autres Z-Objets.
Z-Objet, Z-Objets (anglais : ZObject): chaque entrée de 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): Z-Objet qui représente un type d’unité.