타입 안정성
프로그램 내에서 데이터 타입이 올바르게 사용되도록 보장하는 성질이다. 컴파일 시점이나 정적 분석 단계에서 타입 오류를 발견하여 런타임 에러를 방지하고 코드의 신뢰성을 높인다.