semicolon

"세미콜론"의 두 판 사이의 차이

나루 위키
둘러보기로 가기 검색하러 가기
(새 문서: '''세미콜론'''{{tr|en=semicolon}}은 U+003B SEMICOLON 문자로, 세 가지 용도를 가지고 있는 토큰이다. * (개행 대신) 구분자로 사용된다. * ...)
 
(예제 추가)
 
1번째 줄: 1번째 줄:
 
'''세미콜론'''{{tr|en=semicolon}}은 U+003B SEMICOLON 문자로, 세 가지 용도를 가지고 있는 [[토큰]]이다.
 
'''세미콜론'''{{tr|en=semicolon}}은 U+003B SEMICOLON 문자로, 세 가지 용도를 가지고 있는 [[토큰]]이다.
  
* ([[개행]] 대신) [[구분자]]로 사용된다.
+
== [[구분자]] ==
* [[인자 표현식]]에서 [[암묵 인자]]보통의 인자로부터 구분한다.
+
 
* [[패턴 표현식]]에서 패턴들 사이에 들어가서 각 패턴 중 하나 이상이 대응될 수 있음을 나타낸다.
+
세미콜론은 [[개행]] 대신 [[문장]], [[지시]] 및 [[최상위 바인딩]]을 구분할 수 있다.
 +
 
 +
<pre class=naru>
 +
42 print(); 54 println() --> 4254
 +
</pre>
 +
 
 +
== [[인자 표현식]] ==
 +
 
 +
세미콜론은 인자 표현식에서 [[타입 결정]]에 사용되지 않는 인자들(이를테면 [[암묵 인자]])을 보통의 인자로부터 구분한다. 이에 맞춰 [[함수]] 선언에서도 이러한 인자는 세미콜론으로 구분한다.
 +
 
 +
<pre class=naru>
 +
ParseRadix := new type nat
 +
parse_int := fn(s: str; implicit radix: ParseRadix) -> int! { ... }
 +
 
 +
parse_int("42")!                          --> 42
 +
parse_int("42"; implicit ParseRadix(16))! --> 66
 +
</pre>
 +
 
 +
== [[패턴 표현식]] ==
 +
 
 +
세미콜론은 패턴 표현식에서 여러 패턴들 사이에 들어가 각 패턴 중 하나 이상이 대응될 수 있음을 나타낸다.
 +
 
 +
<pre class=naru>
 +
is_factor_of_12 := fn(v: int) -> bool {
 +
    if (1; 2; 3; 4; 6; 12) := v { true } else { false }
 +
}
 +
</pre>
  
 
[[분류:토큰]]
 
[[분류:토큰]]

2019년 7월 28일 (일) 19:16 기준 최신판

세미콜론은 U+003B SEMICOLON 문자로, 세 가지 용도를 가지고 있는 토큰이다.

구분자

세미콜론은 개행 대신 문장, 지시최상위 바인딩을 구분할 수 있다.

42 print(); 54 println() --> 4254

인자 표현식

세미콜론은 인자 표현식에서 타입 결정에 사용되지 않는 인자들(이를테면 암묵 인자)을 보통의 인자로부터 구분한다. 이에 맞춰 함수 선언에서도 이러한 인자는 세미콜론으로 구분한다.

ParseRadix := new type nat
parse_int := fn(s: str; implicit radix: ParseRadix) -> int! { ... }

parse_int("42")!                          --> 42
parse_int("42"; implicit ParseRadix(16))! --> 66

패턴 표현식

세미콜론은 패턴 표현식에서 여러 패턴들 사이에 들어가 각 패턴 중 하나 이상이 대응될 수 있음을 나타낸다.

is_factor_of_12 := fn(v: int) -> bool {
    if (1; 2; 3; 4; 6; 12) := v { true } else { false }
}