Simon Peyton Jones: Linear Types in Haskell
Curry On! · Talk · 1 h 4 min · 2018 · YouTube title: Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
Why it's here
HN recommends it as a clear introduction to linear types in GHC from the language's lead designer.
What it covers
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.