Tag Archives: GHC

Wanted GHC feature: warn about unused constraints

Consider the following function: foo :: (Show a, Ord a) => a -> a -> String foo x y = show x ++ show y Currently (as of GHC 7.2.1) when compiling this code with -Wall, no warnings are generated. … Continue reading

Posted in haskell | Tagged , , , | 5 Comments

Typed type-level programming: status report

A few people have been bugging me (you know who you are ;-) about the current status of the project to allow automatic “lifting” of Haskell data constructors to the type level, to allow for typed type-level programming. I’ve written … Continue reading

Posted in haskell, projects | Tagged , , , , , , | Leave a comment

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

Improving GHC’s constraint solving

So I’ve been here at MSR Cambridge for almost two weeks now (!), working in the Programming Principles and Tools Group with Simon Peyton-Jones and Dimitrios Vytiniotis — and also collaborating with Stephanie Weirich and Steve Zdancewic, who are also … Continue reading

Posted in haskell | Tagged , , , , , | 5 Comments