[Haskell-cafe] static typing and interactivity

[Bernard Pope]

On Thu, 2005-08-18 at 15:17 +0200, Ketil Malde wrote:
> Hi,
> 
> One slight annoyance using Haskell is the inability to load modules
> with type problems in the interactive environment (i.e. GHCi).  When I
> have a type error, it would be nice to have an interactive way to
> explore what the compiler thinks about the types involved -- as it is,
> I have to resort to adding type signatures more or less at random to
> narrow down the problem.
> 
> I'm not sure if it is technically feasible to (partially) load a
> module with definitions that fail type checking, but if it were, I
> thing it would make developing Haskell programs even nicer :-)

You might be interested in Chameleon:

   http://www.comp.nus.edu.sg/~sulzmann/chameleon/

especially the type debugger.

Bernie.