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

Why it was recommended

Simon Peyton Jones has a great talk on YouTube [3]

Recommendationthrowaway17_17 · Original2020-03

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. It is for someone who wants the derivation, proof, or implementation detail.

Video details

Channel

Curry On!

Length

1 hr 3 min

Year

2018

More in this topic

• How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework
• Why Isn't Functional Programming the Norm? – Richard Feldman
• Maybe Not - Rich Hickey
• Conway's Game Of Life in APL
• Lecture 1A | MIT 6.001 Structure and Interpretation, 1986
• Crockford on JavaScript - Volume 1: The Early Years