유형삭제

Type erasure

프로그래밍 언어에서 유형 삭제는 런타임에 실행되기 전에 프로그램에서 명시적 유형의 주석을 제거하는 로드 타임 프로세스다.프로그램이 유형과 동반될 필요가 없는 운영 의미론을 유형 삭제 의미론이라고 하며, 형식 통과 의미론과는 대조된다.프로그램의 런타임 실행이 타입 정보에 의존하지 않도록 하는, 타입-삭제 의미론(type-ereasurement semantics)을 부여하는 가능성은 일종의 추상화 원리다.일반적인 프로그래밍의 맥락에서 유형 삭제의 반대는 재화라고 불린다.[1]

유형추론

주요 기사:유형추론

역작용을 형식추론이라고 한다.형식 삭제는 암묵적으로 입력된 언어(암묵적으로 입력된 용어가 명시적으로 입력된 람다 용어의 삭제일 경우에만 잘 타이핑된 경우)를 정의하는 쉬운 방법으로 사용될 수 있지만, 암묵적으로 입력된 용어를 확인하는 알고리즘으로 항상 이어지는 것은 아니다.

참고 항목

참조

  1. ^ Langer, Angelika. "What is reification?".


Stub icon

이 컴퓨터 과학 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.