Re: Parallel Common-Lisp with at least 64 processors?

On 24 Giu, 13:44, Jon Harrop <j...@xxxxxxxxxxxxxxxxx> wrote:
Pascal J. Bourguignon wrote:
Jon Harrop <j...@xxxxxxxxxxxxxxxxx> writes:
Pascal J. Bourguignon wrote:
Well ok.  Indeed,  lisp has no native pattern matcher.  But it has
something better: smooth and easy meta-programming.

Mathematica has both pattern matching and easy metaprogramming. Could a
next generation Lisp also bundle both?

The question is still whether this is something that needs to be done
at the implementation level.

Most of lisp just doesn't need specific implementation support, but
can be implemented directly over a core lisp.  (Without going down to
the theorical pure lambda calculus, you could implement CL  just with
its 17 special operators, and all the rest implemented above them).

If we were talking about Scheme I'd agree but isn't the point of Lisp that
you take a bare bones metacircular evaluator and add lots of useful
features in a standard library such that users have a decent foundation to
build upon?

So the point is that if you, as a lisp programmer, feel the need for a
pattern matcher, then you can implement it yourself in lisp as a
library, and it will be as integrated to the language as any other CL
operator, such as CLOS or LOOP for example.

But I don't remember you citing any feature of pattern matching that
would need implementation level support. On the contrary, we have
the example of several pattern matcher libraries.

That is precisely the problem. Users don't want a multitude of crap pattern
matching libraries and the ability to Greenspun their own. Users want a
single decent implementation.

... as in CL-UNIFICATION (shameless plug: http://common-lisp.net/project/cl-unification)?
:)

And no. It is *NOT* integrated with the compiler. Don't start
confusing levels again.

The point is that, given CL-UNIFICATION, DEFINE-COMPILER-MACRO and the
MOP you could in principle build fast pattern matching function
definitions and calls directly in CL.

Cheers
--
Marco
.

Relevant Pages

  • Re: Parallel Common-Lisp with at least 64 processors?
    ... Mathematica has both pattern matching and easy metaprogramming. ... next generation Lisp also bundle both? ... would need implementation level support. ... matching libraries and the ability to Greenspun their own. ...
    (comp.lang.lisp)
  • Re: Parallel Common-Lisp with at least 64 processors?
    ... generation Lisp also bundle both? ... CL provides support for pathnames and I/O. ... the example of several pattern matcher libraries. ...
    (comp.lang.lisp)
  • Re: Oft-shared (perhaps?) Impressions of a Lisp Newbie
    ... library" of Common Lisp? ... If something isn't in the language, it will be in some common library, ... you might find M linked list libraries and N ... The more years you spend as a programmer, the more you learn ways to ...
    (comp.lang.lisp)
  • Re: Why Lisp is too hard for me to use
    ... > Lisp. ... > deal with the complexity alluded to in this thread. ... python libraries without being a python-ite is a major pain. ... > (by essentially understanding the difference between a debian system ...
    (comp.lang.lisp)
  • Re: A lisp foundation - a model for open source development?
    ... Lisp doesn't stand very well in terms of popularity so money from ads ... quality libraries we need sponsors, to gain sponsors we need to be ... Create an foundation, let's call it Alexandria ... deposit under foundation library. ...
    (comp.lang.lisp)
Loading