Re: Static/Dynamic typing, lessons from the field



Hmm, don't know what to think about this article.
The author says:
"They artifically limit your expressiveness."

And his justification is an example:

"In Java, for instance, the type system doesn't let you do operator
overloading, multiple inheritance, mix-ins, reference parameters, or
first-class functions. Any time the most natural design involves these
things, you're stuck trying to mutate it into a design that fits Java's
type system."

But what does static typing have to do with Javas non-existing support
for the points he mentioned (operator overloading, mult. inh., etc.)?
The Java designers did intentionally *not* putting them into the
language. From Suns point of view that might be a good thing cause Java
is now pretty much the most popular programming language.
The author got that point plain wrong.

Later he says: "Dynamic languages give you more expressive power and
more design options;" but does not explain this point. It sounds like
an opinion and therefor is not much more worth than the opinion "Static
languages give you more expressive power and more design options;".
And I personally would like to know what a static language or a dynamic
language is. Probably he wanted to say "statically typed language".
Making this kind of mistake tells me that he is probably not an expert
on this issue, and so I should not take his conclusions too serious.


André
--

.



Relevant Pages

  • Re: VS2005 and VS 6.0
    ... You can write a buggy program in any language. ... The delayed destructors are definitely a problem, Java has the same problem. ... design to improve performance and reliability. ... environment by stupid errors. ...
    (microsoft.public.vc.mfc)
  • Re: What Free Tools to use in Java (New to Java)
    ... > have worked with many of the people who wrote some of the popular Java ... had email help and even a free book from some of the authors in that list I ... comp.object is a good group to post design questions to. ... At the end of the day a language generally has some finite "ways" of doing ...
    (comp.lang.java.help)
  • Re: C History (was: null terminated strings)
    ... Java again, this time as a server language. ... Microsoft Transaction Server and convince everyone to pretend they ... created the design. ...
    (comp.os.vms)
  • Re: Searching OO Associations with RDBMS Persistence Models
    ... These rules provide consistency in design, ... triggers and some embedded language quite limited. ... should be *forced* on developers that sets me off. ... I think it is just because he feels that java is ...
    (comp.object)
  • Re: How to parse and call c++ constructors?
    ... Language Designer should always be forced to write the first parser ... You may argue that "modern languages like Java" don't have this ... problem because they have Garbage Collection in their laguages design. ... destructors (some even too stupid to write proper C++ constructors), ...
    (comp.compilers)