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

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

>(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);


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