Type Systems in Two Words

on YouTube ↗01h 00m

" summary

Overview of the history and theory behind programming language type systems: Church’s lambda calculus, the lambda cube, and linear types are explained. The talk examines why modern type systems (as used by Flow and TypeScript for JavaScript) are designed the way they are, assesses the current state of language type systems, and outlines possible future directions.

AI-written summary · about

" chapters (6)

1. 0:00Introduction
2. 2:02Modern type theory
3. 11:54Lambda calculus typing
4. 26:22Type correctness
5. 39:11Future of type systems
6. 53:53Q&A

" related talks

• 38mType Systems - The Good, Bad and UglyPaul Snively, Amanda Laucher · Strange Loop 2014
• 47mHistory and Philosophy of typesTomas Petricek · Lambda Days 2016
• 34mThe design of JavaScript type systemsDimitris Vardoulakis · Strange Loop 2017
• 39mCommunicating in TypesKris Jenkins · Øredev 2018
• 36mThe Superpowers of TypesXavier Detant · Best of Web 2019
• 53m"Strict" JavaScript: Types Versus RealityIlya Klimov · HolyJS 2017 Piter
• 36mCommunicating in TypesKris Jenkins · GOTO Copenhagen 2024
• 01h 12mTruth about TypesBartosz Milewski · Lambda Days 2016