Vag Vagoff wrote:
You are shadowing a definition, but the old definition doesn't "go away," it just becomes impossible to reference.Do you agree that this is completely unreadable fn a = a + 1 xxx ... = ... many uses of fn ... ... and ever more uses of fn... fn a = a * 2 yyy ... = ... many uses of fn ... ... and ever more uses of fn...
No. I often use that style, and I even prefer it to the alternatives that you suggest. I like being able to read definitions in a simple linear order, so that it's always clear what each symbol refers to.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
