[Haskell-cafe] static typing and interactivity
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:
> 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