Aristotle Pagaltzis wrote: >I believe you are mistakenly deriving Ought from Is here. No, I derived Is from Ought. We've already got introspectable caller-affecting metadata regarding parameters: the prototype. No one came up with a coherent scheme for signatures to affect callers, other than those that amount to signatures implying a prototype, for which purpose the prototype rather than the signature per se is the appropriate introspectable. -zeframThread Previous | Thread Next