Re: Static/Dynamic typing, lessons from the field

Jon Harrop wrote: 
Marcin 'Qrczak' Kowalczyk wrote:

"pp" <pedro.e.pinto@xxxxxxxxx> writes:

http://opal.cabochon.com/~stevey/blog-rants/strong-weak-typing.html

This article is being discussed at http://lambda-the-ultimate.org/node/1268 and the general conclusion is
that it's clueless. 

That sounds about right. Many of the conclusions seem illogical to me, as
other people have pointed out.

However, one interesting point is the question of how long it takes to learn
a language. I certainly agree that you need to know something about the
static type systems and checkers of more advanced languages in order to
make good use of the language. That's extra learning but is it offset by
not having to do so much unit testing and not having to be so adept with a
run-time debugger?

You have to write tests and debug your programs anyway, no matter whether you use a statically typed language or not.


Pascal

--
My website: http://p-cos.net
Closer to MOP & ContextL:
http://common-lisp.net/project/closer/
.

Relevant Pages

  • Re: More static type fun.
    ... > The problem that are addressed by static type systems seem to be: ... tool and guiding principle for program design ... tool and guiding principle for language design ... "Computer games don't affect kids; I mean if Pac Man affected us ...
    (comp.lang.lisp)
  • Re: Python from Wise Guys Viewpoint
    ... Dynamic typing works better with XP than static ... > I don't think you understand much about language implementation. ... my machine is fast enough for a decent dynamically typed language. ... why abandon static type systems and why not use them always. ...
    (comp.lang.python)
  • Re: Python from Wise Guys Viewpoint
    ... Dynamic typing works better with XP than static ... > I don't think you understand much about language implementation. ... my machine is fast enough for a decent dynamically typed language. ... why abandon static type systems and why not use them always. ...
    (comp.lang.lisp)
  • Re: Python from Wise Guys Viewpoint
    ... > ...because static type systems work by reducing the expressive power of ... > You can't solve the halting problem in a general-purpose language. ... to halt in not only a finite amount of time but a fixed amount of ...
    (comp.lang.lisp)
  • Re: Python from Wise Guys Viewpoint
    ... > ...because static type systems work by reducing the expressive power of ... > You can't solve the halting problem in a general-purpose language. ... to halt in not only a finite amount of time but a fixed amount of ...
    (comp.lang.python)