유형 시스템과 범위 간의 관계?

Question

제목에서 알 수 있듯이이 두 프로그래밍 개념 간의 관계가 궁금합니다. 특정 유형 시스템 (정적/동적)이 특정 유형의 범위 지정 (어휘/동적)에 적합합니까? 아니면 이러한 독립적 인 언어 선택입니까?

Answer 1

변수 바인딩이 런타임에 해결되므로 정적 범위 지정은 동적 범위 지정과 함께 모든 기능을 제대로 수행하지 못합니다. 타입 시스템이 자유 변수를 어떤 식 으로든 입력해야하기 때문에, 아마도 불가능할 것입니다. 아마도 바운드 시스템을 검사함으로써 가능할 것입니다. 기본적으로 동일한 이름이지만 다른 유형의 두 개의 다른 변수를 선언 할 수 없습니다. 강력하고 약한 타이핑도 또한 등장 할 것입니다. 필자는 정적 인 약점 유형의 동적 범위 언어가 가능한지 생각하면서도 여전히 어떤 생각을하고 있습니다.

어휘 범위는 정적 및 동적 입력과 쌍을 이룹니다.