2
범용 / 기존 정량화?
나는 보편적이고 존재하는 유형의 정량화의 목적을 이해하려고 애 쓰고 있습니다. 나는 미적분학을 기반으로 장난감 언어를 쓰고 놀고 있습니다 . 더 나은 이해를 돕기 위해 Morte 와 Henk 에 대해 읽었습니다 . 왜 CoC가 람다와 모든 추상화를 가지고 있는지 이해할 수 없습니다. ( ∀ X : . B )(λx:A.B)(λx:A.B)(\lambda x:A . …