1:03:48Programming 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 “ice”
23 videos1:03:48
43:58"The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)
Strange Loop Conference
10 HN recommenders
39:58
56:27
19:12Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017
The Julia Programming Language
3 HN recommenders
1:00:56
43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 HN recommenders
22:15
47:52
1:09:24
38:26
39:26"Cursorless: A spoken language for editing code" by Pokey Rule (Strange Loop 2023)
Strange Loop Conference
2 HN recommenders
45:03
44:59
59:03Breaking Down Programming Paradigms: APL's Surprising Learning Curve // Aaron Hsu // Dyalog '17
Dyalog User Meetings
1 HN recommender
1:24:39Mojo Lang - Tomorrow's High Performance Python? (with Chris Lattner)
Developer Voices
1 HN recommender
57:53
1:06:26
22:17
8:45Racket: Why I Think It’s a Great Language, and Why I’m Not Using It Anymore
Leandro Facchinetti
Discussed on HN
27:26
1:06:20
48:19Sources 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