48:46Programming 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 “sync”
12 videos48:46
32:24
44:43Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On
Curry On!
3 HN recommenders
43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 HN recommenders
3:03:54
49:20
3:15:51Guido van Rossum: Python and the Future of Programming | Lex Fridman Podcast #341
Lex Fridman
2 HN recommenders
33:13"Pixie - A Lightweight Lisp with 'Magical' Powers" by Timothy Baldridge
Strange Loop Conference
2 HN recommenders
58:08
1:12:14Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
Code Sync
3 HN recommenders
1:00:23
40:15Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023
Code Sync
Discussed on HN
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