[Haskell-cafe] static typing and interactivity

Ketil Malde ketil+haskell at ii.uib.no
Thu Aug 18 09:17:53 EDT 2005


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 :-)

If I haven't seen further, it is by standing in the footprints of giants

More information about the Haskell-Cafe mailing list