Wikifunctions:Glossario

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

Outdated translations are marked like this.

Sentiti libero di chiedere chiarimenti sui termini nella pagina di discussione o di aggiungerne altri e migliorare le definizioni.

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

astratto (inglese: abstract): non è in un linguaggio naturale specifico, bensì astratto da esso; punta a fornire una notazione per il significato dietro testi, frasi, locuzioni. Opposto di concreto.
AbstractText (inglese: AbstractText): implementazione prototipo dell'idea di Wikifunctions.
contenuto astratto (inglese: abstract content): vedi contenuto.
Abstract Wikipedia (inglese: Abstract Wikipedia): nome preliminare per tutto il Contenuto che può essere usato dalle Wikipedia locali per rappresentare un articolo in linguaggio naturale; attualmente proposto per essere disponibile su Wikidata vicino all'Elemento corrispondente, ma verrà discusso prima della Parte P2 del progetto di sviluppo.
alias (inglese: alias): etichetta o nome alternativo per un oggetto, usata principalmente per trovare l'oggetto.
argomento (inglese: argument): parametro passato in ingresso a una chiamata di funzione
riferimento a un argomento (inglese: argument reference): un riferimento a uno degli argomenti passati in una composizione
array (inglese: array): Molti linguaggi di programmazione prevedono un tipo "array" (matrice o vettore). Su Wikifunctions i suoi corrispettivi sono list e typed list. Vedi anche array di Benjamin.
articolo (inglese: article): una pagina nello spazio principale di Wikipedia, normalmente rappresenta un elemento di Wikipedia.

B

Benjamin array (inglese: Benjamin array): a way to denote typed list proposed by Benjamin Degenhart, where a typed list is stored as a JSON list whose first element denotes the type. This is in contrast with the previous proposed schema, which uses LISP-style singly-linked lists, in which the type must be stored once in each node.
booleano (inglese: boolean): un valore che può avere due stati, generalmente identificati con vero e falso.
integrato (inglese: built-in): un'implementazione nativa di una funzione fornita dall'esecutore e che non è modificabile tramite l'interfaccia wiki.

C

chiamata (inglese: call): vedi chiamata di funzione. Alternativamente si può utilizzare anche il termine invocazione.
canonical, canonicalized, canonicalised (inglese: canonical, canonicalized, canonicalised): a specific, less verbose and thus more readable way to represent ZObjects in JSON; it is the usual representation ZObjects are stored in Wikifunctions. This is opposed to normal.
car (inglese: car): nome alternativo per testa. Vedi anche Car e cdr su Wikipedia e cdr.
cdr (inglese: cdr): nome alternativo per coda. Vedi anche Car e cdr su Wikipedia e car.
carattere (inglese: character): un carattere come definito da Unicode, costituente di una Stringa; un carattere può essere costituito da più byte (o ottetti).
composizione (inglese: composition): forma di implementazione di una funzione, dove l'implementazione è data dalla combinazione di altre funzioni; vedi modello di funzione.
notazione della composizione (inglese: composition notation): una notazione facile da leggere per le composizioni; vedi modello di funzione.
concreto (inglese: concrete): in un linguaggio naturale specifico. Opposto di astratto.
cons (inglese: cons): a function to create a new list by adding an element at the top of it; see phab:T261474. See cons in Wikipedia.
constructor (inglese: constructor): an abstract building block of content. A constructor aims to capture the meaning of a single phrase or sentence structure. It often has slots that can take other constructors, and can itself be used as a value to fill the slots of other constructors.
content, abstract content (inglese: content, abstract content): abstract representation of a text or text fragment, assembled from constructors. Technically, an instance of a constructor. The top level constructor is used to represent a whole article and stored in Abstract Wikipedia, but content can be also for just a sentence or phrase. Sometimes called abstract content.
curried, curry, currying (inglese: 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

deserializzazione (inglese: deserialization): Opposto di serializzazione.
progetto di sviluppo (inglese: development project): a project to develop Wikifunctions and Abstract Wikipedia; see Abstract Wikipedia plan.
display function (inglese: 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.
documentazione (inglese: documentation): testo leggibile da un essere umano che spiega e descrive un oggetto.

E

eneyj (inglese: eneyj)

modello di prototipo di Wikifunctions;
un'implementazione Javascript di un interprete di quel modello fornito come testo astratto.

errore (inglese: error): a type whose instances indicate problems in evaluation or validation; see Function model.
interpretazione (inglese: evaluation): L'azione eseguita dall'interprete.
interprete (inglese: evaluator): una parte di software che prende uno ZObject, lo interpreta, ossia esegue una funzione e ne ritorna il risultato. È previsto lo sviluppo di diversi interpreti. Gli interpreti possono essere implementati ed eseguiti nel browser, nei server di Wikimedia Foundation, in un'app di un dispositivo mobile o in altre locazioni. Confrontare con esecutore e orchestratore.
esecuzione (inglese: execution): Azione compiuta da un esecutore
esecutore (inglese: executor): one of a set of internal services which are not exposed to the public. They can be only called by the orchestrator. They run native code in a specific programming language. There would be one executor for Lua, one for JavaScript, one for Python, etc. See the service documentation. Compare to evaluator and orchestrator.

F

funzione (inglese: function): la specifica di una elaborazione che prevede un ingresso e ritorna un'uscita. Vedi anche Funzione (informatica) su Wikipedia.
chiamata di funzione (inglese: function call): A function call is a ZObject consisting of a function and the required arguments for the function, and can be evaluated to another ZObject. In English, the term "invoke" may also be used.
function evaluator (inglese: function evaluator): See evaluator.
function executor (inglese: function executor): See executor.
function model (inglese: function model): see Function model.
function orchestrator (inglese: function orchestrator): See orchestrator.
function schemata (inglese: 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.
funzionale (inglese: functional): short for "purely functional", meaning that the evaluation of such a function has no side-effects and is deterministic, that is always the same; see Purely functional programming in Wikipedia; see Function model.

G

tipo generico (inglese: generic type): a type generated by evaluation of a function call.

H

testa (inglese: head): il primo elemento di una lista, detto anche car. Il resto della lista è chiamato coda o cdr. Vedi anche phab:T261474.

I

identità (inglese: identity): The identity of a type is an instance of (specific) function that evaluates to the type. For a simple type, it is a reference to the type itself.
implementazione (inglese: implementation): a particular way to execute a function. An implementation may be a piece of code in a certain programming language, refer to functionality “built into” the evaluator, or compose calls to other functions. A function may have many implementations, which should all be equivalent. Short for "ZFunction implementation".
istanza (inglese: instance): Every ZObject is an instance of its type.
invoke (inglese: invoke): synonym for call in English. See function call.
item (inglese: item): an entry in Wikidata's knowledge base; see Item in the Wikidata glossary.

J

JSON (inglese: JSON): a widely used data transfer format; see JSON in Wikipedia.

K

chiave (inglese: key): una stringa che termina con la lettera K seguita da un numero naturale, che può essere preceduta da uno ZID. In Wikifunctions le chiavi sono definite su tipi o funzioni e servono per costruire gli ZObject.

L

etichetta (inglese: label): nome principale usato per identificare uno ZObject. Può essere solo un puro testo.
lessema (inglese: lexeme): an entry in Wikidata storing lexicographic knowledge about, roughly, a word; see Lexeme in the Wikidata glossary.
linearizzatore (inglese: linearizer): una funzione che converte uno ZObject in una stringa. È l'opposto di parser.
lista (inglese: list): tipo di dati che raggruppa un numero arbitrario di istanze in una entità ordinata. Vedi anche Lista (informatica) su Wikipedia.
literal (inglese: literal): un valore che non è uno ZObject. Al momento, l'unico literal accettato è la stringa.
Wikipedia locale (inglese: local Wikipedia): una edizione di Wikipedia scritta in una lingua specifica, come Wikipedia in ebraico, Wikipedia in giapponese o Wikipedia in italiano.

M

multilingual Wikipedia (inglese: multilingual Wikipedia): the architecture that allows local Wikipedias to enrich themselves by rendering the Content from Abstract Wikipedia and thus have a more comprehensive, current, and correct Wikipedia in their language; see Abstract Wikipedia architecture.

N

linguaggio naturale (inglese: natural language): uno specifico linguaggio naturale nel senso più ampio, come per esempio inglese, tagalog o swahili. Vedi anche Linguaggio naturale su Wikipedia.
normale (inglese: normal): an extended, easily processable and very uniform way to represent ZObjects in JSON. This is opposed to canonical.
nulla (inglese: nothing): un tipo di dato che non può avere istanze. Vedi anche Bottom type su Wikipedia in lingua inglese.

O

oggetto (inglese: object)

In JavaScript o JSON, un oggetto è sostanzialmente un array associativo. Vedi Array associativo su Wikipedia.
In Wikifunctions, è sinonimo di Zobject

orchestration (inglese: orchestration): The action performed by the orchestrator.
orchestrator (inglese: orchestrator): a service that takes a ZObject and returns an evaluated version of it. To do this, it will make calls to the wiki for other ZObjects it needs, to the executor to evaluate some function calls, and other services such as Wikidata. See the service documentation. Compare to evaluator and executor.

P

pagina (inglese: page): Una parte di una wiki. Una wiki è composta da un numero di pagine individuali che possono essere modificate in modo independente, avere collegamenti interni tra loro ecc.
parser (inglese: parser): una funzione che converte una stringa in uno ZObject. È l'opposto di linearizzatore.
coppia (inglese: pair): uno ZObject composto che contiene due ZObject di un tipo arbitrario specifico.
Part P1 (inglese: Part P1): the part of the development project that deals with creating Wikifunctions. It starts at the beginning of the project and goes on throughout its whole lifetime; see Part P1: Wikifunctions.
Part P2 (inglese: Part P2): the part of the development project that deals with creating Abstract Wikipedia. It starts after about a year in the project and goes on throughout the second half of its lifetime; see Part P2: Abstract Wikipedia.
persistente (inglese: persistent): a ZObject with a ZID and with its own page in the wiki. Most persistent ZObjects will include values that are ZObjects with no ZID, and are therefore not persistent.
proprietà (inglese: property): used to make a statement about an Item in Wikidata's knowledge base; see Property in the Wikidata glossary.

Q

citazione (inglese: quote): una struttura dati che non viene elaborata ma mantenuta così come è scritta.
QID (inglese: QID): identifier for an item in Wikidata, comprising the letter "Q" followed by an integer.

R

reading function (inglese: 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'.
riferimento (inglese: reference): un ID che denota un oggetto associato. Per esempio, la stringa "Z11" fa riferimento al Tipo Z11/Testo monolingue.; Note: This term has a completely different meaning than on Wikidata; see Reference (computer science) in Wikipedia.
renderer (inglese: renderer) (1): a function to convert a ZObject to a string. The opposite of parser. (formerly called "linearizer")
renderer (inglese: renderer) (2): a function that gets a content and an identifier for a natural language as an input and returns text in that natural language as output, representing the content as concrete text, using knowledge from lexemes.; 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.
reify (inglese: reify): a function that deconstructs an object into its constituent parts so that the parts can be individually accessed; see Reification in Wikipedia; see phab:T261474.
REPL (inglese: REPL): a Read / Eval / Print - Loop, a command line interface that takes some input, evaluates it, and displays the result; see REPL in Wikipedia; see Function model.

S

schemata (inglese: schemata): See function schemata.
serializzazione (inglese: serialization): Ways to represent ZObjects in JSON; see also canonical, normal.
dichiarazione (inglese: statement): used to provide knowledge about an Item in Wikidata's knowledge base; see Statement in the Wikidata glossary.
stringa (inglese: string): una sequenza di caratteri.
sum type (inglese: sum type): a type that can have instances of any of its constituent types; see Sum type in Wikipedia; see Function model.

T

coda (inglese: tail): una lista priva del suo primo elemento, detta anche cdr. Il primo elemento è chiamato testa o car. Vedi anche phab:T261474.
template (inglese: 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.
tester (inglese: tester): a way to automatically determine if a given ZFunction is doing the right thing. A function will typically have multiple testers, each specifying some input to the function and conditions the output for the given input must fulfil. For example, testers for a “title case” function might include: “abc” should become “Abc”; “war and peace” should become “War and Peace”; “война и мир” should become “Война и мир”; and “123” should remain “123”.
transitorio (inglese: transient): Opposto di persistente.
tipo (inglese: type): Il tipo di un oggetto indica come tale oggetto deve essere interpretato e inteso e cosa è possibile fare con tale oggetto. Per esempio, un oggetto il cui valore è "2023" viene inteso in modo diverso a seconda se il suo tipo sia un numero intero, un anno o una stringa. Ogni oggetto fa riferimento a "una cosa nel mondo reale". Il numero intero 2023 è una cosa diversa dall'anno 2023. Il tipo indica come va interpretato l'oggetto, così che si possa capire a quale cosa del mondo reale esso sia associato. Tecnicamente, definisce come gli oggetti di un determinato tipo debbano essere strutturati e quali condizioni devono soddisfare per essere considerati oggetti validi di quel tipo. Un tipo definisce le condizioni per cui uno Zobject si possa considerare una sua istanza valida, tramite una funzione che validi lo ZObject. Anche i tipi sono a loro volta ZObject, quindi i contributori a Wikifunctions possono creare nuovi tipi.
convertitore di tipo (inglese: type converter): Uno script scritto in un qualsiasi linguaggio di programmazione (come per esempio JavaScript) che a partire da un oggetto nativo (per esempio BigInt) ritorna un oggetto JSON che rappresenta lo ZObject corrispondente (o viceversa).
typed list (inglese: typed list): A typed list is a list in which all members of the list are of a specific, predefined type. For example, a typed list of strings is a list in which all members of the list are strings. A typed list takes one argument: the type that all the members of the list have to be an instance of. Typed lists are probably the most widely used generic type.

V

valore (inglese: value): la stringa o lo ZObject associato a una chiave in un altro ZOBject.
validazione (inglese: validation): Azione compiuta dal validatore
validatore (inglese: validator): Una funzione che ha per argomento uno ZObject e ritorna una lista di errori rilevati.

W

wiki (inglese: wiki): un sito web che consente una modifica facile e collaborativa delle sue pagine.
Wikidata (inglese: Wikidata): a project of the Wikimedia Foundation, a free, collaboratively edited knowledge base; see Wikidata.
Wikifunzioni (inglese: Wikifunctions): new project of the Wikimedia Foundation; a free, collaboratively developed and maintained catalog of functions. It was initially known as Wikilambda in the original proposal (that name is now used for the WikiLambda extension).
WikiLambda (inglese: WikiLambda): the software used to power the project, Extension:WikiLambda.
WikiLambda system (inglese: WikiLambda system): an automated system account that is a key part of the WikiLambda extension. See User:WikiLambda system for its current function.
Wikimedia Foundation (inglese: Wikimedia Foundation): organization that supports the Wikimedia movement; see Wikimedia Foundation.
Wikipedia (inglese: Wikipedia): a project of the Wikimedia Foundation, a free, collaboratively edited encyclopedia; see Wikipedia.
Wikipedia, Abstract (inglese: Wikipedia, Abstract): see Abstract Wikipedia.
Wikipedia, multilingual (inglese: Wikipedia, multilingual): see multilingual Wikipedia.

Z

ZID (inglese: ZID): un identificativo (ID) che inizia con la lettera Z seguita da un numero naturale. Si usa per identificare ZObject persistenti.
ZFunction (inglese: ZFunction): a wiki page on Wikifunctions that describes a particular function that can be used through the evaluator. Each ZFunction can be realised in code by one or more Implementations, and said implementations can be verified as correct by one or more Tester ZFunctions.
ZKey (inglese: ZKey): uno ZObject che definisce una chiave per un tipo specifico.
ZList (inglese: ZList): uno ZObject che rappresenta una sequenza ordinata di altri ZObject.
ZObject (inglese: ZObject): every entry in Wikifunctions is a ZObject. ZObjects stored in Wikifunctions have ZIDs and can be of numerous types, such as Constructors, Functions, Types, etc. A ZObject consists of a set of Key/Value pairs, with each Key appearing only once per ZObject and Values being ZObjects.
ZUnit (inglese: ZUnit): un oggetto Z che rappresenta un tipo unità.