타입 규칙

기본 타입

Int = I64, Float = F64입니다. 정수는 I8, I16, I32, I64, U8, U16, U32, U64, 실수는 F32, F64입니다. Bool은 true 또는 false, Unit의 값은 ()입니다. 문자열은 바이트열입니다.

변환과 범위

숫자 타입은 자동으로 섞이지 않습니다. i32(value)처럼 변환합니다. 변환 결과가 범위를 벗어나면 오류입니다. 정수 +, -, *는 범위를 넘으면 순환합니다. 0으로 나누기와 부호 있는 최솟값을 -1로 나누기는 런타임 오류입니다.

복합 타입

Vec<T>, 구조체, enum, 튜플을 지원합니다. impl에 메서드를 선언합니다. 제네릭 함수·타입을 사용할 수 있으며, 추론할 수 없는 경우 모든 타입 인자를 명시합니다. 재귀 타입에는 Box 또는 Vec 경계가 필요합니다. 구조체와 enum의 ==는 지원하지 않습니다.

관련 학습: 변수와 값 · 구조체와 enum · 제네릭과 타입 추론

단계별 예제: 자료형과 형 변환 · Box와 재귀 자료구조