Static typing과 dynamic typing의 차이점

Programming Language를 분류하는 기준중 하나로 '타입을 언제 확인하느냐'에 따라서 구분가능
1) static type 언어 : 컴파일 시점과 같이 실행전 시점에 타입이 올바른지를 체크
ex) C, Java, ...
2) dynamic type 언어 : 실행중에 동적으로 타입을 체크
ex) javascript, python, ...