HackerTube / Video
Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
Curry On!
Simon Peyton Jones presents linear types for Haskell, showing how practical linearity can fit into a higher-order polymorphic language. The talk covers motivations such as resource handling and relates the ideas to Rust.
HN recommends it as a clear introduction to linear types in GHC from the language's lead designer.
6 Hacker News mentions · 2018–2020