Subject: Re: Static/Strong/Implicit Typing From: Erik Naggum <firstname.lastname@example.org> Date: 26 Jan 2004 22:29:49 +0000 Newsgroups: comp.lang.lisp Message-ID: <3284144989374577KL2065E@naggum.no> * 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.