10
Curry-Howard Isomorphism에서 발생하는 가장 흥미로운 등가물은 무엇입니까?
저는 프로그래밍 생애에서 비교적 늦게 Curry-Howard Isomorphism을 접하게 되었고 아마도 이것이 제가 완전히 매료 된 데 기여했을 것입니다. 이는 모든 프로그래밍 개념에 대해 형식 논리에 정확한 아날로그가 존재하며 그 반대의 경우도 있음을 의미합니다. 여기 내 머리 꼭대기에서 그러한 비유의 "기본"목록이 있습니다. program/definition | proof type/declaration | proposition inhabited type | …