From: David Kastrup <dak@gnu.org>
To: guile-devel@gnu.org
Subject: Re: Dotted pair call argument
Date: Wed, 22 Feb 2012 10:06:28 +0100 [thread overview]
Message-ID: <87pqd79qzv.fsf@fencepost.gnu.org> (raw)
In-Reply-To: 87sji3zoky.fsf@netris.org
Mark H Weaver <mhw@netris.org> writes:
> David Kastrup <dak@gnu.org> writes:
>
>>> Scheme has a very useful property which your proposed syntax would
>>> destroy: any valid expression can be substituted for any other valid
>>> expression, and the result has the same meaning except for the
>>> substitution.
>>
>> guile> (display . (close (current-output-port)))
>> #<primitive-procedure close>guile>
>>
>> Now try
>>
>> (define x (close (current-output-port)))
>> (display . x)
>
> Admittedly I could have been more clear, but I certainly didn't mean to
> imply that anything that _looks_ like a valid expression can be
> replaced. That would be absurd.
Exactly.
> What I meant is that any _subexpression_ can be replaced with any other
> valid expression, without changing the meaning of the program in any
> other way.
So the solution would be to not call dotted pair endings of argument
lists a "subexpression", and everybody will be happy.
> Whether something is a subexpression depends on its _position_ within
> the larger expression.
Yes. That's the point. The dotted list end is a specific position.
Not "subexpression" position. If a list is there, it is evaluated
element by element. If a non-list is there, we get an error. Instead,
I prefer evaluating it and using the evaluated result, whatever it may
be, as the argument list tail. Personally, I would not even demand
actual argument lists to be proper lists as long as the declared
argument list is a dotted list as well: you can still match arguments
then.
> The only advantage I see to this proposed syntax is that in some
> restricted cases it is more aesthetically pleasing.
apply can't handle improper lists either.
> I suspect that most experienced Schemers have at some point wondered
> why dotted-tail notation is not allowed in procedure calls. I
> certainly have, but upon further consideration I became convinced that
> the pitfalls of adopting such an ambiguous and potentially confusing
> syntax far outweigh the advantages.
Nothing that is currently valid would change its meaning.
--
David Kastrup
next prev parent reply other threads:[~2012-02-22 9:06 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-21 14:03 Dotted pair call argument David Kastrup
2012-02-21 15:36 ` Mark H Weaver
2012-02-21 15:59 ` David Kastrup
2012-02-21 16:05 ` David Kastrup
2012-02-21 17:23 ` Mark H Weaver
2012-02-21 18:05 ` David Kastrup
2012-02-22 0:41 ` Mark H Weaver
2012-02-22 9:06 ` David Kastrup [this message]
2012-02-21 20:31 ` Neil Jerram
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
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87pqd79qzv.fsf@fencepost.gnu.org \
--to=dak@gnu.org \
--cc=guile-devel@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.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).