핵심 타입

핵심 타입은 거의 모든 나루 코드가 쓸 것이라 예상되어 기본 제공되는 타입이다. 이들 타입은 naru core에 정의되어 있으며, 이름 규칙의 예외로 첫 글자를 소문자로 쓴다(예: 자연수 타입 nat).

타입	타입명	문법
불린	naru core bool	불린 리터럴 true 및 false
자연수	naru core nat	숫자 리터럴 1234
정수	naru core int	nat에서 변환
유리수	naru core rat	숫자 리터럴 123.456, 또는 nat에서 변환
문자열	naru core str	문자열 리터럴 "asdf"
레코드	naru core rec[...] = (T, ...)	레코드 표현식 (1, 2, 3)
참조	naru core ref[T] = T@	new 연산자 new expr
함수	naru core func[...] = fn(T, ...) -> U	함수 선언 fn(...) { stmt... }
옵션	naru core option[T] = T?	???
결과	naru core result[T, E] = T!E	???