Re: Vectors as functions

[address@hidden]

> The only thing I tried to correct is the assumption that optimization
> was the only thing affected by rampant first-classness.

"Therefore, those of us in the verification business care deeply about
finding reasonable restrictions to place on the power of programmers."

    It didn't seem like that's what you were trying to say, without
context it seemed you were arguing *in general* against the freedoms
under discussion.

> we all...have chosen a different point than you seem to want.

    Who's "we"?  I was under the impression that there were differences of
opinion, hence the original discussion.  If there's a group manifesto
I can read laying out the collective opinion here, by all means
forward the URL. :-)