Monthly Archives: August 2010

On a Problem of sigfpe

> {-# LANGUAGE TypeFamilies, EmptyDataDecls, TypeOperators, GADTs #-} At the end of his most recent blog post, Divided Differences and the Tomography of Types, Dan Piponi left his readers with a challenge: In preparation for the next installment, here’s a … Continue reading

Posted in haskell | Tagged , , , , , | 2 Comments

Typed type-level programming in Haskell, part IV: collapsing types and kinds

In Part III, we saw how the current state of the art in Haskell type-level programming leaves some things to be desired: it requires duplicating both data declarations and code, and even worse, it’s untyped. What to do? Currently, GHC’s … Continue reading

Posted in haskell, projects | Tagged , , , , | 28 Comments

Species and Functors and Types, Oh My!

My paper on combinatorial species and the species library (an improved version of my previous ICFP submission) has been accepted to the 2010 Haskell Symposium! I look forward to seeing people in Baltimore in September, and in the meantime the … Continue reading

Posted in combinatorics, haskell, math, writing | Tagged , , , , , | 2 Comments