Jump to content

Wikifunctions:Glossary/dag

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

Tim a maŋ suhiʒia ka bɔhi zaŋ jandi zalikpani shɛŋa din be yɛligu yaɣili, bee ka a pahi zalikpana ka leei nii di ni nyɛ shɛm sɔŋ.

A

abstract (English: abstract)
not in a specific natural language but abstracting from it; aiming to provide a notation for the meaning behind natural language texts, sentences, or phrases. The opposite of concrete.
AbstractText (English: AbstractText)
prototype implementation of the Wikifunctions idea.
abstract content (English: abstract content)
Lihimi lahabali
Abstract Wikipidia (English: Abstract Wikipedia)
preliminary name of all the Content that can be used by local Wikipedias to render an article in natural language; currently proposed to live in Wikidata next to the corresponding Item, but that will be discussed before Part P2 of the development project.
ŋmali (English: alias)
an alternative label for an object, used foremost to find the object.
nangbankpeeni (English: argument)
an input given to a function call.
nangbankpeeni kundivihira (English: argument reference)
kundivihira zaɣ'yini zaŋ nangbankpeeni din niŋ yɛltɔɣa maa ni.
array (English: array)
Many programming languages have an "array" type. The counterparts in Wikifunctions are list and typed list. See also Benjamin array.
Lahabali (English: article)
a page in the main namespace of Wikipedia, usually representing one entry in Wikipedia.

B

Benjamin array (English: 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.
boolean (English: boolean)
a value that can have 2 states, usually denoted true and false.
built-in (English: built-in)
a native implementation of a function that is provided by the evaluator and that is not editable through the wiki interface.

C

boli (English: call)
lihimi function call. Silimiinsili, bachi din nyɛ invoke or invocation gba ni tooi zaŋ tum tuma.
canonical, canonicalized, canonicalised (English: 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.
loori (English: car)
yuli shɛli dabam zaŋ n-ti head; lihimi LOORI ni CDR din be Wikipidia. Lihimi m-pahi cdr.
cdr (English: cdr)
yuli shɛli dabam zaŋ n-ti tail; lihimi LOORI ni CDR din be Wikipidia. Lihimi m-pahi loori.
nahingbaŋ (English: character)
a character as defined by Unicode, a constituent of a String; a character can consist of several bytes (or octets).
composition (English: composition)
a form of implementation of a function, where the implementation is given by the combination of other functions; see Function model.
composition notation (English: composition notation)
an easy-to-read notation for compositions; see Function model.
yɛlimaŋli (English: concrete)
in a specific natural language. The opposite of abstract.
cons (English: cons)
tuma din nyɛ yu'pala nammbu ka di nyɛla a yɛn zaŋ la beni pahi di zuɣusaa; lihimi phab:T261474. Lihimi cons din be Wikipidia.
tammɛra (English: 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.
lahabali, jia lahabali (English: 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 (English: 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

deserialization (English: deserialization)
Tilli zaŋ ti serialization.
lɛbiginsim tuma (English: development project)
tuma din yɛn piligi Wikifunctions mini Abstract Wikipidia; lihimi Abstract Wikipidia niya.
yihimi tuma na (English: 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.
gbaŋ (English: documentation)
ninsali-karimbu sabbu binshɛli baŋsibu.

E

eneyj (English: eneyj)
  1. prototype model of Wikifunctions;
  2. a JavaScript implementation of an evaluator of that model provided in abstracttext.
chirimbu (English: error)
a type whose instances indicate problems in evaluation or validation; see Function model.
tɛsi (English: evaluation)
Tun'shɛli tɛsi niŋda ni tum.
tɛsi niŋda (English: 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.
execution (English: execution)
Niŋsim shɛli shɛli executor ni niŋ.
Tumda (English: 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

bukaata (English: function)
the specification of a computation that takes some input and returns output; see Function (computer science) in Wikipedia.
tuma boligu (English: 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 (English: function evaluator)
Lihimi tɛsi niŋda.
function executor (English: function executor)
See executor.
function model (English: function model)
see Function model.
function orchestrator (English: function orchestrator)
See orchestrator.
function schemata (English: 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.
functional (English: 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

generic type (English: generic type)
a type generated by evaluation of a function call.

H

zuɣu (English: head)
tuuli beni zaŋ n-ti yuli. Ka bɛ lahi mi li loori. Yu shɛŋa din kpalim maa nyɛ zuli bee cdr. Lihimi phab:T261474.

I

identity (English: 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.
implementation (English: 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".
shɛhirili (English: instance)
ZObject kam nyɛla shɛhirili zaŋ n-ti di balibu.
invoke (English: invoke)
bachi shɛli din gba gbunni nyɛ boli Silimiinsili puuni. Lihimi function boligu.
bɛlinli (English: item)
kpɛbu ni Wikidata's baŋsim yaɣili ; lihimi biɛlinli din be Wikidata binyɛra mini di gbunni.

J

JSON (English: JSON)
lahabali zaŋ kpɛhi shɛli so'shɛli bɛ ni tooi mali tumdi tuma; lihimi JSON din be Wikipidia.

K

saafe (English: 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.

L

yuli (English: label)
main name given to identify a ZObject. May only be plain text.
bachi (English: lexeme)
an entry in Wikidata storing lexicographic knowledge about, roughly, a word; see Lexeme in the Wikidata glossary.
linearizer (English: linearizer)
(this term is no longer used in current terminology, but can still be found in older documents) synonym of renderer (1).
yuya (English: list)
a data type that groups an arbitrary number of instances in an ordered entity; see List (abstract data type) in Wikipedia.
literal (English: literal)
a value that is not a ZObject. Currently the only accepted literal is string.
mabiligu Wikipidia (English: local Wikipedia)
Wikipidia din nyɛ balli, kaman Hebrew Wikipidia, Japannima Wikipidia, bee Italianima Wikipedia.

M

balli bɔbigu Wikipidia (English: 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

Naawuni nama balli (English: natural language)
Naawuni nama balli shɛŋa niriba pam ni mi, kaman Silimiinsili, Tagalog, bee Swahili; lihimi Naawuni nama balli din be Wikipidia.
viɛnyɛla (English: normal)
an extended, easily processable and very uniform way to represent ZObjects in JSON. This is opposed to canonical.
ka'shɛli (English: nothing)
lahabali balibu din ka shɛhiranima; lihimi Gbunni balibu din be Wikipidia.

O

beni (English: object)
  1. In JavaScript or JSON, an object is basically an associative array; see Associative array in Wikipedia.
  2. In Wikifunctions, synonym of ZObject.
orchestration (English: orchestration)
The action performed by the orchestrator.
orchestrator (English: 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

peeji (English: page)
a part of a wiki. A wiki consists of a number of individual pages, which can be edited independently, have internal links to each other, etc.
parser (English: parser)
a function to convert a string to a ZObject. The opposite of renderer.
jaa (English: pair)
a compound ZObject that contains two ZObjects of specific (but arbitrary) type.
yaɣili P1 (English: 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.
yaɣili P2 (English: 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.
waawaayili (English: 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.
ŋmani (English: property)
di tooi zoogi ka niŋdi lahabaya jandiri Item din be Wikidata's baŋsim yaɣili; lihimi Ŋmani din be Wikidata glossary ŋɔ.

Q

quote (English: quote)
a data structure that is not to be evaluated but kept verbatim.
QID (English: QID)
identifier for an item in Wikidata, comprising the letter "Q" followed by an integer.

R

karimbu tuma (English: 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'.
kundivihira (English: 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.
renderer (English: renderer) (1)
a function to convert a ZObject to a string. The opposite of parser. (formerly called "linearizer")
renderer (English: 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 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 (English: 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 (English: 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 (English: schemata)
See function schemata.
serialization (English: serialization)
Ways to represent ZObjects in JSON; see also canonical, normal.
lahabali (English: statement)
di tooi tiri baŋsim din jandi Item din be Wikidata's baŋsim yaɣili; lihimi Lahabali din be Wikidata glossary ŋɔ.
mia (English: string)
a sequence of characters.
zaŋ'pahita balibu (English: sum type)
balibu din mali shɛhiranima zaŋ n-ti di yaɣili kam; lihimi zaŋ'pahita balibu din be Wikipidia; lihimi Function model.

T

zuli (English: tail)
yuli din ka di tuuli beni.Gba nyɛla bɛ ni mi shɛlicdr. Tuuli beni ŋɔ nyɛla bɛ ni mi shɛli zuɣu bee loori. lihimi phab:T261474.
tɛmplet (English: 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 (English: 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”.
transient (English: transient)
Opposite of persistent.
balibu (English: type)
The type of an object tells us how to interpret and understand the given object, and what can be done with the object. For example, if we have an object with the value “2023”, depending on whether its type is integer, or year, or string, we understand that object differently. Every object refers to “a thing in the real world”. The integer 2023 is different from the year 2023. The type tells us how to interpret a given object, so that we know which thing in the real world it refers to. Technically, it defines how objects of that type are structured and what conditions they need to fulfill to be a valid object of that 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.
type converter (English: 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.
balibu yuya (English: 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

value (English: value)
the string or ZObject associated with a key in another ZObject.
validation (English: validation)
The action performed by the validator.
validator (English: validator)
A function taking a ZObject as argument and return a list of errors found.

W

wiki (English: wiki)
wɛbsiti shɛli din tiri niriba soya ka bɛ laɣindi tohiri namdi di yaɣa.
Wikidata (English: Wikidata)
tuma zaŋ n-ti Wikimedia Foundation, yoli, laɣim tohi baŋsim yaɣili ; lihimi Wikidata.
Wikifunctions (English: 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 (English: WikiLambda)
the software used to power the project, Extension:WikiLambda.
WikiLambda system (English: 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 (English: Wikimedia Foundation)
laɣingu shɛli din sɔŋdi Wikimidia chandi; lihimi Wikimedia Foundation.
Wikipidia (English: Wikipedia)
tuma zaŋ n-ti Wikimedia Foundation, yoli pɔhim zuɣu baŋsim bayana kundu shɛli niriba ni laɣimdi n-tɔhiri sabira; lihimi Wikipidia.
Wikipidia, Abstract (English: Wikipedia, Abstract)
lihimi Abstract Wikipidia.
Wikipidia, balli'bɔbugu (English: Wikipedia, multilingual)
lihimi balli'bɔbugu Wikipidia.

Z

ZID (English: ZID)
ID shɛli din piligi ni bachi Z ka Naawuni kalinli doli li. Ka bɛ mali li baŋdi din niŋ saha kam ZObjects
ZTuma (English: 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.
ZSaafɛbia (English: ZKey)
a ZObject defining a key for a particular type.
ZYuya (English: ZList)
a ZObject for an ordered sequence of other ZObjects.
ZObject (English: 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 (English: ZUnit)
a ZObject that represents a Unit type.