Re: dynamic type checking - a pauline conversion?

From: Tsolak Petrosian (tsolakp_at_yahoo.com)
Date: 03/11/04 

Date: 10 Mar 2004 23:18:30 -0800

"Shayne Wissler" <thalesNOSPAM000@yahoo.com> wrote in message news:<qfH3c.97449$ko6.784823@attbi_s02>...
> "Robert C. Martin" <unclebob@objectmentor.com> wrote in message
> news:cmos401b4aa3lu33qk6afgs5fg9d16649i@4ax.com...
>
> > I've been a statically typed bigot for quite a few years. ...
> > When C++ came out, I was an avid
> > adopter, and rabid enforcer of strong typing.
>
> ...
>
> > Four years ago I got involved with Extreme Programming.
>
> ...
>
> > Since then I have become test
> > infected. I can no longer conceive of writing software without using
> > test driven development.
>
> ...
>
> > Life in a dynamically typed world is fundamentally simpler.
>
> ...
>
> > Does anybody else feel like this? As more and more people adopt test
> > driven development (something I consider to be inevitable) will they
> > feel the same way I do. Will we all be programming in a dynamically
> > typed language in 2010?
>
> No, I don't, and Bob, do you see the pattern the above? You seem to swing
> from one Extreme to another. How about some moderation?
>
> I think static typing has important uses. I also think dynamic techniques
> have important uses. My ideal language has both features. Which lets me
> decide what is appropriate based on the situation at hand (but in general I
> would use static typing more often--there's no point in writing extra tests
> for something that can be tested by the compiler, and a statically typed
> program is more easily understood).
>
>
> Shayne Wissler

Here is problem with static types:

Lets assume that some method "m" which as parameter needs an object
with both types of T1 and T2 which dont share any commonality (like be
Displayable and Persistable).
How do you define "m"?
The only solution is to define it as m(Object o).

Tsolak Petrosian

Relevant Pages

  • Re: PEP 3107 and stronger typing (note: probably a newbie question)
    ... typing is to provide optimization clues for the compiler. ... Computer Programming", call "totally open programming". ... Alice as interoperable languages without and with static typing, ... "Dynamic typing is recommended", they conclude, "when programs must be ...
    (comp.lang.python)
  • Re: automated coding standard validation?
    ... (collective code ownership and pair programming) ... I assume that you are talking about eXtreme Programming. ... int *port1l; ...
    (comp.lang.c)
  • Re: Python for large projects
    ... where we use Erlang (dynamic typing). ... typing system to make the same interpretation, ... > considered to be type-correct by the type system of programming ... Given typeful programming the first statement is more or less ...
    (comp.lang.python)
  • Re: Whats the best language to learn...
    ... Debugging is much faster when errors are caught at compile time by a static ... with generic typing and unspecific typing more efficiently than with ... do after you finished programming. ... and there's no reason to force me to specify ...
    (comp.programming)
  • Re: programming and typing
    ... > Hunt and peck here (but really fast hunt and peck). ... > typing, but lucky for me, it's not. ... > an appreciable amount of your programming time typing, ...
    (comp.programming)
Loading