@rae: Roles can break abstraction

(13:56)

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

(29:47)

@rae: Impredicative types and dynamic types -- useful in parsing JSON

(19:58)

@rae: RebindableSyntax in Haskell

(19:13)

@rae: All about `deriving` in GHC

(17:29)

@rae: Type families help define functions over length-indexed vectors

(11:40)

@rae: Some functions on length-indexed vectors require custom GADTs

(17:43)

@rae: Use Coercible for zero-cost abstractions

(16:11)

Larine's New Order vs Orc Insane AI - Struggles of Arkain

(23:1econd)

Entrevista con Darío Villanueva, director de la Real Academia Española (RAE)

(39:29)

La RAE alerta que el español puede convertirse en inviable si se utilizan términos como PORTAVOZAS

(5:48)

@rae: What happens when a Haskell programmer writes Java

(35:52)

@rae: How emacs makes merging ridiculously easy

(13:26)

@rae: Functional dependency consistency is inconsistent

(16:20)

@rae: IO is just the state monad passing the real world

(9:35)

@rae: UndecidableInstances can actually cause a runtime loop. Eek!

(17:40)

@rae: Avoid losing money via -XLinearTypes

(16:19)

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

(1:57:5)

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

(13:22)

@rae: Figuring out what constraints to generalize is hard

(9:48)

@rae: Ideas for optimizing Haskell

(15:6)

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

(13:58)

@rae: DeriveAnyClass considered dangerous

(12:52)

@rae: Using proofs to make functions faster over length-indexed vectors

(25:14)

@rae: Avoid boilerplate instances with -XDerivingVia

(15:20)

@rae: ImpredicativeTypes and TypeFamilies don't mix

(8:24)

@rae: Update on Dependent Haskell

(9:46)

@rae: A guide to pattern match warnings in GHC

(12:1econd)

@rae: Using singleton types to replicate a length-indexed Vector

(15:48)