컴파일 타임 추상화의 의미는 무엇입니까?

Question

"런타임 동작의 컴파일 시간 추상화"문장을 보았습니다. 여기서 컴파일 시간 추상화는 무엇입니까? 내 추측은 예를 들어

,/할 컴파일 시간에 할 수있는 일들 만 런타임에서 할 수있는 일 만 떠나는 공간을 최적화하기 위해 노력하고, 언어처럼

될 것 . int a; a = 5; // 5는 const가 아닌 한 컴파일 타임에만 할당 할 수 있습니다. 사용자가 프로그램을 작성한 경우 명령 줄, 표준 입력, 핀 등에서 입력을 얻을 수 있기 때문입니다

당신이 바로 유형 ...... 알고 이후 // INT, 컴파일시에 수행 할 수 있습니다로

는

Answer 1

당신이

에서 "컴파일 시간을 추상화"혼동하는 것 같다

정적 유형 검사는 프로그램의 런타임 동작을 컴파일 타임으로 추상화 한 것으로서 ...

단어 "추상화"가 "근사"로 대체 된 경우

,

(당신은 당신의 코멘트에 연결 한 것을 "가능한 동적 타이핑이 필요한 정적 타이핑"논문에서 인용) 그 이상을 만들 것 너 한테 감각이 있니?

유형 T의 표현식 E가 주어지면, T는 컴파일 타임에 실행 시간 (E를 평가할 때)에서 계산 된 값의 종류와 근사치라고 말할 수 있습니다. 예를 들어, [integer] 타입의 [2 + 2 * 3] 표현식이 있다고 가정하면 "이 표현식은 정수로 평가됩니다"라고 말할 수 있습니다.