Wednesday, April 25, 2012

[vhcxlpud] Overloaded names need IDE support

If you have a programming language where the same name can stand for two different things that only differ in type, e.g., Haskell typeclasses, then you really want IDE support to search for a name of a certain type, not just string search.

The motivating example was searching for uses of fromIntegral of the type a->Word8, where I wanted to double check that I was doing range checking in some sane way.  This requires polymorphic type search.

Color identifiers of different types different colors.

A similar problem manifests itself with two identifiers of the same name in different scopes: we would like search by scope as well, though this is easier (especially with small scopes, one can just look by eye).

Sometimes we wish to search for names which shadow names in an enclosing scope. (GHC can warn of shadowed names.)

No comments :