이 논문에서는 전략적 유형 이론(StraTT)을 소개합니다. StraTT는 유형 계층 대신 유형 판단을 계층화하여 일관성을 유지합니다. 이를 통해 유형 내 유형 규칙과 함께 종속 함수를 지원할 수 있습니다.
StraTT의 핵심 기능은 다음과 같습니다:
이 논문에서는 결정가능한 유형, 라이프니츠 등가, 종속 쌍과 같은 예제를 통해 StraTT의 표현력을 보여줍니다. 또한 subStraTT의 일관성과 StraTT의 유형 안전성을 증명했습니다. 전체 StraTT의 일관성은 여전히 미해결 문제입니다.
A otro idioma
del contenido fuente
arxiv.org
Ideas clave extraídas de
by Jonathan Cha... a las arxiv.org 04-09-2024
https://arxiv.org/pdf/2309.12164.pdfConsultas más profundas