에서 프로그래밍 언어의 개념 , 존 미첼은 정적 타입 검사 때문에 중단 문제의 (지나치게 엄격한) 반드시 보수적이라고 씁니다. 그는 예를 들면 다음과 같습니다.
if (complicated-expression-that-could-run-forever)
then (expression-with-type-error)
else (expression-with-type-error)
누군가 실제적으로 우려 할만한 미해결 된 답변을 제공 할 수 있습니까?
Java는 다음과 같은 경우 동적으로 확인 된 캐스트를 허용합니다.
if (foo instanceof Person) {
Person p = (Person) foo;
:
}
그러나 나는 언어 간 문제보다 더 많은 Java 언어 / 컴파일러 부족의 필요성을 고려합니다.
2
당신이 준 자바 예 이다 의 비 인위적인 예를 정적 유형 검사도 보수적. 다시 말하면 대답은 당신이 생각하는 유형 시스템에 달려 있습니다. 예를 들어, 항상 그 예를 처리 할 수있는 유형 시스템이있을 것입니다 (유형 시스템은 그 예에서 너무 보수적이지 않습니다). 모든 유형 시스템의 경우 항상 너무 보수적 인 예를 찾을 수 있습니다. 따라서 유형 시스템을 지정해야한다고 생각합니다. Java 유형 시스템이 마음에 들지 않으면 더 구체적으로 생각하고 있습니까? ML 스타일 타입 추론?
—
DW
예는 정적 코드 분석 중 하나 가 "유사한 유형"이 아니라 "보수적" 이라고 주장 할 수 있습니다 . "보수적" 을 정의하는 것이 도움이 될 것 입니다. 틀림없이 모든 정적 유형 시스템은 동적 시스템과 비교하여 "보수적"일 것입니다. 왜냐하면 전자는 컴파일 타임 에 정의에 의해 더 엄격하기 때문 입니다. 그러나 동적 검사는 유사한 (유형 기반) 오류도 반환 할 수 있기 때문에 런타임에 더 엄격하지 않다고 주장 할 수 있습니다. 그건 그렇고, 언어로 된 런타임 동적 확인 캐스트는 결함 이 아니며 대부분 정적으로 확인 된 언어로되어있을 수 있습니다.
—
vzn