@rae: How emacs makes merging ridiculously easy

(13:26)

@rae: How whitespace works in Haskell

(17:59)

@rae: How to read some common GHC errors

(11:15)

@rae: How to use hs-boot files to make mutually recursive modules in Haskell

(9:53)

@rae: How to use record-update syntax in Haskell (+ some dark corners)

(13:29)

@rae: How to sneak an access to the type-checker from Template Haskell

(14:4)

@rae: How to program in types with length-indexed vectors: Part 1

(13:22)

@rae: How to choose between Typeable, Data, and Generic in Haskell

(19:36)

Drawing The Same Thing In 8 Hours, 80 Minutes \u0026 8 Seconds! (i think i did good!!)

(11:45)

Thomas Dietert-Types as Program Specifications: A Intro to Type-Level Programming in Haskell λC 2019

(1:57:5)

Constrained Type Families

(16:21)

@rae: Wordle #5: Unit tests, QuickCheck, and CI in Haskell

(55:49)

Datatype-Generic Programming by Andres Löh - Advanced Track @ ZuriHac 2020

(3:8:46)

@rae: The principles behind an update to scoped type variables

(17:53)

@rae: What happens when a Haskell programmer writes Java

(35:52)

@rae: Functional dependency consistency is inconsistent

(16:20)

Building a GTK App With Haskell (In Under An Hour)

(45:47)

@rae: Why Haskell can't get rid of Proxy (yet)

(8:57)

@rae: How to publish a scholarly paper

(14:30)

@rae: Ideas for optimizing Haskell

(15:6)

@rae: Removing (/=) from the Eq type class

(13:58)

@rae: Avoid boilerplate instances with -XDerivingVia

(15:20)

@rae: Update on Dependent Haskell

(9:46)

@rae: Existentials and writing functions for length-indexed vectors

(29:47)

@rae: DeriveAnyClass considered dangerous

(12:52)

@rae: Use closed type families for beautiful type inference

(14:4)

@rae: All about `deriving` in GHC

(17:29)

@rae: ImpredicativeTypes and TypeFamilies don't mix

(8:24)

#shorts | original audio by Rae Dizzle 😊

(16)