강타입 언어
변수의 데이터 타입을 엄격하게 제한하는 프로그래밍 언어이다. 컴파일 시점에 오류를 발견할 수 있어 AI 에이전트에게 유리할 것으로 예상되었으나 벤치마크 결과는 다르게 나타났다.