Static typing

[John Atwood]

Pascal Costanza  <costanza at web.de> wrote:

>Mastering a programming language is a very long process.
>
>> So you see that with different tools, you cannot do
>> it in exactly the same way as with the old tools, and immediately you
>> start complaining that the new tools have "less expressive power",
>> just because you don't see that you have to use them in a different
>> way.  The "I can do lot of things with macros in Lisp that are
>> impossible to do in other languages" claim seems to have a similar
>> background.
>
>No, you definitely can do a lot of things with macros in Lisp that are 
>impossible to do in other languages. There are papers that show this 
>convincingly. Try 
>ftp://publications.ai.mit.edu/ai-publications/pdf/AIM-453.pdf for a 
>start. Then continue, for example, with some articles on Paul Graham's 
>website, or download and read his book "On Lisp".

That's a great paper; however, see Steele's later work:
	http://citeseer.nj.nec.com/steele94building.html


John