From ...
Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.freenet.de!feed.news.tiscali.de!uio.no!nntp.uio.no!not-for-mail
From: Erik Naggum <erik@naggum.no>
Newsgroups: comp.lang.lisp
Subject: Re: Static/Strong/Implicit Typing
Date: 26 Jan 2004 22:29:49 +0000
Organization: Naggum Software, Oslo, Norway
Lines: 13
Message-ID: <3284144989374577KL2065E@naggum.no>
References: <SikQb.25347$zj7.22546@newsread1.news.pas.earthlink.net> <butsga$4f0$1@newsreader2.netcologne.de> <xg2Rb.27138$1e.19968@newsread2.news.pas.earthlink.net> <866764be.0401260341.17369d3a@posting.google.com> <3284106881595417KL2065E@naggum.no> <bv432j$166$3@newsreader2.netcologne.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: readme.uio.no 1075156189 16807 129.240.65.201 (26 Jan 2004 22:29:49 GMT)
X-Complaints-To: abuse@uio.no
NNTP-Posting-Date: Mon, 26 Jan 2004 22:29:49 +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:10923

* Pascal Costanza
| Compilation means to translate one representation of a program into
| another one. Static analysis doesn't necessarily involve such a
| translation.

  Yes, you can perform the static analysis without producing any output
  upon success other than «like, wow, that was a type-correct program».

-- 
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.