Tag Archives: haskell

ICFP roundup

Well, ICFP 2015 in Vancouver is already two months in the past… I’ve been meaning for a while to write a post reflecting on the experience. Better late than never! The Place I had never been to Vancouver before; it … Continue reading

Posted in haskell | Tagged , , | 2 Comments

Idempotent Template Haskell

Yesterday I was looking for a way to have some Template Haskell code generate a definition for a certain identifier if and only if such a definition did not already exist. Essentially I want to be able to call the … Continue reading

Posted in haskell | Tagged , , , | 2 Comments


Posted in haskell, humor | Tagged , , , , | 4 Comments

Species subtraction made simple

> {-# OPTIONS_GHC -fno-warn-missing-methods #-} > module Virtual where > > import Control.Applicative > import Test.QuickCheck Yesterday on #haskell, augur asked me to explain how subtraction works for combinatorial species. (For an introduction to species, see my paper from the … Continue reading

Posted in combinatorics, haskell | Tagged , , , , , , , | 14 Comments

Back from Baltimore

I’m finally back in Philly after attending ICFP, the Haskell Symposium, and the Haskell Implementors’ Workshop in Baltimore. I enjoyed meeting every person I met, so if I met you please feel free to instantiate the universal quantifier. Here’s a … Continue reading

Posted in haskell, links, writing | Tagged , , , , , , , | Leave a comment

The Haskell Alphabet

Here’s a little something I’ve been working on in bits of spare time here and there for the past five months or so: The Haskell Alphabet I seem to recall it was inspired by a conversation in #haskell around the … Continue reading

Posted in haskell, humor, writing | Tagged , , | 6 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