자연수 타입
둘러보기로 가기
검색하러 가기
자연수 타입(naru core nat
)은 0 이상의 자연수를 저장할 수 있는 핵심 타입이다. 이 타입은 임의 정밀도이다.
x: nat := 42 y: nat := 57 (x + y) println() --> 99 (x * y) println() --> 2394 (y / x) println() --> 57/42 ([[rat]]) (y // x) println() --> 1 (y % x) println() --> 15
nat
에 마이너스 연산자를 적용한 결과는 int
이다. 이는 음수 숫자 리터럴을 지원하기 위함이다.
x: nat := -3 -- 타입 오류. 런타임 오류가 아니다.
nat
에서 뺄셈 연산자는 음수로 언더플로할 수 있다. 이 경우 OutOfBound
실패가 발생한다.