[Haskell-cafe] static typing and interactivity

Bernard Pope bjpop at cs.mu.OZ.AU
Thu Aug 18 23:29:12 EDT 2005

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:


especially the type debugger.


More information about the Haskell-Cafe mailing list