Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
19K views • 8 years ago
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.
