From ... Path: archiver1.google.com!news2.google.com!fu-berlin.de!news.eunet.no!uio.no!nntp.uio.no!not-for-mail From: Erik Naggum Newsgroups: comp.lang.lisp Subject: Re: Static/Strong/Implicit Typing Date: 26 Jan 2004 11:54:41 +0000 Organization: Naggum Software, Oslo, Norway Lines: 20 Message-ID: <3284106881595417KL2065E@naggum.no> References: <866764be.0401260341.17369d3a@posting.google.com> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: readme.uio.no 1075118081 26644 129.240.65.201 (26 Jan 2004 11:54:41 GMT) X-Complaints-To: abuse@uio.no NNTP-Posting-Date: Mon, 26 Jan 2004 11:54:41 +0000 (UTC) Mail-Copies-To: never User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 Xref: archiver1.google.com comp.lang.lisp:10838 * 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.