Category Archives: haskell

Wanted GHC feature: warn about unused constraints

Posted on November 5, 2011 by

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

More counting lambda terms

Posted on October 24, 2011 by

Yesterday someone submitted a comment to an old post of mine about counting linear lambda terms, asking the following question: I am interested in a similar problem: given a natural number N, what is the number of different symply-typed closed … Continue reading →

Posted in haskell | 5 Comments

Announcing diagrams-0.4

Posted on October 23, 2011 by

I am pleased to announce the release of version 0.4 of diagrams, a full-featured framework and embedded domain-specific language for declarative drawing. The last announcement was of the 0.1 release; there have been quite a few changes and improvements since … Continue reading →

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

Effective parse tree support for the working semanticist

Posted on October 11, 2011 by

If, like me, you spend large amounts of time designing, discussing, and proving things about programming languages and formal calculi, chances are you have used Ott (and if you do, but you haven’t, you are really missing out). You write … Continue reading →

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

diagrams repos now mirrored on github!

Posted on September 10, 2011 by

I was quite excited when I learned that Owen Stephens was working on a two-way darcs-git bridge for his Google Summer of Code project. You see, I’m one of those holdouts who, despite acknowledging that github is pretty cool and … Continue reading →

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

Math.Tau

Posted on September 9, 2011 by

I have just uploaded a new package to Hackage which defines the constant . Now if you wish to use in your program you can just cabal install tau and then import Math.Tau (tau), and be assured that you are … Continue reading →

Posted in haskell | Tagged , , | 4 Comments

Unbound now supports “set” binders and GADTs

Posted on August 24, 2011 by

I have just uploaded version 0.3 of the Unbound library (and version 0.5 of RepLib). This version adds support for two major new features: The new permbind and setbind functions create binders that are alpha-equivalent “up to permutation”. For example, … Continue reading →

Posted in haskell, projects | Leave a comment

Idempotent Template Haskell

Posted on August 16, 2011 by

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

Hac phi 3!

Posted on July 30, 2011 by

Hac phi 3 is in full swing now: almost 30 people showed up for the first day of hacking yesterday and more are expected today! I’ve posted a few pictures here — more to come.

Posted in haskell | Leave a comment

Bit-rotted text adventure EDSL free to a good home

Posted on May 27, 2011 by

In early 2008 I started working on a Haskell embedded domain-specific language for authoring text adventure games. It didn’t get all that far since I didn’t know a whole lot about either text adventure games or Haskell. But I think … Continue reading →

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