추상 위키백과/초기 함수 예시
Appearance
추상 위키백과 |
---|
(토론) |
일반 |
개발 계획 |
메모, 초안, 토론 |
|
예제 및 모형 |
데이터 도구 |
역사 |
이것은 함수 위키에 적합하거나 적합하지 않을 수 있는 함수에 대한 가능한 예시 목록입니다. 무엇이 적합하고 적합하지 않은지에 대한 궁극적인 권한은 공동체에 있으며, 이 예시 목록은 이에 대한 결정을 내리기위한 것이 아닙니다. 또한 함수의 이름이나 시그니처가 완벽하지는 않지만 실제로는 스케치일뿐입니다.
제안된 함수 목록
- multiply : integer, integer ➝ integer
- factorize : positive integer ➝ list(positive integer)
- percent change : quantity, quantity ➝ percentage
- interest : quantity(currency), timespan, percentage ➝ quantity
- payment per period : quantity(currency), timespan, percentage, timespan ➝ quantity
- and : boolean, boolean ➝ boolean
- any : list(boolean) ➝ boolean
- and : kleenean, kleenean ➝ kleenean
- length : string ➝ integer
- type of : any ➝ type
- format : integer, style ➝ string
- reverse : string ➝ string
- rot13 : string ➝ string
- hash sha256 : string ➝ sha256
- validate hash : string, sha256 ➝ boolean
- validate check digit : isbn13 ➝ boolean
- capitalize : string ➝ string
- letter histogram : string ➝ list(pair(character, positive integer))
- head(T) : list(T) ➝ T
- filter(T) : list(T), function(T ➝ boolean) ➝ list(T)
- number of arguments : function(any ➝ any) ➝ integer
- is empty(T) : list(T) ➝ boolean
- convert : julian calendar date ➝ gregorian calendar date
- add : julian calendar date, timespan ➝ julian calendar date
- day of week : gregorian calendar date ➝ weekday
- convert(T) : quantity(T), unit(T) ➝ quantity(T)
- larger(T) : quantity(T), quantity(T) ➝ kleenean
- distance : geocoordinate, geocoordinate ➝ quantity(length)
- distance : city, city ➝ quantity(length)
- distance : planet, planet, gregorian calendar date ➝ quantity(length)
- size : geoshape ➝ quantity(area)
- volume of torus : quantity(length), quantity(length) ➝ quantity(volume)
- age at birth of first known child : person ➝ timespan
- filter dishes by allergen : list(dish), allergen ➝ list(dish)
- transpose : melody, key ➝ melody
- head of state at birth : person ➝ person
- filter by tomorrow’s heights : list(location), quantity(temperature) ➝ list(location)
- most specific common taxon : taxon, taxon ➝ taxon
- lives in : taxon, location ➝ kleenean
- lived contemporary : taxon, taxon ➝ kleenean
- lived contemporary : person, person ➝ kleenean
- sum of populations in counties : state ➝ quantity
- pie chart : list(pair(label, integer)), width ➝ image
- answer to everything : nothing ➝ integer
- dominant color : image ➝ rgb color
- does Wikipedia link : qid, qid, language code ➝ boolean
- height : image ➝ integer
- resize : image, integer, integer ➝ image
- mask filter : image, bitmask ➝ image
- demonym : location ➝ noun
- plural : English noun ➝ string
- plural : German noun, German case ➝ string
- make clause : noun phrase, verb phrase, gregorian calendar date ➝ clause
- render : clause, language ➝ string
예시를 읽는 방법
위에서 사용된 구문은 가능한 간결한 표현일 뿐입니다. 위키함수의 실제 사용자 인터페이스는 이것을 다른 방식으로 보여줄 수 있습니다(예를 들어 초기 모형을 참조하세요).
- 먼저 함수의 가능한 영어 레이블이 굵은 문자로 표시되고(나중에 함수 또는 위키데이터 위키에서 번역할 수 있으며 평가자 엔진에서 런타임에 사용하거나 다른 함수를 합성하는 데 사용되는 내부 및 모호하지 않은 ZID 대신 신중하게 사용됩니다. 이러한 간단한 이름은 모호 할 수 있으며 범위 지정이 필요하거나 다른 구현 언어에서 사용하기 위해 다른 별칭을 지정할 수 있습니다), 다음에 콜론이 뒤따릅니다 :.
- 함수 이름에 콜론 앞에 한 쌍의 둥근 괄호 ()가 있으면 함수 자체가 제너릭이며 변수 입력 유형 T를 기반으로 함을 의미합니다.
- 그 다음에는 함수의 입력 인수 유형 목록이 쉼표 ,로 구분 된 다음 화살표 ➝ 및 출력 값 유형이 이어집니다.
- 유형은 현재 영어로 된 설명 이름으로 지정되지만 번역 가능한 레이블과 내부 명확한 ZID가 있는 Z객체로도 설명됩니다.
- 유형에 둥근 괄호 ()가 있는 경우 괄호 안의 인수로 추가로 지정된 유형을 반환하는 유형 함수입니다
- 가능한 오류 (또는 예외)는 현재 나열되어 있지 않지만 나중에 자체 의미 체계로 지정 될 수 있습니다(결과에 대한 변형 유형을 설명하는 제네릭 유형 생성자를 사용하여).
- 주어진 입력 또는 출력 유형의 값에 대한 제약 조건이 지정되지 않았습니다. 나중에 하위 유형/파생 유형을 생성하여 설명 할 수 있고, 예를 들어:
- 정수 유형은 보다 일반적인 숫자 유형의 하위 유형으로 지정 될 수 있습니다;
- 바이트 유형은 정수 유형의 지정된 부속 유형일 수 있습니다;
- 명사 유형은 문자열 유형의 지정된 하위 유형이거나 추가 언어 코드 속성을 전달하는 단일 언어 텍스트 유형일 수 있으며 제네릭 유형 생성자 (입력 인수가 다른 유형 또는 값일 수있는 함수의 일종)에 의해 지정됩니다:
- 수량 유형은 입력 인수를 값 또는 유형으로 사용하여 측정 또는 물리적 차원의 종류를 지정하는 제너릭 유형 생성자로 지정되거나 투영(기하 변환 및 축)과 참조 객체를 별도로 지정하는 기타 입력 인수로 지정할 수 있습니다. 측정 단위의 사양에서 (특히 지리적 좌표, 온도 또는 특정 관할 구역의 자격에 유용 할 수 있음) : 고유한 제너릭 유형 생성자를 사용하여 파생 유형으로 정의 할 수 있습니다;
- 위치 및 사람 유형은 여러 필수 또는 선택적 속성을 지정하기 위해 하나 또는 여러 개의 입력 인수를 사용하는 제너릭 유형 생성자로 지정 될 수도 있습니다. 다른 객체를 적절한 유형으로 참조할 수도 있습니다.
- 지금은 입력 인수의 기본값을 나타내는 것이 없습니다(그 중 하나가 생략된 경우), 반환 값이 입력 인수에 바인딩되어 있는지 또는 입력 인수가 참조 일 때 수정되었는지 (지금은 모든 입력과 출력이 서로 독립적인 순수 함수 모델).
- 또한 상수 값의 텍스트 표현은 유형 변환 함수의 사양에 따라 달라질 수 있습니다(입력 인수로 지정되거나 추가 인수로 명시적으로 전달되거나 일부 기본값을 사용하여 암시적으로 전달된 런타임 환경의 일부로 지정된 지정된 언어에 대한 파서 또는 렌더러 포함).