"Propositions as Types" by Philip Wadler
Strange Loop Conference · 9 개의 HN 추천
동영상 Q&A
AI에게 현재 장면을 설명하거나 동영상 전체를 요약해 달라고 할 수 있습니다. 답변에 타임스탬프가 있으면 선택해 해당 장면으로 이동하세요.
질문 예시: 여기서 발표자는 무엇을 설명하고 있나요?
Google 로그인이 필요합니다. 확정 전에 최대 사용 크레딧을 확인할 수 있습니다.
Philip Wadler's Strange Loop talk on Propositions as Types, the link between logic and computation (the Curry-Howard correspondence). He traces its history through Church, Godel and Turing and shows how it shaped theorem provers and programming languages.
HN에서 추천하는 이유: HN regards it as an entertaining and eye-opening introduction to why logic and functional programming are connected, and it is a frequent pick in favorite-tech-talk threads.
“best ~40 minutes I've ever spent.” HN 토론 읽기 ↗