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

Re: dynamic vs. static typing

To: address@hidden
Subject: Re: dynamic vs. static typing
From: Steve Dekorte <address@hidden>
Date: Mon, 24 Nov 2003 08:53:56 -0800
In-reply-to: <n0alvp4j.fsf@ccs.neu.edu>
References: <00b501c3af8a$29fc3cd0$0a00a8c0@femto.appsolutions.com> <smki5389.fsf@ccs.neu.edu> <1e2001c3b056$44e1f180$0100000a@dell> <16318.21880.268596.465834@gs3106.sp.cs.cmu.edu> <20031121132417.K25194@metro.immute.net> <bplusv$1jb$1@sea.gmane.org> <20031121161000.P25194@metro.immute.net> <n0alvp4j.fsf@ccs.neu.edu>
Sender: address@hidden

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

Follow-Ups:
- Re: dynamic vs. static typing
  - From: Ken Shan <ken@digitas.harvard.edu>
- Re: dynamic vs. static typing
  - From: Matt Hellige <matt@immute.net>

References:
- RE: dynamic vs. static typing
  - From: "Anton van Straaten" <anton@appsolutions.com>
- Re: dynamic vs. static typing
  - From: Joe Marshall <jrm@ccs.neu.edu>
- Re: dynamic vs. static typing
  - From: "Peter van Rooijen" <ll1@vanrooijen.com>
- Re: dynamic vs. static typing
  - From: Neelakantan Krishnaswami <neelk@gs3106.sp.cs.cmu.edu>
- Re: dynamic vs. static typing
  - From: Matt Hellige <matt@immute.net>
- Re: dynamic vs. static typing
  - From: "Mike Austin" <mike_ekim@yahoo.com>
- Re: dynamic vs. static typing
  - From: Matt Hellige <matt@immute.net>
- Re: dynamic vs. static typing
  - From: Joe Marshall <jrm@ccs.neu.edu>

Prev by Date: Re: dynamic vs. static typing
Next by Date: Re: dynamic vs. static typing
Previous by thread: Re: dynamic vs. static typing
Next by thread: Re: dynamic vs. static typing
Index(es):
- Date
- Thread