hackertube.io

Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language

Curry On! · talk · Watch on YouTube

Programming language designFunctional programming

What it is

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.

Why Hacker News recommends it

HN recommends it as a clear introduction to linear types in GHC from the language's lead designer.

  • 3 people recommended it
  • 3 different months
  • 0 strong recommendations
  • first 2018, last 2020

What HN commenters said

  1. “Simon Peyton Jones gave an excellent presentation on the topic[2]”

    Peyton Jones on linear types and exceptions

    T-R, 2018-10 · Recommendation · in “Rust RAII is better than the Haskell bracket pattern”

  2. “Simon Peyton Jones has a great talk on YouTube [3]”

    Practical linear types for Haskell

    throwaway17_17, 2020-03 · Recommendation · in “Programming Models for Distributed Computation”

  3. “SPJ usually makes great introductions about new things being introduced to GHC.”

    Introduction to linear types in GHC

    pyrale, 2020-09 · Recommendation · in “Haskell GHC 9.0.1-alpha”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: haskell, linear types, ghc, type systems, rust

Also recommended by the same people