일반
Type Safety
다른 이름: 타입 안전성 , 타입 세이프
정의
타입 안전성. 컴파일 타임 또는 런타임에 데이터 타입이 보장되는 정도. TypeScript, Rust 같은 언어가 강한 타입 안전성을 제공. 코드 리뷰 시 리뷰어의 추론 부담을 줄이고 리팩터링을 안전하게 만듦
상세 설명
기술 스펙
- 컴파일 타임 체크: TypeScript, Java, C++
- 런타임 체크: Python (타입 힌트 + mypy)
- 추론: TypeScript의 타입 추론
실무 활용
- null 참조 방지
- 함수 계약 명확화
- 리팩터링 시 영향 범위 추적
장점
- 버그 조기 발견
- 리뷰어 부담 경감
- 자동 완성 품질 향상
- IDE 지원 강화
단점 및 제약
- 초기 학습 곡선
- 코드 작성 시간 증가 (초기)
- 타입 정의 유지보수