[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: dynamic vs. static typing



On 2003-11-21T14:48:32-0500, Joe Marshall wrote:
> *Presumably* someone, somewhere cares about the result, but we don't
> need to involve them (and whatever they statically know about the
> list), to correctly perform our operation.  As the implementor of the
> permute function, I simply do not care whether the list even *has* a
> static type.

Absolutely.  But this is not a counterexample to my earlier claim,
contrary to what you said.

-- 
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
Pray for Turkey, Northern Ireland, and Britain, please.

Attachment: signature.asc
Description: Digital signature