Rae How To Read Some Common Ghc Errors

@rae: How to read some common GHC errors

I go through

@rae: A guide to pattern match warnings in GHC

I walk through the

@rae: Deferring type errors in Haskell

GHC

@rae: Custom type errors using TypeError

I explain

@rae: GHC sometimes infers the wrong type

In

@rae: Live action performance debugging within GHC

This video is a (successful!) attempt by me to find and fix a performance regression a recent patch of mine introduced. You will get ...

@rae: Figuring out what constraints to generalize is hard

Recent work within

@rae: RebindableSyntax in Haskell

I give an introduction to

@rae: Let should not be generalized: the MonoLocalBinds extension to GHC

I describe the MonoLocalBinds extension to

@rae: How whitespace works in Haskell

We explore

@rae: The monomorphism restriction in Haskell causes order dependency. Ack!

We like to think of

Common CRBasic Errors and How to Fix Them

The Campbell Scientific CRBasic editor is our full featured program editor. When programming

@rae: GHC defaults type representations at pretty arbitrary places

Spurred on by https://gitlab.

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

I explain a recent accepted proposal to remove (/=) from the Eq type class and reflect on

@rae: Levity polymorphism introduction

I describe how

@rae: An introduction to Haskell's kinds

This more introductory video walks through

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

This video is the start of a series covering the translation of the Data.List functions to work on the length-indexed vector GADT.

@rae: Fixing a bug in decomposing equality constraints

This video explores how equality constraints are decomposed within

@lexi_lambda: GHC Simplifier basics

The Simplifier is the heart of