위키함수:용어 사전

토론 페이지에서 용어를 요청하거나 더 많은 용어를 추가하고 정의를 개선하세요.

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

추상 (영어: abstract)

특정한 자연어가 아니라 그로부터의 추상화; 자연어 텍스트, 문장 또는 구의 의미에 대한 표기법을 제공하는 것을 목표로합니다. 구상의 반대.

AbstractText (영어: AbstractText)

위키함수 아이디어의 프로토 타입 구현.

추상 콘텐츠 (영어: abstract content)

콘텐츠 참조.

추상 위키백과 (영어: Abstract Wikipedia)

로컬 위키백과에서 자연어로 문서를 렌더링하는 데 사용할 수 있는 모든 콘텐츠의 예비 이름; 현재 해당 항목 옆에 위키데이터에 존재하도록 제안되었지만 개발 프로젝트의 Part P2 이전에 논의될 것입니다.

별칭 (영어: alias)

객체를 찾는 데 가장 먼저 사용되는 객체의 대체 레이블입니다.

인수 (영어: argument)

an input given to a function call.

argument reference (영어: argument reference)

a reference to one of the supplied arguments within a composition.

array (영어: array)

Many programming languages have an "array" type. The counterparts in Wikifunctions are list and typed list. See also Benjamin array.

문서 (영어: article)

일반적으로 위키백과의 한 항목을 나타내는 위키백과의 기본 이름공간에 있는 페이지.

B

Benjamin array (영어: 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 (영어: boolean)

a value that can have 2 states, usually denoted true and false.

내장된 (영어: built-in)

평가자가 제공하고 위키 인터페이스를 통해 편집할 수없는 함수의 기본 구현.

C

호출 (영어: call)

함수 호출 참조. 영어에서는 인보크(invoke) 또는 인보케이션(invocation)이라는 용어도 사용할 수 있습니다.

표준형의 (영어: canonical, canonicalized, canonicalised)

구체적이고 덜 장황하며 따라서 JSON으로 Z객체를 표현하는 더 읽기 쉬운 방법입니다. Z객체는 위키함수에 저장되는 일반적인 표현입니다. 이것은 정규형과 반대입니다.

car (영어: car)

head의 대체명; 위키백과의 CAR 및 CDR 참조. cdr 또한 참조.

cdr (영어: cdr)

tail의 대체명; 위키백과의 CAR 및 CDR 참조. car 또한 참조.

문자 (영어: character)

문자열의 구성 요소인 유니 코드로 정의된 문자; 문자는 여러 바이트(또는 8진수)로 구성 될 수 있습니다.

컴포지션 (영어: composition)

다른 함수의 조합에 의해 구현이 제공되는 함수의 구현 형태; 함수 모델 참조.

컴포지션 표기법 (영어: composition notation)

컴포지션(composition)에 관한 읽기 쉬운 표기법; 함수 모델 참조.

구상 (영어: concrete)

특정 자연어에서. 추상의 반대.

단점 (영어: cons)

상단에 요소를 추가하여 새로운 리스트를 생성하는 함수; phab:T261474을 참조. 위키백과의 단점을 참조하세요.

생성자 (영어: constructor)

콘텐츠의 추상 빌딩 블록; 생성자는 단일 구문 또는 문장 구조의 의미를 포착하는 것을 목표로 하며 종종 다른 생성자를 취할 수있는 슬롯을 가지고 있으며 다른 생성자의 슬롯을 채우는 값으로 자체적으로 사용될 수 있습니다.

콘텐츠, 추상 콘텐츠 (영어: content, abstract content)

생성자에서 조립된 텍스트 또는 텍스트 조각의 추상 표현. 기술적으로는 인스턴스화 된 생성자. 최상위 생성자는 전체 문서를 나타내는 데 사용되며 추상 위키백과에 저장되지만 내용은 문장이나 구에 대한 것일 수도 있습니다. 추상 콘텐츠라고도 합니다.

curried, curry, currying (영어: curried, curry, currying)

커리 함수는 여러 인수를 각각 단일 인수가 있는 일련의 함수로 변환한 함수입니다. 이 기술은 미국 수학자 w:en:Haskell하스켈 카레의 이름을 따서 명명되었습니다. 위키백과의 커링을 참조하세요.

D

역직렬화 (영어: deserialization)

직렬화의 반대.

개발 프로젝트 (영어: development project)

위키함수 및 추상 위키백과 개발 프로젝트; 추상 위키백과 계획 참조.

display function (영어: 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.

문서화 (영어: documentation)

사람이 읽을 수 있는 객체를 설명하는 텍스트.

E

eneyj (영어: eneyj)

1. 위키함수의 프로토타입 모델;
2. abstracttext에 제공된 해당 모델의 평가자에 대한 자바 스크립트 구현.

에러 (영어: error)

인스턴스가 평가 또는 검증의 문제를 나타내는 유형; 함수 모델 참조.

evaluation (영어: evaluation)

The action performed by the evaluator.

평가자 (영어: evaluator)

Z객체를 가져와 평가하는 소프트웨어, 즉 함수를 실행하고 결과를 반환하는 소프트웨어. 우리는 여러 평가자의 개발을 계획합니다. 평가자는 브라우저와 위키미디어 재단의 서버, 클라우드, 모바일 장치의 앱 또는 기타 장소에서 구현 및 실행할 수 있습니다. 실행자 및 오케스트레이터와 비교합니다.

execution (영어: execution)

The action performed by the executor.

실행자 (영어: executor)

대중에게 노출되지 않는 일련의 내부 서비스 중 하나. 오케스트레이터에 의해서만 호출 될 수 있습니다. 특정 프로그래밍 언어로 네이티브 코드를 실행합니다. 루아에 대한 하나의 실행 프로그램, 자바 스크립트에 대한 실행 프로그램, 파이썬에 대한 실행 프로그램 등이 있습니다. 서비스 문서를 참조. 평가자 및 오케스트레이터와 비교합니다.

F

함수 (영어: function)

일부 입력을 받아 출력을 반환하는 계산에 관한 사양; 위키백과의 함수 (프로그래밍) 참조.

함수 호출 (영어: function call)

함수 호출은 함수와 함수에 필요한 인수로 구성된 Z객체이며 다른 Z객체로 평가 될 수 있습니다. 영어에서는 "인보크(invoke)"라는 용어도 사용할 수 있습니다.

function evaluator (영어: function evaluator)

See evaluator.

function executor (영어: function executor)

See executor.

함수 모델 (영어: function model)

함수 모델 참조.

function orchestrator (영어: function orchestrator)

See orchestrator.

function schemata (영어: 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)

"순수 함수형"의 줄임말로, 그러한 함수의 평가는 부작용이 없고 결정론적입니다. 즉, 항상 동일합니다; 위키백과의 순수 함수형 프로그래밍 참조; 함수 모델 참조.

G

제네릭 유형 (영어: generic type)

함수 호출의 평가에 의해 생성 된 유형.

H

head (영어: head)

리스트의 첫 번째 요소. car라고도 함. 리스트의 나머지는 tail 또는 cdr로 알려져 있습니다. phab:T261474 참조.

I

식별 (영어: identity)

유형의 식별은 유형으로 평가되는 (특정) 함수의 인스턴스입니다. 단순 유형의 경우, 유형 자체에 대한 참조입니다.

구현 (영어: implementation)

함수를 실행하는 특별한 방법. 구현은 특정 프로그래밍 언어로 된 코드 조각일 수도 있고 평가자에 "내장 된" 기능을 참조하거나 다른 함수에 대한 호출을 결합할 수도 있습니다. 함수에는 많은 구현이있을 수 있으며 모두 동일해야합니다. "Z함수 구현"의 약자입니다.

인스턴스 (영어: instance)

모든 Z객체는 해당 유형의 인스턴스입니다.

인보크 (영어: invoke)

영어로 호출의 동의어. 함수 호출을 참조하세요.

항목 (영어: item)

위키데이터의 지식 기반에 있는 항목; 위키데이터 용어집의 항목 참조.

J

JSON (영어: JSON)

널리 사용되는 데이터 직렬화; 위키백과의 JSON을 참조.

K

키 (영어: key)

문자 K와 자연수로 끝나고 선택적으로 앞에 ZID가 오는 문자열. 키는 일반적으로 유형 또는 함수에 대한 위키함수에서 정의되며 Z객체를 강화하는 데 사용됩니다.

L

레이블 (영어: label)

Z객체를 식별하기 위해 주어지는 이름. 일반 텍스트만 가능.

어휘소 (영어: lexeme)

대략적인 단어에 대한 사전 지식을 저장하는 위키데이터의 항목; 위키데이터 용어집의 어휘소 항목 참조.

linearizer (영어: linearizer)

Z객체를 문자열로 변환하는 함수. 파서의 반대입니다.

리스트 (영어: list)

정렬된 엔티티에서 임의의 수의 인스턴스를 그룹화하는 데이터 유형; 위키백과의 리스트 (추상 데이터 유형)을 참조하세요.

리터럴 (영어: literal)

Z객체가 아닌 값. 현재 유일하게 허용되는 리터럴은 문자열입니다.

로컬 위키백과 (영어: local Wikipedia)

히브리어 위키백과, 일본어 위키백과 또는 이탈리아어 위키백과와 같은 특정 언어로 된 위키백과.

M

다국어 위키백과 (영어: multilingual Wikipedia)

로컬 위키백과가 추상 위키백과의 콘텐츠를 렌더링하여 자신의 언어로 더 포괄적이고 최신이며 알맞은 위키백과를 가질 수 있도록하는 구조; 추상 위키백과 구조 참조.

N

자연어 (영어: natural language)

영어와 타갈로그어 또는 스와힐리어와 같은 넓은 의미의 특정 자연어; 위키백과의 자연어를 참조하세요.

정규형의, 정규형 (영어: normal)

JSON으로 Z객체를 표현하는 확장되고 쉽게 처리 가능하며 매우 균일한 방법입니다. 이것은 표준형과 반대입니다.

nothing (영어: nothing)

인스턴스를 가질 수 없는 데이터 유형; 위키백과의 바닥 유형 참조.

O

객체 (영어: object)

1. 자바 스크립트 또는 JSON에서 객체는 기본적으로 연관 배열입니다. 위키백과의 연관 배열을 참조하세요.
2. In Wikifunctions, synonym of ZObject.

orchestration (영어: orchestration)

The action performed by the orchestrator.

오케스트레이터 (영어: orchestrator)

Z객체를 가져와 평가된 버전을 반환하는 서비스입니다. 이를 위해 필요한 다른 Z객체, 일부 함수 호출을 평가하기위한 실행자 및 위키데이터와 같은 기타 서비스에 대한 위키를 호출합니다. 서비스 문서를 참조하세요. 평가자 및 실행자와 비교합니다.

P

페이지 (영어: page)

위키는 독립적으로 편집할 수 있는 여러 개별 페이지로 구성됩니다.

파서 (영어: parser)

문자열을 Z객체로 변환하는 함수. linearizer의 반대.

짝 (영어: pair)

특정 (임의의) 유형의 두 Z객체를 포함하는 복합 Z객체.

파트 P1 (영어: Part P1)

위키함수 생성을 다루는 개발 프로젝트의 일부입니다. 그것은 프로젝트의 시작 부분에서 시작하여 평생 동안 계속됩니다. 파트 P1: 위키함수를 참조하세요.

파트 P2 (영어: Part P2)

추상 위키백과 생성을 다루는 개발 프로젝트의 일부입니다. 프로젝트에서 약 1년 후에 시작되어 이 기간의 후반기 동안 계속됩니다. 파트 P2: 추상 위키백과 참조.

영속적, 영속 (영어: persistent)

ZID가 있고 위키의 자체 페이지가 있는 Z객체 대부분의 영속 Z객체에는 ZID가 없는 Z객체인 값이 포함되어 있으므로 영속적이지 않습니다.

속성 (영어: property)

위키데이터의 지식 기반에서 항목에 대해 서술하는 데 사용됩니다. 위키데이터 용어집에서 속성 참조.

Q

인용 (영어: quote)

평가되지는 않지만 그대로 유지되는 데이터 구조.

QID (영어: QID)

identifier for an item in Wikidata, comprising the letter "Q" followed by an integer.

R

reading function (영어: 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'.

참조 (영어: reference)

기본 객체를 나타내는 ID입니다. 예를 들어, 문자열 "Z11"은 유형 Z11/단어 언어 텍스트를 나타냅니다.

Note: 이 용어는 위키데이터와는 완전히 다른 의미를 가지고 있습니다. 위키백과의 참조 (컴컴퓨터 과학) 참조.

렌더러 (영어: renderer) (1)

a function to convert a ZObject to a string. The opposite of parser. (formerly called "linearizer")

renderer (영어: renderer) (2)

자연어에 대한 콘텐츠와 식별자를 입력으로 가져오고 해당 자연어의 텍스트를 출력으로 반환하고, 어휘소의 지식을 사용하여 콘텐츠를 구체적인 텍스트로 나타내는 함수입니다.

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)

객체를 구성 부분으로 분해하여 부분에 개별적으로 접근할 수 있도록 하는 함수; 위키백과에서 구체화 참조; phab:T261474 참조.

REPL (영어: REPL)

Read / Eval / Print - Loop, 입력을 받아 평가하고 결과를 표시하는 명령 줄 인터페이스; 위키백과의 REPL 참조; 함수 모델 참조.

S

schemata (영어: schemata)

See function schemata.

직렬화 (영어: serialization)

JSON에서 Z객체를 표현하는 방법; 표준형, 정규형도 참조.

서술 (영어: statement)

위키데이터의 지식 기반에서 항목에 대한 지식을 제공하는 데 사용됩니다. 위키데이터 용어집의 서술 참조.

문자열 (영어: string)

일련의 문자.

합계 유형 (영어: sum type)

구성 유형의 인스턴스를 가질 수 있는 유형; 위키백과의 집계 유형 참조. 함수 모델 참조.

T

tail (영어: tail)

첫 번째 요소가 없는 리스트. cdr이라고도 함. 첫 번째 요소는 head 또는 car로도 알려짐. phab:T261474 참조.

틀 (영어: template)

렌더러를 자리 표시자가 산재된 텍스트 또는 "슬롯"으로 지정하는 방법은 생성자의 데이터, 함수 계산 또는 다른 틀의 내용으로 채울 수 있습니다. 틀 구문에 대한 자세한 내용은 위키함수용 틀 언어 문서를 참조하세요.

테스터 (영어: tester)

주어진 Z함수가 정확하게 일을 하고 있는지 자동으로 결정하는 방법. 함수에는 일반적으로 여러 테스터가 있으며, 각 테스터는 함수에 대한 일부 입력을 지정하고 주어진 입력에 대한 출력이 충족되어야합니다. 예를 들어, "케이스 제목(title case)" 함수의 테스터에는 다음이 포함될 수 있습니다: "abc"는 "Abc"가 되어야합니다; "war and peace"는 "War and Peace"가 되어야합니다; "война и мир"는 "Война и мир"가 되어야합니다; "123"은 "123"으로 유지되어야합니다.

일시적 (영어: transient)

영속적의 반대.

유형 (영어: type)

객체의 유형은 주어진 객체를 해석하고 이해하는 방법과 객체로 수행할 수 있는 작업을 알려줍니다. 예를 들어 값이 "2023"인 객체가 있는 경우 유형이 정수인지, 연도인지 또는 문자열인지에 따라 해당 객체를 다르게 이해합니다. 모든 객체는 "실제 세계에 있는 것"을 나타냅니다. 정수 2023은 2023년과 다릅니다. 유형은 주어진 객체를 해석하는 방법을 알려주므로 실제 세계에서 어떤 것을 참조하는지 알 수 있습니다. 기술적으로는 해당 유형의 객체가 구성되는 방식과 해당 유형의 유효한 객체가 되기 위해 충족해야 하는 조건을 정의합니다. 유형은 Z객체의 유효성을 검사하는 함수를 제공하여 Z객체가 이 유형의 유효한 인스턴스가 되는 조건을 정의합니다. 유형은 Z객체 자체이므로 위키함수의 기여자는 새로운 유형을 만들 수 있습니다.

type converter (영어: 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 (영어: 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)

다른 Z객체의 키와 연관된 문자열 또는 Z객체.

validation (영어: validation)

The action performed by the validator.

검증자 (영어: validator)

Z객체를 인수로 사용하고 발견된 오류 목록을 반환하는 함수.

W

위키 (영어: wiki)

페이지를 쉽고 공동으로 편집 할 수 있는 웹 사이트.

위키데이터 (영어: Wikidata)

공동으로 편집된 자유 지식 기반인 위키미디어 재단의 프로젝트; 위키데이터 참조.

위키함수 (영어: Wikifunctions)

위키미디어 재단의 새로운 프로젝트; 무료이고 공동으로 개발하며 유지 관리하는 함수 카탈로그. 원래 제안에서 처음에는 위키람다로 알려졌습니다(이 이름은 현재 위키람다 확장에 사용됨).

위키람다 (영어: WikiLambda)

프로젝트를 구동하는 데 사용되는 소프트웨어, 확장:위키람다.

WikiLambda system (영어: 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)

위키미디어 운동을 지원하는 조직; 위키미디어 재단 참조.

위키백과 (영어: Wikipedia)

위키미디어 재단의 프로젝트, 공동으로 편집하는 자유 백과사전, 위키백과 참조.

위키백과, 추상 (영어: Wikipedia, Abstract)

추상 위키백과 참조.

위키백과, 다국어 (영어: Wikipedia, multilingual)

다국어 위키백과 참조.

Z

ZID (영어: ZID)

문자 Z로 시작하고 뒤에 자연수가 오는 ID. 영구 Z객체를 식별하는 데 사용됩니다.

Z함수 (영어: ZFunction)

평가자를 통해 사용할 수 있는 특정 함수를 설명하는 위키함수의 위키 페이지. 각 Z함수는 하나 이상의 구현에 의해 코드에서 실현 될 수 있으며, 상기 구현은 하나 이상의 테스터 Z함수에 의해 올바른 것으로 검증될 수 있습니다.

Z키 (영어: ZKey)

특정 유형에 대한 키를 정의하는 Z객체.

Z리스트 (영어: ZList)

다른 Z객체의 순서가 지정된 시퀀스에 대한 Z객체.

Z객체 (영어: ZObject)

위키함수의 모든 항목은 Z객체입니다. 위키함수에 저장된 Z객체는 ZID를 가지며 생성자와 함수, 유형 등과 같은 다양한 유형이 될 수 있습니다. Z객체는 키/값 쌍 집합으로 구성되며 각 키는 Z객체 당 한 번만 나타나고 값은 Z객체입니다.

ZUnit (영어: ZUnit)

단위 유형을 나타내는 ZObject입니다.