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

Re: dynamic vs. static typing



On 2003-11-24T12:14:20-0800, Steve Dekorte wrote:
> On Nov 24, 2003, at 11:33 AM, Ken Shan wrote:
> >Maybe -your- type system wouldn't allow it, but mine does:
> >  ...
> >See also dynamic_cast in C++.
> Is this a runtime cast check? If so, then don't we end up with 
> potential runtime errors related to types? (which is what the typing 
> system exists to avoid)

No.

-- 
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
Sexy types in action: http://www.eecs.harvard.edu/~ccshan/cs252/usage.pdf
new journal Physical Biology: http://sansom.biop.ox.ac.uk/images/physbio.gif
What if All Chemists Went on Strike? (science fiction):
http://www.iupac.org/publications/ci/2003/2506/iw3_letters.html

Attachment: signature.asc
Description: Digital signature