BrighterTube

Types Are Not Safe By Isaac Shapira

LambdaConf8.86K subscribers

About this video

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Isaac Shapira argues against the assumption that types provide safety, teaching critical analysis of type system design. The title states the specific claim being examined.

A 34-minute video from LambdaConf: “Types Are Not Safe By Isaac Shapira”.

Programming & CS

Video by LambdaConf, played through YouTube's embedded player.

Part of LambdaConf 2024