1:03:34Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
Curry On!
3 HN recommenders
Programming language design
Programming language design: language semantics, type systems, type theory, syntax, language features, Jai, Haskell type classes, Rust design, language history, why languages succeed or fail.
- Topic: Programming language design
Results for “ar”
152 videos1:03:34
47:52
1:01:04
1:09:24
1:01:45
56:03
15:03
1:00:34
52:01
56:58
1:58:46
1:09:38"How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)
Strange Loop Conference
2 HN recommenders
1:42:53
52:40
33:13"Pixie - A Lightweight Lisp with 'Magical' Powers" by Timothy Baldridge
Strange Loop Conference
2 HN recommenders
55:44
38:26
39:40
58:08
59:51
39:26"Cursorless: A spoken language for editing code" by Pokey Rule (Strange Loop 2023)
Strange Loop Conference
2 HN recommenders
19:44
1:29:49
1:12:14Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
Code Sync
3 HN recommenders
Sources and selection
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes