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

Re: dynamic vs. static typing

On Nov 24, 2003, at 6:05 AM, Joe Marshall wrote:
> The reason there are no `TRULY heterogeneous lists' is because it is
> always possible to create a discriminated union type that covers all
> elements.

Yes, and the only union may be introspection methods. In which case we 
might be able to validly send any method that the introspection API 
reveals to us, even though our type system (which restricted us to the 
introspection methods) wouldn't allow it.

-- Steve