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 “gui programming”
15 videos44:35
56:27
1:02:36
2:08:02
44:43Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On
Curry On!
3 HN recommenders
21:01
3:15:51Guido van Rossum: Python and the Future of Programming | Lex Fridman Podcast #341
Lex Fridman
2 HN recommenders
46:04
19:44
49:06
16:48Yesterday's Computer of Tomorrow: The Xerox Alto │Smalltalk-76 Demo
Computer History Museum
1 HN recommender
1:15:19Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen
ClojureTV
1 HN recommender
49:27
56:55
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