THE VIDEO SHELF · propositions as types
Philip Wadler - Propositions as Types (Lambda Days 2016)
Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.
Why HN readers recommended it
Recommended as an exceptional whirlwind tour of the foundations of computer science.
This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.
Video & recommendation details
- Creator / channel
- Erlang Solutions
- Topic
- propositions as types
- Format
- talk
- Level
- intermediate
- HN recommenders in dataset
- 2
- HN mentions in dataset
- 3
- Recommendation years in dataset
- 2016–2021
These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.
From the original HN conversations
Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.
I suggest a combination of theory (videos/books/papers) and practice. For practice; I highly recommend learning Haskell. If you are new to functional programming then learning Haskell is challenging and frustrating but as with any new topic the key is to not give up but keep …
vishnugupta on Hacker News · 2021-05
In “Computer science is not about computers”> Neither is static typing. It's a layer of protection, much like tests. Not true. The curry-howard correspondence shows the relationship between typed programs and proofs. I recommend you watch a Phillip Wadler talk about this: [VIDEO] Note: This doesn't mean that type systems can …
knucklesandwich on Hacker News · 2016-05
In Type Wars
Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.
