Subject: Re: Eureka! Lexical bindings can be guaranteed!
From: Erik Naggum <>
Date: 2000/03/07
Newsgroups: comp.lang.lisp
Message-ID: <>

* David Hanley <>
| It seems possible (to me) to write some lisp macros to produce a typed
| version of the language...

  before you reinvent the wheel, please investigate the THE special form
  and how it behaves in interpreted and compiled code under various
  optimization settings.  you might be _very_ surprised.

  few Common Lisp programmers seem to know about the THE form, however.