분류:정적 타입 프로그래밍 언어