Wikifunctions:Glossaire

From Wikifunctions
This page is a translated version of the page Wikifunctions:Glossary and the translation is 82% complete.
Outdated translations are marked like this.

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 (anglais : abstract)
non exprimé(e) dans un langage naturel spécifique mais dans 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 function call.
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 list et typed list. 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

Benjamin array (anglais : Benjamin array)
une façon de désigner typed list proposée par Benjamin Degenhart, où une liste typée est stockée sous la forme d'une 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 vrai et faux.
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 (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 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.
display function (anglais : display function)
a synonym of renderer. For example, a function that converts a type into a string that users can understand, such as converting a Number 123456 to "123,456" in (International) English, "1,23,456" in Indian English, "123.456" in French, etc., or converting the Date '2024','03','12' to '2024-03-12', and so on.
documentation (anglais : documentation)
texte qui explique un objet dans un langage lisible par un humain.

E

eneyj (anglais : eneyj)
  1. modèle prototype de Wikifonctions (Wikifunctions en anglais) ;
  2. 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.
evaluation (anglais : evaluation)
The action performed by the evaluator.
é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.
execution (anglais : execution)
The action performed by the executor.
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é.
function evaluator (anglais : function evaluator)
See evaluator.
function executor (anglais : function executor)
See executor.
modèle de fonctions (anglais : function model)
voir Modèle de fonctions.
function orchestrator (anglais : function orchestrator)
See orchestrator.
function schemata (anglais : function schemata)
a set of pre-defined ZObjects used in orchestrator and evaluator. The WikiLambda system account also populates pre-defined ZObjects on-wiki from function schemata.
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

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 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)
  1. en JavaScript ou JSON, un objet est basiquement un tableau associatif.
  2. Dans Wikifonctions, synonyme de Z-Objet.
orchestration (anglais : orchestration)
The action performed by the orchestrator.
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.
QID (anglais : QID)
identifiant pour un élément dans Wikidata, composé de la lettre Q suivie d'un nombre entier.

R

reading function (anglais : reading function)
a synonym of parser. A function that converts user text input from a string into a given Type. For example, converting the String "123456" to the Number '123456', or the string "2024-03-12" to the 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 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)
a function to convert a ZObject to a string. The opposite of parser. (formerly called "linearizer")
renderer (anglais : renderer) (2)
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.
Note Note : This is a future feature, and the meaning of the term "renderer" in the original proposal; this term collides with the current usage of "renderer", so it may be renamed in the future.
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

schemata (anglais : schemata)
See function schemata.
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)
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.
type converter (anglais : type converter)
A script written in some programming language (such as JavaScript), taking a native object (such as BigInt), and returning a JSON object representing the corresponding ZObject; or 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)
The action performed by the validator.
validateur (anglais : validator)
une fonction qui prend un Z-Objet en argument et retourne 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 noms n’est plus utilisé que pour l’extension WikiLambda).
WikiLambda (anglais : WikiLambda)
le logiciel utilisé pour propulser le projet, Extension:WikiLambda.
WikiLambda system (anglais : WikiLambda system)
an automated system account that is a key part of the WikiLambda extension. See User:WikiLambda system for its current function.
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é.