all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: William D Clinger <cesura17@yahoo.com>
To: help-gnu-emacs@gnu.org
Subject: Re: Nested Lambda function gives error in common lisp, guile, emacs lisp but works in scheme. Why?
Date: Sun, 07 Oct 2007 19:58:15 -0700	[thread overview]
Message-ID: <1191812295.692215.113710@57g2000hsv.googlegroups.com> (raw)
In-Reply-To: <1191799640.394781.254540@v3g2000hsg.googlegroups.com>

David Rush quoting a Common Lisp programmer:
> > order to treat a first-class value as a function, you have to shift it
> > via FUNCALL. In order to yield a function as a first-class value, you
> > have look it up with FUNCTION.
>
> Makes it sound  like there are two fundamentally different *types* of
> values And FUNCALL and FUNCTION are the type cast operators between
> those types. Is this a valid way of looking at this?

No, but that invalid way of looking at it may be
common among Common Lisp programmers.

What's really going on is that Common Lisp,
as a Lisp-2, needs some way to distinguish
the environment in which variables are to be
resolved.  That's the purpose of FUNCTION.

Then, to avoid the syntactic clutter of using
FUNCTION in the operator expression of
almost every call, Common Lisp evaluates
operator expressions differently from operand
expressions.

If you can regard higher-order functions as
unnatural, then you can regard Common Lisp's
semantics as natural.  That's the real lesson
of the Gabriel/Pitman paper cited earlier in
this thread.  By the way, that paper was not
subject to normal peer review; it was political
from the start, and its conclusion that the
advantages and disadvantages of Lisp-1 and
Lisp-2 are comparable was pre-ordained.

To reach that conclusion, they had to count
at least one of the arguments against Lisp-2
as an argument in favor of Lisp-2.  I won't
spoil your fun by explaining this; it's obvious
if you read the paper carefully with an open
mind.

Will

  parent reply	other threads:[~2007-10-08  2:58 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-10-07  5:34 Nested Lambda function gives error in common lisp, guile, emacs lisp but works in scheme. Why? gnuist006
2007-10-07  5:36 ` gnuist006
2007-10-07  7:55   ` David Rush
2007-10-07 11:04     ` Pascal Costanza
2007-10-07 11:02 ` Pascal Costanza
2007-10-07 23:27   ` David Rush
2007-10-08  1:14     ` .
2007-10-08  3:43       ` Rainer Joswig
2007-10-08  2:58     ` William D Clinger [this message]
2007-10-08  6:42       ` Pascal Costanza
2007-10-08 20:33         ` namekuseijin
2007-10-08 20:48           ` Pascal Costanza
2007-10-08 19:05       ` Don Geddis
2007-10-08  6:39     ` Pascal Costanza
2007-10-08  0:09 ` Matthias Benkard
2007-10-08 12:24   ` Barry Margolin

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1191812295.692215.113710@57g2000hsv.googlegroups.com \
    --to=cesura17@yahoo.com \
    --cc=help-gnu-emacs@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.