[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: the forward method [dynamic vs. static typing]
> From: Ken Shan <firstname.lastname@example.org>
> Static typing can make programs more concise: I can write
No: type information can be used for that, which is not the same thing
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?)