Arrow notation, etc.
Fri, 12 Oct 2001 20:50:06 +0900
Content-Type: text/plain; charset=us-ascii
On Fri, Oct 12, 2001 at 12:39:09PM +0100, Keith Wansbrough wrote:
> 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
> Wansbrough, 1999. Macros and Preprocessing in Haskell
> especially section 8.
Very good. Is there a concrete proposal for such macros? I think the
arrow notation would be a harder test case than any of the existing
syntactic sugar; I'd be curious to see what it looked like. (And is
there support for adding these macros to Haskell?)
> 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).
Off to read some Dylan manuals,
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
-----END PGP SIGNATURE-----