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
Introduction
00:00 • 3min
How I Learned to Programming at Microsoft
02:35 • 2min
C++: The First Object Oriented Programming Language
04:55 • 2min
The C++ Introduction Story
06:49 • 2min
C++ and the Object Paradigm
08:25 • 2min
How I Left Microsoft and Set Up a Distributed Company
09:59 • 2min
How to Write Object-Oriented Code in C++
11:50 • 2min
How I Learned Functional Programming in Haskell
14:15 • 2min
How I Found My Niche Writing in Haskell
16:11 • 2min
How to Learn Category Theory in Haskell
17:52 • 2min
The Appeal of Category Theory to Me
19:56 • 2min
How I Learned to Read Categories for the Working Mathematician
21:42 • 2min
How to Learn Category Theory
23:46 • 2min
The Importance of Category Theory in Haskell Programming
25:48 • 4min
How to Learn Category Theory
29:28 • 4min
Template Meta Programming in C++
33:27 • 3min
The DAO Functional Programming
36:51 • 4min
The Importance of Universal Construction in Programming
40:31 • 3min
The Importance of Haskell in Category Theory
43:49 • 2min
The Deficits of Haskell
45:28 • 2min
Laziness Versus Strictness in Haskell
47:37 • 3min
The Importance of Laziness
50:15 • 2min
The End of Programming and Mathematics
51:57 • 4min