5
내가 배울 수있는 가장 직관적 인 의존형 이론은 무엇입니까?
의존적 타이핑에 대한 확실한 이해에 관심이 있습니다. 나는 대부분의 TaPL을 읽었고 ATTaPL 에서 '종속 유형'을 읽었습니다 (완전히 흡수되지 않은 경우) . 또한 의존적 타이핑에 관한 많은 기사를 읽고 훑어 보았습니다. 많은 유형 이론 토론은 "유형 시스템 X에서 다음으로 큰 일반화는 무엇입니까?"가 아니라 이전 유형 시스템에 증분 기능을 추가하는 데 중점을 …