On Tue, 2005-02-15 at 04:29, Martin Berger wrote:

> as an aside, are there any good program logics for languages with macro-facilities like
> lisp-dialects?

Aren't macros a way to do lazy evaluation in an eager language?
EG in Ocaml a 'macro':

  cond (c,t,f) --> match c with | true ->  t | false -> f

maps the eager functional syntax onto a lazily evaluated syntax,
strangely doing so by hyper-active evaluation?

-- 
John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net