Jump to content

Wikifunciones:Glosario

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

Siéntete libre de pedir la adición de términos en la página de discusión, o de agregar más términos y mejorar las definiciones.

A

abstracto (inglés : abstract)
que no está en un lenguaje natural concreto, sino que es una abstracción de este; su objetivo es proporcionar una notación para el significado de los textos, oraciones o frases en lenguaje natural. Lo opuesto de concreto.
TextoAbstracto (inglés : AbstractText)
implementación prototipo de la idea de Wikifunciones.
contenido abstracto (inglés : abstract content)
véase contenido.
Wikipedia abstracta (inglés : Abstract Wikipedia)
nombre preliminar de todo el Contenido que puede utilizarse en las Wikipedias locales para renderizar un artículo a lenguaje natural; la propuesta actual es que esté alojada en Wikidata junto a su Elemento correspondiente, pero eso será discutido antes de la Parte P2 del proyecto de desarrollo.
alias (inglés : alias)
etiqueta alternativa para un objeto, usada primariamente para encontrar el objeto
argument (inglés : argument)
an input given to a function call.
argument reference (inglés : argument reference)
a reference to one of the supplied arguments within a composition.
array (inglés : array)
Many programming languages have an "array" type. The counterparts in Wikifunctions are list and typed list. See also Benjamin array.
artículo (inglés : article)
una página en el espacio de nombres principal de Wikipedia, que usualmente representa una entrada en Wikipedia.

B

Benjamin array (inglés : 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 (inglés : boolean)
a value that can have 2 states, usually denoted true and false.
integrado (inglés : built-in)
una implementación nativa de una función provista por el evaluador y que no es editable por medio de la interfaz wiki.

C

llamada (inglés : call)
véase la llamada de función. En inglés, también se puede utilizar el término invocar o invocación.
canónico, canonizado (inglés : canonical, canonicalized, canonicalised)
una forma concreta, menos verbosa y, por lo tanto, más legible de representar Objetos Z en JSON; es la representación en la que usualmente se almacenan los Objetos Z en Wikifunciones. Es lo opuesto de normal.
CAR (inglés : car)
nombre alternativo para cabecera; véase CAR y CDR en Wikipedia. Véase también cdr.
CDR (inglés : cdr)
nombre alternativo para cola; véase CAR y CDR en Wikipedia. Véase también CAR.
carácter (inglés : character)
un carácter tal como lo define Unicode, parte constitutiva de una cadena; un carácter puede constar de varios bytes (u octetos).
composición (inglés : composition)
forma de implementación de una función, donde la implementación la proporciona la combinación de otras funciones; véase modelo de función.
notación de composición (inglés : composition notation)
una notación fácil de leer para composiciones; véase modelo de función.
concreto (inglés : concrete)
en un lenguaje natural específico. Lo opuesto de abstracto.
cons (inglés : cons)
una función para crear una nueva lista agregando un elemento en la parte superior; véase phab:T261474. Véase cons en Wikipedia.
constructor (inglés : constructor)
un bloque de construcción abstracto de contenido; un constructor tiene como objetivo capturar el significado de una sola frase o estructura de oración y, a menudo, tiene espacios que pueden tomar otros constructores, y se puede usar como valor para llenar los espacios de otros constructores.
contenido, contenido abstracto (inglés : content, abstract content)
representación abstracta de un texto o fragmento de texto, ensamblado a partir de constructores. Técnicamente, un constructor instanciado. El constructor de nivel superior se utiliza para representar un artículo completo y se almacena en la Wikipedia abstracta, pero el contenido también puede ser solo para una oración o frase. A veces llamado contenido abstracto.
currificado, currificada, currificación (inglés : curried, curry, currying)
Una función currificada es una función que se tradujo tomando múltiples argumentos en una secuencia de funciones, cada una con un solo argumento. Esta técnica lleva el nombre del matemático estadounidense Haskell Curry. Véase Currificación en Wikipedia.

D

deserialización (inglés : deserialization)
Lo opuesto de serialización.
proyecto de desarrollo (inglés : development project)
un proyecto para desarrollar la Wikifunciones y Wikipedia abstracta; véase Plan de Wikipedia abstracta.
display function (inglés : 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.
documentación (inglés : documentation)
texto legible por humanos que explica un objeto.

E

eneyj (inglés : eneyj)
  1. modelo prototipo de la Wikifunciones;
  2. una implementación de JavaScript de un evaluador de ese modelo proporcionado en textoabstracto.
error (inglés : error)
un tipo cuyas instancias indican problemas en la evaluación o validación; consulte Modelo de función.
evaluation (inglés : evaluation)
The action performed by the evaluator.
evaluador (inglés : evaluator)
una pieza de software que toma un Objeto Z y lo evalúa, o sea, que ejecuta una Función y devuelve el resultado. Prevemos el desarrollo de varios evaluadores. Los evaluadores pueden implementarse y ejecutarse en el navegador, en el servidor de la Fundación Wikimedia, en la nube, en una aplicación en un dispositivo móvil u otros lugares. Compare con ejecutor y orquestador.
execution (inglés : execution)
The action performed by the executor.
ejecutor (inglés : executor)
uno de un conjunto de servicios internos que no están expuestos al público. Solo pueden ser llamados por el orquestrador. Ejecutan código nativo en un lenguaje de programación específico. Habría un ejecutor para Lua, uno para JavaScript, uno para Python, etc. Véase la documentación del servicio. Compárese con evaluador y orquestrador.

F

función (inglés : function)
la especificación de un cálculo que toma alguna entrada y devuelve una salida; véase Función (informática) en Wikipedia.
llamada a función (inglés : function call)
Una llamada a función es un Objeto Z que consta de una función y los argumentos necesarios para la función, y se puede evaluar en otro Objeto Z. En inglés, también se puede utilizar el término "invocar".
function evaluator (inglés : function evaluator)
See evaluator.
function executor (inglés : function executor)
See executor.
modelo de función (inglés : function model)
Véase Modelo de función.
function orchestrator (inglés : function orchestrator)
See orchestrator.
function schemata (inglés : 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.
funcional (inglés : functional)
abreviatura de "puramente funcional", que significa que la evaluación de dicha función no tiene efectos secundarios y es determinista, que es siempre la misma; véase Programación puramente funcional en la Wikipedia inglesa; véase Modelo de función.

G

tipo genérico (inglés : generic type)
un tipo generado por la evaluación de llamada a una función.

H

cabecera (inglés : head)
el primer elemento de una lista. También conocido como CAR. El resto de la lista se conoce como cola o CDR. Véase phab:T261474.

I

identidad (inglés : identity)
La identidad de un tipo es una instancia de la función (específica) que evalúa ese tipo. Para un tipo simple, esta es una referencia al tipo en sí.
implementación (inglés : implementation)
una forma particular de ejecutar una función. Una implementación puede ser un fragmento de código en un determinado lenguaje de programación, hacer referencia a la funcionalidad "integrada" en el evaluador o combinar llamadas a otras funciones. Una función puede tener muchas implementaciones, que deberían ser todas equivalentes. Abreviatura de "implementación de Función Z".
instancia (inglés : instance)
Cada Objeto Z es una instancia de su tipo.
invocar (inglés : invoke)
sinónimo de llamada en inglés. Véase llamada a función.
elemento/ítem (inglés : item)
una entrada en la base de conocimientos de Wikidata; véase Elemento en el glosario de Wikidata.

J

JSON (inglés : JSON)
una serialización de datos que es ampliamente usada; véase JSON en Wikipedia.

K

clave (inglés : key)
una cadena que termina con la letra K seguida de un número natural y, opcionalmente, está precedida por un ID Z. Las claves se definen en Wikifunciones generalmente en Tipos o Funciones, y se utilizan para construir Objetos Z.

L

etiqueta (inglés : label)
nombre principal dado para identificar un Objeto Z. Solo puede ser texto sin formato.
lexema (inglés : lexeme)
una entrada en Wikidata que almacena conocimiento lexicográfico sobre, aproximadamente, una palabra; véase Lexema en el glosario de Wikidata.
linealizador (inglés : linearizer)
una función para convertir un Objeto Z en una cadena. Lo contrario del analizador gramático.
lista (inglés : list)
un tipo de datos que agrupa un número arbitrario de instancias en una entidad ordenada; véase Lista (tipo de dato abstracto) en Wikipedia.
literal (inglés : literal)
un valor que no es un Objeto Z. Actualmente, el único literal aceptado es la cadena.
Wikipedia local (inglés : local Wikipedia)
una Wikipedia en un idioma específico, como Wikipedia en hebreo, Wikipedia en japonés o Wikipedia en italiano.

M

Wikipedia multilingüe (inglés : multilingual Wikipedia)
la arquitectura que permite a las Wikipedias locales enriquecerse al renderizar el contenido de la Wikipedia abstracta y así tener una versión más completa de la Wikipedia actual y correcta en su idioma; véase Arquitectura abstracta de Wikipedia.

N

lenguaje natural (inglés : natural language)
un idioma natural específico en el sentido más amplio, como inglés, tagalo o swahili; véase Lengua natural en Wikipedia.
normal (inglés : normal)
una forma extendida, fácilmente procesable y muy uniforme de representar Objetos Z en JSON. Esto se opone a la forma canónica.
nada (inglés : nothing)
un tipo de datos que no puede tener instancias; véase Tipo inferior en la Wikipedia inglesa.

O

objeto (inglés : object)
  1. En JavaScript o JSON, un objeto es básicamente una tabla/matriz asociativa; véase Tabla/matriz asociativa en la Wikipedia inglesa.
  2. In Wikifunctions, synonym of ZObject.
orchestration (inglés : orchestration)
The action performed by the orchestrator.
orquestador (inglés : orchestrator)
un servicio que toma un Objeto Z y devuelve una versión evaluada del mismo. Para hacer esto, hará llamadas a la wiki por los otros Objetos Z que necesite, también al ejecutor para evaluar algunas llamadas a funciones, y otros servicios como Wikidata. Véase la documentación del servicio. Compárese con evaluador y ejecutor.

P

página (inglés : page)
una wiki consiste de cierto número de páginas individuales, las cuales se pueden editar independientemente.
analizador gramático (inglés : parser)
una función que convierte una cadena de caracteres a Objetos Z. Lo opuesto de linealizador.
par (inglés : pair)
un Objeto Z compuesto que contiene dos Objetos Z de tipo específico (pero arbitrarios).
Parte P1 (inglés : Part P1)
la parte del proyecto de desarrollo que se ocupa de la creación de la Wikifunciones. Comienza al comienzo del proyecto y continuará durante toda la vida del proyecto; véase Parte P1: Wikifunciones.
Parte P2 (inglés : Part P2)
la parte del proyecto de desarrollo que se ocupa de crear la Wikipedia abstracta. Comienza después de aproximadamente un año en el proyecto y continuará durante esta segunda mitad de la vida del proyecto; véase Parte P2: Wikipedia abstracta.
persistente (inglés : persistent)
un Objeto Z con un ID Z y con su propia página en la wiki. La mayoría de los Objetos Z persistentes incluirán valores que son Objetos Z sin ID Z y, por lo tanto, no son persistentes.
propiedad (inglés : property)
utilizado para hacer una declaración sobre un Elemento en la base de conocimientos de la Wikidata; véase Propiedad en el glosario de Wikidata.

Q

cita (inglés : quote)
una estructura de datos que no se debe evaluar, sino que se debe conservar textualmente.
QID (inglés : QID)
identifier for an item in Wikidata, comprising the letter "Q" followed by an integer.

R

reading function (inglés : 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'.
referencia (inglés : reference)
una identificación que denota el objeto subyacente. Por ejemplo, la cadena "Z11" se refiere al Tipo Z11/Texto monolingüe.
Note Note : Este término tiene un significado completamente diferente al de Wikidata; véase Referencia (informática) en Wikipedia.
renderizador (inglés : renderer) (1)
a function to convert a ZObject to a string. The opposite of parser. (formerly called "linearizer")
renderer (inglés : renderer) (2)
una función que obtiene un contenido y un identificador para un lenguaje natural determinado como entrada y devuelve texto en ese lenguaje natural como salida, que representa el contenido como texto concreto, utilizando el conocimiento de los lexemas.
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.
cosificadora/reificar (inglés : reify)
una función que deconstruye un objeto en sus partes constituyentes para que se pueda acceder a las partes individualmente; véase Reification (informática) en la Wikipedia inglesa; véase phab:T261474.
LEIR (inglés : REPL)
un proceso de "leer / evaluar / imprimir / repetir", una interfaz de línea de comandos que toma una determinada entrada, la evalúa y muestra el resultado; véase REPL en Wikipedia; véase Modelo de función.

S

schemata (inglés : schemata)
See function schemata.
serialización (inglés : serialization)
Formas de representar Objetos Z en JSON; véase también canónica, normal.
declaración (inglés : statement)
utilizado para proporcionar conocimiento sobre un Elemento en la base de conocimientos de Wikidata; véase Declaración en el glosario de Wikidata.
cadena (inglés : string)
una secuencia de caracteres.
tipo suma (inglés : sum type)
un tipo que puede tener instancias de cualquiera de sus tipos constituyentes; véase Tipo Suma en la Wikipedia inglesa; véase Modelo de función.

T

cola (inglés : tail)
una lista sin su primer elemento. También conocido como CDR. El primer elemento se conoce como cabecera o CAR. Ver phab:T261474.
plantilla (inglés : template)
una forma de especificar un renderizador como texto intercalado con marcadores de posición, o ranuras, que se pueden llenar con datos de constructores, un cálculo de una función o contenido de otra plantilla. Consulte el documento Lenguaje de plantilla para Wikifunciones para obtener una discusión detallada de la sintaxis de la plantilla.
probador (inglés : tester)
una forma de determinar automáticamente si una determinada Función Z está haciendo lo correcto. Una función normalmente tendrá varios probadores, cada uno especificando alguna entrada a la función y las condiciones que debe cumplir la salida para la entrada dada. Por ejemplo, los probadores de una función de un "caso de título" podrían incluir: "abc" debería convertirse en "Abc"; "guerra y paz" debería convertirse en "Guerra y paz"; “война и мир” debería convertirse en “Война и мир”; y "123" debe seguir siendo "123".
transitorio (inglés : transient)
Lo opuesto de persistente.
tipo (inglés : 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. un tipo define las condiciones para que un Objeto Z sea una instancia válida de este tipo, proporcionando una función que valida un Objeto Z. Los tipos son Objetos Z en sí mismos, por lo que los contribuyentes de la Wikifunciones pueden crear nuevos tipos.
type converter (inglés : 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.
typed list (inglés : 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

valor (inglés : value)
la cadena u Objeto Z asociado con una clave en otro Objeto Z.
validation (inglés : validation)
The action performed by the validator.
validador (inglés : validator)
Una función que toma un Objeto Z como argumento y retorna una lista de errores encontrados.

W

wiki (inglés : wiki)
un sitio web que permite la edición fácil y colaborativa de sus páginas.
Wikidata (inglés : Wikidata)
un proyecto de la Fundación Wikimedia, una base de conocimientos gratuita editada en colaboración; véase Wikidata.
Wikifunciones (inglés : Wikifunctions)
nuevo proyecto de la Fundación Wikimedia; un catálogo de funciones libre, mantenido y desarrollado de forma colaborativa. Inicialmente fue conocido como Wikilambda en la propuesta original (ese nombre ahora se utiliza para la extensión WikiLambda).
WikiLambda (inglés : WikiLambda)
el software que le da vida al proyecto, Extensión:WikiLambda.
WikiLambda system (inglés : WikiLambda system)
an automated system account that is a key part of the WikiLambda extension. See User:WikiLambda system for its current function.
Fundación Wikimedia (inglés : Wikimedia Foundation)
organización que apoya al movimiento Wikimedia; véase Fundación Wikimedia.
Wikipedia (inglés : Wikipedia)
un proyecto de la Fundación Wikimedia, una enciclopedia libre que se edita de manera colaborativa; véase Wikipedia.
Wikipedia, Abstract (inglés : Wikipedia, Abstract)
véase Wikipedia abstracta.
Wikipedia, multilingual (inglés : Wikipedia, multilingual)
véase Wikipedia multilingüe.

Z

ID Z (inglés : ZID)
un ID que empieza con la letra Z seguida de un número natural. Se usa para identificar a los Objetos Z persistentes.
Función Z (inglés : ZFunction)
una página wiki en la Wikifunciones que describe una función en particular que se puede usar a través del evaluador. Cada Función Z se puede realizar en código por una o más Implementaciones, y dichas implementaciones pueden ser verificadas como correctas por uno o más Probadores de Funciones Z.
Clave Z (inglés : ZKey)
un Objeto Z que define una clave para un tipo particular.
Lista Z (inglés : ZList)
un Objeto Z para una secuencia ordenada de otros Objetos Z.
Objeto Z (inglés : ZObject)
cada entrada en la Wikifunciones es un Objeto Z. Los Objetos Z almacenados en la Wikifunciones tienen ID Z y pueden ser de varios tipos, como Constructor, Función, Tipos, etc. Un Objeto Z consiste en un conjunto de pares Claves / Valores, donde cada clave aparece solo una vez por Objeto Z y los valores son Objetos Z.
unidad Z (inglés : ZUnit)
un objeto Z que representa un tipo unidad.