[Haskell] Per-type function namespaces (was: Data.Set whishes)

Graham Klyne GK at ninebynine.org
Fri Feb 27 11:55:05 EST 2004

At 09:28 27/02/04 +0000, Simon Peyton-Jones wrote:
>Which 'add' function is chosen depends on type type of 'fm'.  But the
>add function that is chosen in turn influences the type of the other
>arguments.  For example, in the call (fm.add foo), the type of 'foo' is
>influenced by the choice of 'add'.  But the type of 'foo' might (by the
>magic of type inference) affect the type of 'fm'....
>In Haskell today, you can at least tell what value is bound to each
>identifier in the program, *without* first doing type checking. [...]

Nicely explained.  Until this, I had a feeling that the proposed 
type-directed value-binding resolution was potentially problematic for 
Haskell, but couldn't say why.


Graham Klyne
For email:

More information about the Haskell mailing list