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
Introduction
00:00 • 3min
The Pain of Singleton-Based Programming
02:44 • 2min
How to Prove Associativity in Haskell
04:58 • 2min
The Importance of Compile Time Programming
06:53 • 2min
The Dangers of Termination in Haskell
08:47 • 2min
How Haskell Is Affecting Other Programmers
10:33 • 3min
The Dependent Types Project
13:49 • 3min
Haskell Foundation: A Growing Movement to Facilitate Collaboration
16:44 • 2min
The Importance of OCaml in Haskell
18:17 • 2min
The Unrelated Uses of Functors in OCaml
20:09 • 2min
The Differences Between Haskell and OCaml
21:41 • 2min
The Importance of Ordered Definitions in Haskell
23:43 • 3min
The Differences Between Haskell and OCaml
26:53 • 2min
Ocama and Haskell's Parallelism
28:27 • 2min
How to Use Scope-Type Variables in Java
30:00 • 2min
The Importance of Documentation in GHC
32:00 • 2min
How to Solve Constraints in Haskell
33:52 • 4min
The Importance of Equality in GHC
38:19 • 3min
Haskell's Type Inference: A Non-Canon Call
41:06 • 2min
How to Improve Haskell's Type Checker
42:57 • 2min
The Importance of Commenting in Programming
44:44 • 2min
The Importance of Local Namespaces in Haskell
46:25 • 3min