세미콜론

세미콜론은 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 }
}