Re: spec verbosity and algorithms

On 1/22/10 11:43 AM, Julian Reschke wrote:
> This seems to be equivalent with
>
> "Two origins A and B are said to be the same if they are of identical
> type (opaque identifier or tuple), and all of their components have
> identical values.".

It's not.  Your phrasing makes all opaque identifier origins (which have 
no "components") the same.

I do agree that less verbose is nice, if it can be done without losing 
correctness and clarity, though.

-Boris

Received on Friday, 22 January 2010 16:59:59 UTC