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

[Michael Vanier <mvanier@cs.caltech.edu>]

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

Mike


> Date: Thu, 21 Mar 2002 14:01:28 +1200
> From: "Chris Double" <DoubleC@acc.co.nz>
> 
> >(does Dylan support containers parameterized on types?).
> 
> Yes. It's called limited types:
> 
>   define constant <integer-vector> = limited(<vector>, of: <integer>);
>   define variable *foo* :: <integer-vector> = make(<integer-vector>, size: 10, fill: 0);
> 
> Chris.
> http://www.double.co.nz/dylan
>