Media Summary: In the course of writing I wanted to write a TupleN# I describe how Haskell uses kinds to track how runtime values are represented. This video doesn't quite get to talk about levity ... We like to think of Haskell as being order-independent: no matter what order you put your declarations in, your program means ...
Rae Implementing An Arity Polymorphic Unboxed Tuple Operator - Detailed Analysis & Overview
In the course of writing I wanted to write a TupleN# I describe how Haskell uses kinds to track how runtime values are represented. This video doesn't quite get to talk about levity ... We like to think of Haskell as being order-independent: no matter what order you put your declarations in, your program means ... Inspired by I walk through an example of how UndecidableInstances might ... Spurred on by I discuss how GHC currently is pretty arbitrary in when it decides to ... I introduce the new ImpredicativeTypes extension and show a way to use it to make indexing into binary trees convenient. Code at ...
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 ... I introduce the -XDerivingVia extension and how it can help you avoid writing boilerplate instances, explaining a bit about how it ... I build a version of zipWith that can infer its This video is a (successful!) attempt by me to find and fix a performance regression a recent patch of mine introduced. You will get ... This video demonstrates a way to access the full type-checker environment from inside a Template Haskell splice. The use here is ... In this video, we'll explore Dynamic Casting and RTTI (Run-Time Type Information) — two advanced C++ concepts that help you ...
Google Tech Talks April 18, 2007 ABSTRACT Advanced Topics in Programming Languages Series: Parametric
