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