컴파일 시 변수의 타입(자료형)이 결정되는 언어
즉, 사용자가 직접 변수의 타입을 명시해줘야 한다.
👉정적 타입 언어: Java, C, C++, C#, Scala, Fortran, Haskell, ML, Pascal
컴파일 시 자료형을 정하는 것이 아닌 런타임 시 결정
즉, 사용자는 타입 없이 변수만 선언하여 값을 지정할 수 있다.
👉동적 타입 언어: Groovy, Python, JavaScript, Ruby, Smalltalk, Lisp, Objective-C, PHP, Prolog