Type System - 컴퓨터공학 > 프로그래밍 언어론 | AI Insight Note

타입 시스템(Type System)은 프로그래밍 언어에서 값과 변수의 종류(타입)를 분류하고 검사하는 규칙의 집합이다. 타입 오류를 컴파일/런타임에 잡아내 프로그램의 안전성을 높인다.

정적 vs 동적 타입

python

# Python (강 타입): 암묵적 변환 없음
"10" + 10  # TypeError

# JavaScript (약 타입): 암묵적 변환
"10" + 10  # "1010" (문자열)
"10" - 10  # 0 (숫자)

kotlin

// Kotlin — 명시적 타입 선언 불필요
val name = "Alice"    // 컴파일러가 String 추론
val age = 30          // Int 추론
val price = 1.5       // Double 추론