[Haskell] The GHC typechecker is Turing-complete

This message is literate Haskell so you can all follow along at home. The program developed in this message was tested on GHC 6.4.2. My purpose today is to show that the GHC typechecker with multi-parameter typeclasses, functional dependencies, and undecidable instances is Turing- complete. Some

[Haskell] ANN: hpc -- Haskell Program Coverage

We are pleased to announce the first release of hpc, a new tool for Haskell developers. Hpc records and displays Haskell program coverage. It provides coverage information of two kinds: source coverage and boolean-control coverage. Source coverage is the extent to which every part of the progr

[Haskell] Smash your boiler-plate without class and Typeable

We describe a new generic programming approach, which is powerful enough to traverse a term and return another term of a different type, determined by the original term's type/structure. The example is a generic function that replaces all Floats with Doubles in an arbitrary term. The approach co