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

Why HN readers recommended it

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

This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.

Video & recommendation details

Creator / channel

Curry On!

Topic

linear types

Format

talk

Level

advanced

HN recommenders in dataset

3

HN mentions in dataset

6

Recommendation years in dataset

2018–2020

These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.

From the original HN conversations

Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.

• Something to keep in mind - linear types are on their way[1], with exactly this usecase in mind. Simon Peyton Jones gave an excellent presentation on the topic[2], briefly discussing exceptions, as well as giving a mention to ResourceT and the phantom type solution in …

• Session Types, AFAIU are a specific implementation of a linear logic in some type system and I am not all too familiar with them in practice. However, I would like to think I am well versed in Linear Logic and Substructural Type Theory. I think …

• SPJ usually makes great introductions about new things being introduced to GHC. Here's one about linear types: [VIDEO] > How do people that don't have PhDs bridge the gap in their knowledge from what's commonly taught/used (OOP and it's design patterns) to thinking in terms …