J: 정의

J: 정의

J 사전(dictionary) 본문에서 각 주요 항목이 어떻게 정의되는지 설명해요. 함수의 형식적 이름(formal name), 계급(rank) 표기, 예시의 구성 방식을 다뤄요.

출처: 문서

본문

사전 본문의 각 주요 항목은 함수의 단항(monadic) 경우의 비공식 이름으로 시작하고 이항(dyadic) 경우의 비공식 이름으로 끝나는 줄로 머리를 이뤄요. 그 줄은 또한 함수의 형식적 이름을 포함하는데, 이는 단일 그래픽, 또는 하나 이상의 뒤따르는 변형(마침표나 콜론)으로 수식된 그래픽으로 이루어져요. 접속사의 경우 형식적 이름은 m 또는 u(명사 또는 동사 인자를 뜻함)로 시작하고 n 또는 v로 끝나요. 부사(adverb)는 오른쪽에 기호가 없어요.

세 계급(rank)도 (단항, 좌, 우의 순서로) 표시되며, 무한(무제한) 계급에는 _ 기호를 쓰고, 인자 동사의 계급에 의존하는 계급은 mu, lv 등으로 표시돼요.

각 정의마다 예시가 제공되며, 더 복잡한 예시는 아직 낯선 보조 함수를 사용할 수도 있어요. 이러한 예시는 그러한 보조 함수의 즉시 관련된 측면만을 제외한 나머지를 무시하고, 최종 결과를 구성하는 데 쓸 수 있는 구성 요소 구(phrase)들을 검토(그리고 실행을 위해 입력)함으로써 접근할 수 있어요.

예를 들어, 부사 /의 설명에서는 아래 문장들이 그 다양한 용법을 비교하기 쉽게 보여줘요:

   x=: 1 2 3 4 5 [ y=: 7 5 3
   (,.x);(x+/y);y;(x*/y);(+/y);(*/y)
+-+-------+-----+--------+--+---+
|1| 8  6 4|7 5 3| 7  5  3|15|105|
|2| 9  7 5|     |14 10  6|  |   |
|3|10  8 6|     |21 15  9|  |   |
|4|11  9 7|     |28 20 12|  |   |
|5|12 10 8|     |35 25 15|  |   |
+-+-------+-----+--------+--+---+

보조 함수 ;와 ,.이 낯설더라도 그 관련 효과는 아마 명백해요. 아니라면, 다음 실험으로 명확해질 수 있어요:

   x;y                         ,.7 8               $,.7 8
+---------+-----+           7                   2 1
|1 2 3 4 5|7 5 3|           8
+---------+-----+

각 단어에 이름(예: !:)을 제안하지만, 다른 이름을 추가로 또는 대신 사용할 수 있어요. 따라서 !에 joy를 쓸 수 있는데, 느낌표가 라틴어 io의 축약인 o 위에 놓인 I에서 유래했기 때문이에요. 마찬가지로 i.에 integers와 index of 대신 iota를 쓸 수 있어요.

더 알아보기 (Learn more)

출처: III. Definitions