Rae A Not So Quick Look At Quick Look Impredicativity

I introduce the new ImpredicativeTypes extension and show a way to use it to make indexing into binary trees convenient. Code at ...

This video discusses GHC's new ImpredicativeTypes extension and how

More info about this talk: https://icfp20.sigplan.org/details/icfp-2020-papers/18/A-

I demonstrate how using

I review the recent saga about Haskell's deep subsumption feature, demonstrating what it is, what's wrong with it, and discussing ...

Inspired by https://gitlab.haskell.org/ghc/ghc/-/issues/20666, I walk through an example of how UndecidableInstances might ...

World of Warcraft Battle for Azeroth Nazmir Achievement - Revenge is Best Served Speedily (Revenge of Krag'Wa World quest)

Mission: Possible But

I walk through the several different warnings GHC can produce about pattern matches. Find me at https://richarde.dev/ or on ...

This guide will help you with the

I

I explain why I

Join our WoW Collecting Discord: https://bit.ly/47M7fm6 0:00 Intro 0:30 Abyssal Console Located in the Abyssal Excavation at ...

"Successfully accuse and expose 8 boggarts in a row during the World Quest "Tough Crowd" in under 20 minutes without ...

Hey guys, in this video i'll be showing you how to get the Glory of the Dominant Raider Achievement in a

I explain GHC's TypeError facility, which allows your library to customize type errors

In the course of writing https://github.com/ghc-proposals/ghc-proposals/pull/475, I wanted to write a TupleN# operator

An Existential Crisis Resolved: Type Inference for First-Class Existential Types Paper DOI: 10.1145/3473569 Presented at None, ...

We like to think of Haskell

BfA A Most Efficient Apocalypse Achievement gameplay video. This video shows how to complete "A Most Efficient Apocalypse" ...