1:14:52Programming 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 “ite”
33 videos
1:14:52
1:03:31
44:35
1:07:22
51:40
2:03:12
42:34Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know...)
jasonofthel33t
5 HN recommenders
35:24The Unreasonable Effectiveness of Multiple Dispatch | Stefan Karpinski | JuliaCon 2019
The Julia Programming Language
9 HN recommenders
1:00:56
56:39
54:10
50:49
44:43Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On
Curry On!
3 HN recommenders
28:00
1:14:32
43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 HN recommenders
33:52
28:06
1:02:27Procedural Programming: It Never Went Away — Kevlin Henney | Build Stuff
Build Stuff - #1 Software Dev Conf
2 HN recommenders
54:31
22:15
15:03
1:00:34
19:44Sources 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