43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 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 “functional programming”
67 videos43:23
53:56
1:04:45
43:37
1:54:46
1:11:42
1:02:27Procedural Programming: It Never Went Away — Kevlin Henney | Build Stuff
Build Stuff - #1 Software Dev Conf
2 HN recommenders
54:31
46:17
47:41
1:03:34Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
Curry On!
3 HN recommenders
47:52
1:09:24
1:01:45
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
33:13"Pixie - A Lightweight Lisp with 'Magical' Powers" by Timothy Baldridge
Strange Loop Conference
2 HN recommenders
1:28:59
38:26
59:51
1:12:14Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
Code Sync
3 HN recommenders
38:36Sources 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