Hindley–Milner를 기반으로 유형 유추를 사용하여 기본적으로 유형이 상자 해제 된 언어가 있습니다. 주로 실존 유형으로 작업하기 위해 더 높은 순위의 다형성을 추가하고 싶습니다. 이러한 유형 을 확인 하는 방법을 이해 하고 있지만 컴파일 할 때 무엇을 해야할지 잘 모르겠습니다. 현재 저는 C ++ 템플릿과 같이 전문화를 생성하여 다형성 정의를 컴파일하여 …
문제는 다음과 같습니다. 일반적으로 다음과 같은 용어가있을 때Λ X. 티Λ엑스.티\Lambda X.t인스턴스 와 같이이 용어를 유형 에 적용하여 전체를 제거 할 수 있습니다 .( Λ X. t ) [ T] → t [ X: = T](Λ엑스.티)[티]→티[엑스: =티](\Lambda X.t)[T]\to t[X:=T] 이제 이것이 화살표라고 가정하고 인수를 주려고합니다. 그런 다음이 인수를받을 수 있도록이 용어를 …