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. #g ------------ Graham Klyne For email: http://www.ninebynine.org/#Contact