Rae Levity Polymorphism For Real

Media Summary: This video is a continuation of last week's ( where I actually get to I describe how Haskell uses kinds to track how runtime values are represented. This video doesn't quite get to talk about In the course of writing I wanted to write a TupleN# operator that takes ...

Rae Levity Polymorphism For Real - Detailed Analysis & Overview

This video is a continuation of last week's ( where I actually get to I describe how Haskell uses kinds to track how runtime values are represented. This video doesn't quite get to talk about In the course of writing I wanted to write a TupleN# operator that takes ... I run through a toy example of how using unboxed types (specifically, unboxed tuples) can make your Haskell code run faster. Haskell is widely known for featuring lazy evaluation, but having this as a first-class component of the language does not come for ... 30 August, 2015 Richard A. Eisenberg, University of Pennsylvania e-mail in the first slide Help us caption & translate this video!

Spurred on by I discuss how GHC currently is pretty arbitrary in when it decides to ... I use a fair dollop of type-level hackery to cook up some pattern synonyms that provide a richly typed, safe interface on top of an ... I look at a case study that arose "in the wild" of how the monomorphism restriction is sometimes necessary to type-check a ... We explore Haskell's layout rule, and how it works in practice. Official description of that layout rule: ... I explain the infrequently-written but often-implied -XMonoLocalBinds extension and how it prevents let-generalization. Authors: Richard A. Eisenberg, Simon Peyton Jones Title:

I build a version of zipWith that can infer its arity. Is this a good idea? I don't know. But it's definitely fun to push the limits. Warning: ... This more introductory video walks through Haskell's kind system, giving a little motivation for why Haskell has kinds at all, and ... I describe the MonoLocalBinds extension to GHC, and describe how it makes type inference more predictable by disabling local ... This video demonstrates a way to access the full type-checker environment from inside a Template Haskell splice. The use here is ... I explain GHC's TypeError facility, which allows your library to customize type errors that users see. This video was inspired by ...