모든 프로그래밍 언어는 타입 시스템을 가지고 있다타입 시스템이란? 언어에서 사용할 수 있는 여러 가지 값들을 어떤 기준으로 묶어 규정할 것인가?코드의 타입을 언제 검사할지?어떻게 검사할지?위와 같이 프로그래밍 언어를 사용할 때 타입과 관련해서 지켜야할 규칙들을 모아둔 체계타입 시스템의 종류정적 타입 시스템 : 코드 실행 이전 모든 변수의 타입을 고정적으로 결정함(엄격하고 고정적인 시스템)C, Java동적 타입 시스템 : 코드를 실행하고 나서 그때 그때 마다 유동적으로 변수의 타입을 결정함(자유롭고 유연한 시스템)Python, JavaScript정적 타입 시스템의 경우 엄격한 검사로 실행 전에 오류를 찾아낼 수 있지만 전체적인 타이핑의 양이 너무 커진다.반면, 동적 타입 시스템은 자유롬고 타이핑이 적지만 ..