Re: Interesting: Lisp as a competitive advantage

2001-05-04 Thread Hannah Schroeter
Hello! On Thu, May 03, 2001 at 06:09:01PM -0500, Dan Knapp wrote: [...] Yeah, it's a good example, but are there any other uses for such quoting? If not, then implementing it as a builtin is perfectly adequate. (Not trying to pick on Lisp; Lisp is great. Just hoping for more examples.)

Re: Macros (Was: Interesting: Lisp as a competitive advantage)

2001-05-04 Thread Keith Wansbrough
Jerzy Karczmarczuk [EMAIL PROTECTED] writes: Macros in Scheme are used to unfold n-ary control structures such as COND into a hierarchy of IFs, etc. Nothing (in principle) to do with laziness or HO functions. Isn't this exactly the reason that macros are less necessary in lazy languages? In

Re: Implict parameters and monomorphism

2001-05-04 Thread Dylan Thurston
On Fri, May 04, 2001 at 07:56:24PM +, Marcin 'Qrczak' Kowalczyk wrote: I would like to make pattern and result type signatures one-way matching, like in OCaml: a type variable just gives a name to the given part of the type, without constraining it any way - especially without negative

Macros

2001-05-04 Thread Jan-Willem Maessen
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 heartily at this apt analogy. I have heard vice grips described as the wrong tool for every job. (My own