46:09Programming 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 “ide”
40 videos46:09
1:03:29
1:12:56
53:31
1:55:24
41:06"Unison: a new distributed programming language" by Paul Chiusano
Strange Loop Conference
7 HN recommenders
2:03:12
23:12
1:02:36
1:04:16Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
Churchill College, University of Cambridge
5 HN recommenders
51:32
1:10:11
53:56
43:37
38:19
1:01:51
1:03:34Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
Curry On!
3 HN recommenders
15:03
1:00:34
1:09:38"How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)
Strange Loop Conference
2 HN recommenders
46:04
5:11
38:26
59:51Sources 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