Dylan writes:
Incidentally, it seems to me that this is one case where a Lisp-like macro facility might be useful. With Haskell, it is impossible to play with bindings, while presumably you can do this with good Lisp macro systems.
Yes, this is one thing you can do with good macro systems as are found in Lisp and Dylan (the language, not the person!). See the references in my http://www.cl.cam.ac.uk/~kw217/research/paper-abstracts.html#Wansbrough99:Ma... Wansbrough, 1999. Macros and Preprocessing in Haskell especially section 8. Hygiene is a key concept here; that variables bound in a macro should not clash with other variables in the program (unless this is explicitly required). --KW 8-) -- Keith Wansbrough <kw217@cl.cam.ac.uk> http://www.cl.cam.ac.uk/users/kw217/ Cambridge University Computer Laboratory.