Re: Macros[by implementor of toy compiler]

2001-05-08 Thread Alan Bawden
Date: Mon, 7 May 2001 17:48:47 +0200 (CEST) From: Michal Gajda [EMAIL PROTECTED] * Introduction of general hygienic macro's as you propose, forces us to cope with following problems: 1. Full typechecking of macros(in place of definition) seems to need second-rank polymorphism.

Macros

2001-05-06 Thread Alan Bawden
Date: Fri, 4 May 2001 19:31:21 -0400 (EDT) From: Jan-Willem Maessen [EMAIL PROTECTED] Alan Bawden [EMAIL PROTECTED] writes: A macro facility is like a pair of vise-grips (if you don't know what those are, see http://www.technogulf.com/ht-vise.htm). I found myself laughing

Re: Haskell-Cafe digest, Vol 1 #122 - 3 msgs

2001-05-03 Thread Alan Bawden
Subject: Re: Interesting: Lisp as a competitive advantage Date: Thu, 03 May 2001 10:16:37 -0400 From: Norman Ramsey [EMAIL PROTECTED] http://www.paulgraham.com/paulgraham/avg.html I wonder how Haskell compares in this regard. I loved Graham's characterization of the