Media Summary: In the course of writing I wanted to write a TupleN# operator that takes ... This video is a continuation of last week's ( where I actually get to levity- I build a version of zipWith that can infer its
Rae Implementing An Arity Polymorphic - Detailed Analysis & Overview
In the course of writing I wanted to write a TupleN# operator that takes ... This video is a continuation of last week's ( where I actually get to levity- I build a version of zipWith that can infer its I explore the real definition of IO, and how it's just a fairly ordinary state monad. The only unusual aspect is that the state it passes ... We like to think of Haskell as being order-independent: no matter what order you put your declarations in, your program means ... I introduce the new ImpredicativeTypes extension and show a way to use it to make indexing into binary trees convenient. Code at ...
In this broadcast of my talk at the Haskell Implementors' Workshop, I describe how GHC infers a generalized type for definitions ... Inspired by I walk through an example of how UndecidableInstances might ... In the start of optimizing my Wordle analyzer, I establish a "lab notebook" for optimizations and then overload a function to achieve ... Spurred on by I discuss how GHC currently is pretty arbitrary in when it decides to ...
