정적 타이핑 (Static typing)

정적 타입(statically-typed) 언어는 컴파일 시간에 변수 타입이 알려진 언어(Java, C, or C++ 등) 입니다. 대부분의 언어에서는 프로그래머가 타입을 명시적으로 표시해야 합니다. (OCaml와 같이) 다른 경우에는, 타입 추론을 통해 프로그래머가 변수 타입을 표시하지 않을 수 있습니다.