[Haskell-cafe] Type Directed Name Resolution

Richard O'Keefe ok at cs.otago.ac.nz
Wed Nov 10 20:03:55 EST 2010

It has been pointe out that languages like C, Ada, Java, and so on
have type directed name resolution, or something very like it.

True.  But what they don't have is type variables.
This means that when they see foo.bar, they know right away
what the type of foo is, and will never ever get any more
information about that.

It can be hard enough reading Haskell as it is; at least when
I see a function there's one place to look for what it is supposed to mean.

More information about the Haskell-Cafe mailing list