Re: Static/Strong/Implicit Typing

Subject: Re: Static/Strong/Implicit Typing
From: Erik Naggum <erik@naggum.no>
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.