Wikipédia abstraite/Glossaire

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

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 locales 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 appel de fonction. En anglais, 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 CAR et CDR sur Wikipédia en anglais ; voir également CDR.

CDR (anglais : cdr)

nom alternatif pour « queue », sigle en anglais introduit dans le langage de programmation Lisp : voir CAR et CDR dans Wikipédia en anglais ; voir également 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 fonction.

notation de composition (anglais : composition notation)

une notation facile à lire pour les compositions  ; voir Modèle de fonction.

concret, concrète (anglais : concrete)

exprimé(e) dans une langue humaine spécifique ; le contraire de abstrait, abstraite.

cons (anglais : cons)

une fonction pour créer une nouvelle liste en ajoutant un élément en tête d’une autre ; voir phab:T261474. See cons in Wikipedia.

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 ».

curried, curry, currying (anglais : curried, curry, currying)

A curried function is a function that was translated from taking multiple arguments into a sequence of functions, each with a single argument. This technique is named after the American mathematician Haskell Curry. See Currying in Wikipedia.

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)

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 Modèle de fonction.

é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, ou 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 the 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.

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 fonction (anglais : function model)

voir Modèle de fonction.

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 ; voir Modèle de fonction § 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 appel de fonction.

élément (anglais : item)

une entrée dans la base de connaissance de Wikidata ; voir é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.

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 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.

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.

normal, forme normale (anglais : normal)

une façon étendue, facilement traitable et très uniforme de représenter les Objects Z en JSON. Ceci s’oppose à canonique.

rien (anglais : nothing)

un type de données qui n’a aucune instance ; voir Type « plancher » dans Wikipédia.

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 le 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 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 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 Réification dans Wikipédia ; 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 fonction.

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 ; voir Modèle de fonction.

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.

template (anglais : template)

a way to specify a renderer as text interspersed with place-holders, or slots, which can be filled with data from constructors, function calculation, or content from another template. See the document Template Language for Wikifunctions for a detailed discussion of the template syntax.

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 » ; « le petit prince » devrait devenir « Le Petit prince » ; « война и мир » devrait devenir « Война и мир » ; et « 123 » devrait rester « 123 ».

transitoire (anglais : transient)

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

valeur (anglais : value)

la chaîne ou le Z-Objet associé avec une clé dans un autre Z-Objet.

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..

Fondation Wikimédia (anglais : Wikimedia Foundation)

l’organisation qui soutient le mouvement Wikimedia ; voir 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 Wikipédia abstraite.

Wikipédia multilingue (anglais : Wikipedia, multilingual)

voir 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.

ZUnit (anglais : ZUnit)

a ZObject that represents a Unit type.