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

Re: the forward method [dynamic vs. static typing]

    > From: Ken Shan <ken@digitas.harvard.edu>

    > Static typing can make programs more concise: I can write

No: type information can be used for that, which is not the same thing
as ST.

But, anyway, it wasn't _conciseness_ I attributed to DT but a unique
(in some sense) minimalism of details -- avoidence of having to
provide redundant information.  How much do you have to say about a
program in order to execute it correctly?  ST languages require you to
say more than that.

That you can compress the source text of a program by using something
that puns as a part of an overall system of type declarations is
interesting, but not contradictory to my point.

(Yikes, that was in reply to my post, right?)