Subject: Re: Static/Strong/Implicit Typing
From: Erik Naggum <erik@naggum.no>
Date: 26 Jan 2004 11:54:41 +0000
Newsgroups: comp.lang.lisp
Message-ID: <3284106881595417KL2065E@naggum.no>

* Tayssir John Gabbour
| /Static analysis does not mean it must run at compiletime./

  Actually, that it run at compile time is the definition of «static» --
  it requires no dynamic (= run-time) information.

| However, there is this insane presumption, orthogonal to static
| analysis, that says we must run screaming from errors with our hands
| over our ears.  I don't think this is a fault in anyone, just our
| byzantine languages and educations that pressure us into being macho
| and hiding our faults as soon as possible, before anyone else can see
| them.

  Well said.  :)

-- 
Erik Naggum | Oslo, Norway                                      2004-026

Act from reason, and failure makes you rethink and study harder.
Act from faith, and failure makes you blame someone and push harder.