The Haskell Interlude

28: Richard Eisenberg

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