[Haskell] Per-type function namespaces (was: Data.Set
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.
More information about the Haskell