Monthly Archives: August 2010

On a Problem of sigfpe

Posted on August 12, 2010 by Brent

> {-# 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

Posted on August 5, 2010 by Brent

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!

Posted on August 1, 2010 by Brent

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