hackertube.io

Philip Wadler - Propositions as Types (Lambda Days 2016)

Erlang Solutions · talk · Watch on YouTube

Logic & formal methodsProgramming language designFunctional programming

What it is

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 Hacker News recommends it

Recommended as an exceptional whirlwind tour of the foundations of computer science.

  • 2 people recommended it
  • 2 different months
  • 1 strong recommendations
  • first 2016, last 2021

What HN commenters said

  1. “This[0] is an incredibly awesome lecture where Phil Wadler takes us on a whirlwind tour of computer science.”

    Whirlwind tour of foundational structures underlying computer science

    vishnugupta, 2021-05 · Strong recommendation · in ““Computer science is not about computers””

  2. “I recommend you watch a Phillip Wadler talk about this”

    Wadler explains the correspondence between typed programs and proofs

    knucklesandwich, 2016-05 · Recommendation · in “Type Wars”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: curry-howard, type theory, lambda calculus, functional programming, logic

Also recommended by the same people