Re: Strong Typing, Dynamic Languages, What to do?

["Chris Double" <DoubleC@acc.co.nz>]

>Are these parameterized containers type-checked at compile time or at run
>time?

IIC, it's up to the compiler.  Generally Functional Developer does reasonably well with inferred types and type checks at compile time if compiled in 'production mode'. When compiled in 'loose' mode all checks are run time I think.

Some more info on limited types are at:

http://oop.rosweb.ru/dylan/design-notes/06-limited-types.html

Chris.
http://www.double.co.nz/dylan

--------------------------------------------------------------------------------------
Disclaimer:
"The information contained in this document is confidential to the addressee(s) and
 may be legally privileged.   Any view or opinions expressed are those of the author
 and may not be those of the organisation to which the author belongs.  If you have
 received this e-mail message in error please delete it and notify me. Thank you."
--------------------------------------------------------------------------------------