[Haskell-cafe] Type Directed Name Resolution

John Smith voldermort at hotmail.com
Wed Nov 10 04:59:28 EST 2010

Type-directed name resolution, as originally proposed for Haskell', has now been proposed for GHC. Obvious benefits of 
this are that conflicting function names from imported modules can be used without qualification (verbose) or 
pseudo-Hungarian renaming (verbose, and requires that you control the source, and perform the same renaming in all 
dependencies). This is important for both readability and programming in the large, particularly where records are 
concerned, as the duplicate name problem cannot be alleviated with typeclasses, and it is often desirable to have the 
same field names for many records in the same module.


More information about the Haskell-Cafe mailing list