Media Summary: I walk through the four different strategies I explain a recent accepted proposal to remove (/=) from the Eq 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 Unboxed Types In Ghc - Detailed Analysis & Overview
I walk through the four different strategies I explain a recent accepted proposal to remove (/=) from the Eq This video is the start of a series covering the translation of the Data.List functions to work on the length-indexed vector GADT. I share a little on what's been going on in the broader journey toward dependent This more introductory video walks through I describe the MonoLocalBinds extension to
The demand analyzer is a crucial part of the This video is a (successful!) attempt by me to find and fix a performance regression a recent patch of mine introduced. You will get ...
