타입시스템이란? 언어에서 사용할 수 있는 아주 여러가지 값들을 어떤 기준으로 묶어서 타입으로 정할지 결정하고,또 코드의 타입을 언제 검사할지 그리고 어떻게 검사할지 등 우리가 프로그래밍 언어를 사용할 때 타입과 관련하여 지켜야 하는 규칙들을 모아둔 체계입니다. 이 타입시스템은 크게 두가지로 나눌 수 있는데, 첫번째는 모든 변수의 타입을 고정적으로 결정하는 정적 타입 시스템이있고, 나머지 하나는 코드를 실행하기 전에는 타입을 결정하지 않고, 코드를 실행하고 나서 그때그때 마다 유동적으로 변수의 타입을 결정하는 동적 타입 시스템이 있습니다 보통 C 나 Java 같은 엄격한 문법을 가진 언어들은 당연히 엄격한 정적 타입 시스템을 사용하고 있고, 파이썬이나 자바스크립트 같은 유연한 문법을 가진 언어들은 동적 타..
