Wikipédia abstrata/Glossário

From Meta, a Wikimedia project coordination wiki
Jump to navigation Jump to search
This page is a translated version of the page Abstract Wikipedia/Glossary and the translation is 49% complete.
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


abstrato, abstrata (inglês : abstract)
não em uma linguagem natural específica, mas abstraindo dela; com o objetivo de fornecer uma notação para o significado por trás de textos, sentenças ou frases em linguagem natural. O oposto de concreto.
TextoAbstrato (inglês : AbstractText)
protótipo de implementação da ideia do Wikifunções.
conteúdo abstrato (inglês : abstract content)
consulte conteúdo.
Wikipédia abstrata (inglês : Abstract Wikipedia)
nome preliminar de todos os conteúdo que pode ser usado por Wikipédias para rederizar um artigo na linguagem natural; atualmente proposto para viver no Wikidata próximo ao Item correspondente, correspondente, mas isso será discutido antes da Parte P2 do projeto de desenvolvimento.
alias (inglês : alias)
um rótulo alternativo para um objeto, usado principalmente para localizar o objeto.
artigo (inglês : article)
uma página no espaço nominal principal de Wikipédia, geralmente representando uma entrada na Wikipédia.


integrado (inglês : built-in)
uma implementação nativa de uma função fornecida pelo avaliador e que não pode ser editada por meio da interface wiki.


chamada (inglês : call)
see function call. In English, the term invoke or invocation may also be used.
canônico, canônica (inglês : 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 (inglês : car)
nome alternativo de cabeça; veja CAR e CDR na Wikipédia. Veja também cdr.
cdr (inglês : cdr)
alternative name for tail; see CAR and CDR in Wikipedia. See also car.
character (inglês : character)
a character as defined by Unicode, a constituent of a String; a character can consist of several bytes (or octets).
composition (inglês : composition)
a form of implementation of a function, where the implementation is given by the combination of other functions; see Function model.
composition notation (inglês : composition notation)
an easy-to-read notation for compositions; see Function model.
concreto, concreta (inglês : concrete)
em uma linguagem natural específica. O oposto de abstrato, abstrata.
cons (inglês : cons)
a function to create a new list by adding an element at the top of it; see phab:T261474. See cons in Wikipedia.
construtor (inglês : constructor)
an abstract building block of content; a constructor aims to capture the meaning of a single phrase or sentence structure and often has slots that can take other constructors, and can itself be used as a value to fill the slots of other constructors.
conteúdo, conteúdo abstrato (inglês : content, abstract content)
abstract representation of a text or text fragment, assembled from constructors. Technically, an instantiated 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.


deserialization (inglês : deserialization)
Opposite of serialization.
projeto de desenvolvimento (inglês : development project)
um projeto para desenvolver Wikifunções e Wikipedia abstrata; veja Plano da Wikipedia abstrata.
documentation (inglês : documentation)
human-readable text explaining an object.


eneyj (inglês : eneyj)
  1. modelo de protótipo de Wikifunções;
  2. a JavaScript implementation of an evaluator of that model provided in abstracttext.
error (inglês : error)
a type whose instances indicate problems in evaluation or validation; see Function model.
avaliador (inglês : evaluator)
a piece of software that takes a ZObject and evaluates it, that is executes a Function and returns the result. We envision the development of several evaluators. Evaluators may be implemented and run in the browser, on the server of the Wikimedia Foundation, in the cloud, in an app on a mobile device, or other places. Compare to executor and orchestrator.
executor (inglês : 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.


função (inglês : function)
the specification of a computation that takes some input and returns output; see Function (computer science) in Wikipedia.
function call (inglês : 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 model (inglês : function model)
see Function model.
functional (inglês : 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.


generic type (inglês : generic type)
a type generated by evaluation of a function call.


head (inglês : head)
the first element of a list. Also known as car. The rest of the list is known as tail or cdr. See phab:T261474.


identity (inglês : 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.
implementação (inglês : 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 combine calls to other functions. A function may have many implementations, which should all be equivalent. Short for "ZFunction implementation".
instance (inglês : instance)
Every ZObject is an instance of its type.
invoke (inglês : invoke)
synonym for call in English. See function call.
item (inglês : item)
an entry in Wikidata's knowledge base; see Item in the Wikidata glossary.


JSON (inglês : JSON)
a widely used data serialization; see JSON in Wikipedia.


chave (inglês : key)
a string which ends with the letter K followed by a natural number, and is optionally preceded by a ZID. Keys are defined in Wikifunctions usually on Types or Functions, and are used to build up ZObjects.


label (inglês : label)
main name given to identify a ZObject. May only be plain text.
lexema (inglês : lexeme)
an entry in Wikidata storing lexicographic knowledge about, roughly, a word; see Lexeme in the Wikidata glossary.
linearizer (inglês : linearizer)
a function to convert a ZObject to a string. The opposite of parser.
list (inglês : list)
a data type that groups an arbitrary number of instances in an ordered entity; see List (abstract data type) in Wikipedia.
literal (inglês : literal)
a value that is not a ZObject. Currently the only accepted literal is string.
Wikipédia local (inglês : local Wikipedia)
a Wikipedia in a specific language, such as Hebrew Wikipedia, Japanese Wikipedia, or Italian Wikipedia.


Wikipédia multilíngue (inglês : 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.


linguagem natural (inglês : natural language)
uma língua natural específica no sentido mais amplo, como inglês, tagalo ou suaíli; veja linguagem natural na Wikipédia.
normal (inglês : normal)
an extended, easily processable and very uniform way to represent ZObjects in JSON. This is opposed to canonical.
nothing (inglês : nothing)
a data type that can have no instances; see Bottom type in Wikipedia.


objeto (inglês : object)
In JavaScript or JSON, an object is basically an associative array; see Associative array in Wikipedia.
orquestrador (inglês : 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ágina (inglês : page)
a wiki consists of a number of individual pages, which can be edited independently.
parser (inglês : parser)
a function to convert a string to a ZObject. The opposite of linearizer.
par (inglês : pair)
a compound ZObject that contains two ZObjects of specific (but arbitrary) type.
Parte P1 (inglês : 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.
Parte P2 (inglês : 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 (inglês : 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.
propriedade (inglês : property)
used to make a statement about an Item in Wikidata's knowledge base; see Property in the Wikidata glossary.


citações (inglês : quote)
uma estrutura de dados que não deve ser avaliada, mas mantida literalmente.


referências (inglês : reference)
an ID denoting the underlying object. For example, the string "Z11" refers to the Type Z11/Monolingual text.
Note Note : This term has a completely different meaning than on Wikidata; see Reference (computer science) in Wikipedia.
renderizador (inglês : renderer)
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.
reify (inglês : 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 (inglês : 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.


serialização (inglês : serialization)
Ways to represent ZObjects in JSON; see also canonical, normal.
declaração (inglês : statement)
used to provide knowledge about an Item in Wikidata's knowledge base; see Statement in the Wikidata glossary.
string (inglês : string)
uma sequência de caracteres.
tipo suma (inglês : sum type)
a type that can have instances of any of its constituent types; see Sum type in Wikipedia; see Function model.


cauda (inglês : tail)
a list without its first element. Also known as cdr. The first element is known as head or car. See phab:T261474.
template (inglês : 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.
testador (inglês : 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”.
transitório (inglês : transient)
Oposto de persistente.
tipo (inglês : type)
a type defines the conditions for a ZObject to be a valid instance of this type, by providing a function that validates a ZObject. Types are ZObjects themselves, so that contributors of Wikifunctions can create new types.


valor (inglês : value)
the string or ZObject associated with a key in another ZObject.
validador (inglês : validator)
Uma função que recebe um ZObject como argumento e retorna uma lista de erros encontrados.


wiki (inglês : wiki)
um site que permite a edição fácil e colaborativa de suas páginas.
Wikidata (inglês : Wikidata)
a project of the Wikimedia Foundation, a free, collaboratively edited knowledge base; see Wikidata.
Wikifunctions (inglês : 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 (inglês : WikiLambda)
o software usado para alimentar o projeto, Extension:WikiLambda.
Fundação Wikimedia (inglês : Wikimedia Foundation)
organização que apóia o movimento Wikimedia; Veja Fundação Wikimedia.
Wikipédia (inglês : Wikipedia)
um projeto da Fundação Wikimedia, uma enciclopédia livre editada em colaboração; Vejo Wikipedia.
Wikipédia, Abstrata (inglês : Wikipedia, Abstract)
consulte Wikipédia abstrata.
Wikipédia, multilíngue (inglês : Wikipedia, multilingual)
consulte Wikipédia multilíngue.


ZID (inglês : ZID)
an ID starting with the letter Z and followed by a natural number. Used to identify persistent ZObjects.
ZFunção (inglês : 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.
ZChave (inglês : ZKey)
O ZObjeto definindo uma chave para um determinado tipo.
ZLista (inglês : ZList)
um ZObjeto para uma sequência ordenada de outros ZObjetos.
ZObjeto (inglês : 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.