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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
