Re: dynamic vs. static typing

[Matthias Felleisen <address@hidden>]

On Monday, November 24, 2003, at 01:06 PM, Jim Blandy wrote:

>
> Matthias Felleisen <matthias@ccs.neu.edu> writes:
>> That's why I am suspicious of CL (nobody mentioned that here, they
>> had this way before Curl) or Curl or friends like that. I am
>> interested in pragmatics but I want to make sure that they are well
>> founded. That's of course my problem. Some here (may) take whatever
>> they think makes life easier, as have millions of programmers done
>> before and those very same people will argue to great success (blue
>> screens of death, core dumps, millions of dollars blowing up in the
>> sky, other planets, a few lives here or there, ...).
>
> You're going to enumerate their accomplishments as well, right?  :)
>

On lists like this one, there are always people who extoll the virtue
of just hacking away on programs, designing away on languages, etc. I
believe that they have done that enumeration.

On lists that extoll the pure virtue of existential researchers, who
are so opaque that they can't even tell themselves what insights they
have had; of universal ones, who prove that your program works in all
possible unforeseen cases before they run it; and divers who haven't
found the right subtype ordering yet.

Since I am not running for office, I afford myself the luxury to point
out the problems to both.

-- Matthias