Static typing

[Pascal Costanza]

John Atwood wrote:
> Pascal Costanza  <costanza at web.de> wrote:

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

Yes, I have read that paper. If you want to work with monads, you 
probably want a static type system.

(And I think he still likes Scheme and Lisp. ;)

Pascal

-- 
Pascal Costanza               University of Bonn
mailto:costanza at web.de        Institute of Computer Science III
http://www.pascalcostanza.de  Römerstr. 164, D-53117 Bonn (Germany)