추상 위키백과/용어 사전

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)

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

문서 (영어: article)

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

B

내장된 (영어: 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)

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

문서화 (영어: documentation)

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

E

eneyj (영어: eneyj)

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

에러 (영어: error)

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

평가자 (영어: evaluator)

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

실행자 (영어: executor)

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

F

함수 (영어: function)

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

함수 호출 (영어: function call)

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

함수 모델 (영어: function model)

함수 모델 참조.

함수형 (영어: 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)

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

오케스트레이터 (영어: 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)

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

R

참조 (영어: reference)

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

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

렌더러 (영어: renderer)

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

구체화 (영어: reify)

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

REPL (영어: REPL)

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

S

직렬화 (영어: 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)

유형은 Z객체의 유효성을 검사하는 함수를 제공하여 Z객체가 이 유형의 유효한 인스턴스가 되는 조건을 정의합니다. 유형은 Z객체 자체이므로 위키함수의 기여자는 새로운 유형을 만들 수 있습니다.

V

값 (영어: value)

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

검증자 (영어: validator)

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

W

위키 (영어: wiki)

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

위키데이터 (영어: Wikidata)

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

위키함수 (영어: Wikifunctions)

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

위키람다 (영어: WikiLambda)

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

위키미디어 재단 (영어: 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입니다.