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

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

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

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:



"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."