Chapters
Transcript
Episode notes
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
Introduction
00:00 • 2min
OCaml Labs - What Do You Like About Language Design?
02:19 • 2min
The Challenges of Programming Language Design
04:17 • 2min
Is There an Academic Equivalent of Programming Languages?
06:25 • 2min
O'Kamel: A General Purpose Programming Language
08:30 • 2min
Laziness in Haskell Is Like Wearing a Hair Shirt
10:56 • 2min
Haskell and Modularity
13:10 • 2min
Ad Hoc Polymorphism in Languages of the Module System
15:25 • 2min
Is There Really Multiple Types of Addition on Integers?
17:35 • 2min
Is There a Trade-Off Between Mathematical Simplicity and Programmability?
19:39 • 2min
Is C++ Really a Good Language?
21:16 • 3min
Programming Language Design - What's the Difference?
24:23 • 2min
OCaml Is a Great Example of Language Evolution
26:00 • 3min
The Constraints Around Evolving Languages
29:02 • 3min
O'Kammel
32:16 • 2min
O'Kammel - A Low Level Language
34:24 • 2min
How to Make a Better Low Level Systems Programming Language?
36:02 • 2min
Haskell Dependent Types
38:20 • 3min
Is Dependent Types the Best Option?
41:02 • 2min
Working on a Programming Language
42:42 • 4min
O'Kamel
46:24 • 2min
Forking the Language? What Are the Trade-Offs?
48:20 • 2min
The Holy Grail of Programming Language Design
50:43 • 2min
Is There a Stockholm Syndrome in O'Kamels?
53:08 • 2min
How to Write a Program That Writes a Programmable Programmable Program
54:45 • 2min
The Optimization of Programming Languages
56:33 • 2min
Open Python Generators - A Good Example of a Mathematically Simple Approach
58:46 • 3min
Modular Imperative - Is There a Better Adjective?
01:01:17 • 2min
Skarler
01:03:43 • 2min
Algebraic Effects and Modular Imperative
01:05:54 • 2min