Re: macros. Was: Arrow notation, etc.

2001-10-14 Thread Fergus Henderson
On 12-Oct-2001, Jerzy Karczmarczuk <[EMAIL PROTECTED]> wrote: > > They [macros] are heavily used in Clean, so, there *are* people > who see a need for them in a lazy language. Well, that depends on what you mean by "macros". Clean's "macros" have essentially the same semantics as inline functio

Re: macros. Was: Arrow notation, etc.

2001-10-12 Thread Marcin 'Qrczak' Kowalczyk
Fri, 12 Oct 2001 15:38:21 +0200, Jerzy Karczmarczuk <[EMAIL PROTECTED]> pisze: > They are heavily used in Clean, so, there *are* people who see a > need for them in a lazy language. The Clean implementation doesn't inline functions across modules, right? -- __("< Marcin Kowalczyk * [EMAIL PR

macros. Was: Arrow notation, etc.

2001-10-12 Thread Jerzy Karczmarczuk
Dylan Thurston: > > On Fri, Oct 12, 2001 at 01:02:07PM +0100, Keith Wansbrough wrote: > > Sadly, there's not a concrete proposal - it seems that no one sees a > > need for macros in a lazy language. Most of what they do can be > > achieved through laziness - you can write "if" in Haskell already

Re: Arrow notation, etc.

2001-10-12 Thread Ross Paterson
On Fri, Oct 12, 2001 at 08:33:15PM +0900, Dylan Thurston wrote: > So when I read the "Syntactic Sugar for Arrows" proposal, my initial > reaction is "Wow, that's a little complicated. It doesn't look like > syntactic sugar to me." Why, thank you! > This contrasts with the do-notation, which doe

Re: Arrow notation, etc.

2001-10-12 Thread Dylan Thurston
On Fri, Oct 12, 2001 at 01:02:07PM +0100, Keith Wansbrough wrote: > Sadly, there's not a concrete proposal - it seems that no one sees a > need for macros in a lazy language. Most of what they do can be > achieved through laziness - you can write "if" in Haskell already, for > example, whereas

Re: Arrow notation, etc.

2001-10-12 Thread Keith Wansbrough
> 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?) Sadly, there's not a concrete

Re: Arrow notation, etc.

2001-10-12 Thread Dylan Thurston
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 Li

Re: Arrow notation, etc.

2001-10-12 Thread Keith Wansbrough
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 syste

Arrow notation, etc.

2001-10-12 Thread Dylan Thurston
So when I read the "Syntactic Sugar for Arrows" proposal, my initial reaction is "Wow, that's a little complicated. It doesn't look like syntactic sugar to me." (Err, no offense, I hope.) This contrasts with the do-notation, which does look like syntactic sugar: you can rewrite any do expressio