"Propositions as Types" by Philip Wadler
Strange Loop Conference · 9 recomendações no HN
Perguntas sobre o vídeo
Peça à IA para explicar esta cena ou resumir o vídeo inteiro. Se a resposta tiver marcações de tempo, selecione uma para ir ao trecho.
Experimente perguntar: O que a pessoa está explicando aqui?
Entre com o Google. Confira o custo máximo em créditos antes de confirmar.
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.
Por que o HN recomenda: 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.” Ler no HN ↗