[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Strong Typing, Dynamic Languages, What to do?
Shriram wrote:
> You don't understand my point.
That was implied :) I think I'm clearer now, thanks. But I had a slightly different point:
> In languages like Curl, the "type system" is basically
> defined by what one particular compiler does.
I understand, but I was saying that this doesn't seem to be an indictment of optional typing in general.
But this made lots of sense to me:
> A type system is not much more useful than a user's ability
> to reason about its output. A complicated type system can
> reach the point of being counterproductive.
I just don't have the experience to know whether this is true of Dylan etc.
Anton
- References:
- Strong Typing, Dynamic Languages, What to do?
- From: "Brent Fulgham" <brent.fulgham@xpsystems.com>
- Re: Strong Typing, Dynamic Languages, What to do?
- From: Michael Vanier <mvanier@cs.caltech.edu>
- Re: Strong Typing, Dynamic Languages, What to do?
- From: Eli Barzilay <eli@barzilay.org>
- Re: Strong Typing, Dynamic Languages, What to do?
- From: Michael Vanier <mvanier@cs.caltech.edu>
- Re: Strong Typing, Dynamic Languages, What to do?
- From: Shriram Krishnamurthi <sk@cs.brown.edu>
- Re: Strong Typing, Dynamic Languages, What to do?
- From: Anton van Straaten <anton@appsolutions.com>
- Re: Strong Typing, Dynamic Languages, What to do?
- From: Shriram Krishnamurthi <sk@cs.brown.edu>