[%] 커리 하워드 대응이 뭔지 아시는 분?

[익명(223.38)]

이론 프로그래밍에서 type theory 관련해서 중요한 내용 같은데 설명을 찾아낼 수가 없음...

[익명(175.223)]

작아계속 상한글

[나니킷(nanikit)]

내 겉핥기 지식으론 프로그램을 구현하는 게 곧 증명과 같다는 거라고 알고 있음. A라는 전제에서 B라는 결론을 얻고 싶다면 A → B 타입 함수를 짜는 게 증명하는 것이 된다고 본 듯.