44:35Programming 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 “rom”
40 videos44:35
43:58"The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)
Strange Loop Conference
10 HN recommenders
1:04:53
39:58
1:04:16Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
Churchill College, University of Cambridge
5 HN recommenders
40:39
17:26
54:35"An approach to computing and sustainability inspired from permaculture" by Devine Lu Linvega
Strange Loop Conference
4 HN recommenders
1:14:32
43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 HN recommenders
3:03:54
1:04:45
43:37
1:54:46
38:19
22:15
13:48
1:01:45
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:27The Forgotten Art of Structured Programming - Kevlin Henney [C++ on Sea 2019]
cpponsea
2 HN recommenders
40:57"Hedy: A Gradual programming language" by Felienne Hermans (Strange Loop 2022)
Strange Loop Conference
2 HN recommenders
9:30Sources 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