타입

타입은 컴파일 과정에서 결정되는 값의 집합이다. 효율적이고 안전한 실행을 위해 모든 값과 바인딩에는 타입이 대응되어 있어야 한다.

• 핵심 타입
  • 불린 타입 naru core bool
  • 숫자 타입
    • 자연수 타입 naru core nat
    • 정수 타입 naru core int
    • 유리수 타입 naru core rat
  • 문자열 타입 naru core str
  • 레코드 타입 naru core rec[...]
  • 컬렉션 - 반복자 naru core iter[T]
    • 범위 naru core range
    • 배열
    • 벡터 naru core vec[T]
    • 매핑 naru core map[K, V]
  • 참조 타입 naru core ref[T]
  • 옵션 타입 naru core option[T]
  • 결과 타입 naru core result[T, E]
  • 함수 타입 naru core func[...] - 메소드
• 복합 타입
  • 새 타입
  • 트레이트
  • 선택 타입
  • 일반화 타입
• 부동소숫점 타입
• 추상 문법 트리 타입
• 타입 타입 naru core Type