Subject: Re: Static/Strong/Implicit Typing
From: Erik Naggum <>
Date: 26 Jan 2004 22:29:49 +0000
Newsgroups: comp.lang.lisp
Message-ID: <>

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