type safety

타입은 컴파일 전에 확정하고, 인덱스는 필요할 때 검사한다

Rust는 가능한 많은 오류를 실행 전에 막고, 입력처럼 늦게 정해지는 값은 실행 중에도 확인합니다.

1

값의 종류

true, 42, '가'

스칼라 값은 하나의 명확한 타입으로 해석됩니다.

2

모호한 변환

parse::<u32>()

후보가 여러 개면 타입 명시가 컴파일러의 단서가 됩니다.

3

묶음의 규칙

(i32, f64) / [i32; 5]

튜플은 다른 타입 묶음, 배열은 같은 타입 고정 길이입니다.

4

범위 검사

a[index]

입력 인덱스가 길이를 넘으면 안전하게 패닉으로 멈춥니다.