정적 타입 언어(Static Typed Languages) 변수가 선언될 때 타입이 결정된다. 프로그램이 실행되기 전에, 컴파일 시간에 변수의 타입을 검사하며, 타입 에러는 주로 컴파일 시간에 발견되기 때문에, 실행 전에 많은 오류를 방지할 수 있다. 예: C, C++, Java, Rust 등 동적 타입 언어(Dynamic Typed Languages) 변수의 타입이 실행 시간에 결정된다. 타입 검사가 실행 시간에 이루어지며, 변수는 여러 타입의 값들을 담을 수 있다. 타입 에러는 프로그램이 실행될 때 발견될 수 있으며, 런타임 에러로 이어질 수 있다. 예: Python, JavaScript, Ruby 등 이 두 타입 시스템 간의 주요 차이는 타입의 안정성과 유연성에 관한 절충에서 발생한다. 정적 타입 ..