From: John Mastro <john.b.mastro@gmail.com>
To: "help-gnu-emacs@gnu.org" <help-gnu-emacs@gnu.org>
Subject: Re: How to quote a list of functions?
Date: Thu, 13 Aug 2015 17:38:19 -0700 [thread overview]
Message-ID: <CAOj2CQRZjr-Y2h7PK7mPpU=jw5oTxG3wHb-xLSUddHPMFjtC-A@mail.gmail.com> (raw)
In-Reply-To: <87mvxug2us.fsf@nl106-137-147.student.uu.se>
>> The notion of type should still exist in the mind of
>> the programmer, if not in the compiler!
>>
>> The first parameter of put is of type symbol
>> (function x) returns an object of type function.
>> While it's true that in emacs lisp, symbol is
>> a subtype of function, the reverse is not true.
>> Some functions are not symbols. Therefore, the
>> Lyskoff Substitution Principle tells us that
>>
>> (put #'upcase-region 'disabled nil)
>>
>> is a gross error. It should be:
>>
>> (put 'upcase-region 'disabled nil)
>
> I'm not going to use this at all. I don't see the
> benefit of it because if I misspell a function, I will
> realize that immediately as the keystroke or otherwise
> invocation won't work. Besides I don't want to stop
> and think if I should but the sharp sign there or not.
> I never did and it always worked. Part of the
> pleasure with Lisp is not thinking like a computer,
> but like a man, and this poor man's typing is a step
> away from that while not offering any benefits what
> I can see. The OP presented it as something you should
> definitely do but the subsequent discussion hasn't
> showed that by far, and even he himself couldn't say
> why you should bother.
It's true that in Emacs Lisp, unlike in e.g. Common Lisp, there's no
runtime difference between 'foo and #'foo. However, the inspiration to
"stop and think" is arguably part of the benefit at the beginning,
because it helps you sharpen your intuitive sense of "symbol-as-symbol"
vs "symbol-as-function".
Regarding Lispiness, in Common Lisp sharp-quote really does do that
which we sort of pretend it does in Emacs Lisp, so I think it's hard to
see how observing the distinction in Emacs Lisp could be un-Lispy. (Not
that Lispiness in itself is an argument for anything - just an
observation.)
Anyway, it's clearly a trivial issue, especially in the context of "Lisp
as Turing-complete configuration language". To each their own!
--
john
next prev parent reply other threads:[~2015-08-14 0:38 UTC|newest]
Thread overview: 81+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-08-08 23:42 How to quote a list of functions? Marcin Borkowski
2015-08-08 23:48 ` Dmitry Gutov
2015-08-09 0:09 ` Marcin Borkowski
2015-08-09 6:18 ` Dmitry Gutov
2015-08-09 8:04 ` Marcin Borkowski
[not found] ` <mailman.7992.1439078979.904.help-gnu-emacs@gnu.org>
2015-08-09 0:33 ` Pascal J. Bourguignon
2015-08-09 8:06 ` Marcin Borkowski
[not found] ` <mailman.8016.1439107624.904.help-gnu-emacs@gnu.org>
2015-08-09 10:26 ` Pascal J. Bourguignon
2015-08-09 10:47 ` Marcin Borkowski
[not found] ` <mailman.8020.1439117265.904.help-gnu-emacs@gnu.org>
2015-08-09 11:42 ` Pascal J. Bourguignon
2015-08-09 1:53 ` Emanuel Berg
2015-08-09 8:05 ` Marcin Borkowski
2015-08-09 15:58 ` Emanuel Berg
[not found] ` <mailman.8033.1439136046.904.help-gnu-emacs@gnu.org>
2015-08-10 0:08 ` Barry Margolin
2015-08-10 2:02 ` Ian Zimmerman
2015-08-11 1:06 ` Emanuel Berg
2015-08-11 1:16 ` Emanuel Berg
[not found] ` <mailman.8102.1439255290.904.help-gnu-emacs@gnu.org>
2015-08-11 6:16 ` Barry Margolin
2015-08-12 2:50 ` Emanuel Berg
[not found] ` <mailman.8167.1439348114.904.help-gnu-emacs@gnu.org>
2015-08-12 7:01 ` Barry Margolin
2015-08-13 1:31 ` Emanuel Berg
2015-08-13 1:56 ` Stefan Monnier
2015-08-13 1:59 ` Emanuel Berg
[not found] ` <mailman.8228.1439429711.904.help-gnu-emacs@gnu.org>
2015-08-13 4:20 ` Pascal J. Bourguignon
2015-08-13 23:55 ` Emanuel Berg
2015-08-14 0:38 ` John Mastro [this message]
2015-08-15 1:38 ` Emanuel Berg
2015-08-15 21:16 ` John Mastro
2015-08-16 23:56 ` Emanuel Berg
2015-08-17 0:06 ` Pascal J. Bourguignon
2015-08-17 0:34 ` Emanuel Berg
[not found] ` <mailman.8449.1439771796.904.help-gnu-emacs@gnu.org>
2015-08-17 1:19 ` Pascal J. Bourguignon
2015-08-17 1:40 ` Emanuel Berg
[not found] ` <mailman.8450.1439775768.904.help-gnu-emacs@gnu.org>
2015-08-17 2:31 ` Barry Margolin
2015-08-17 3:07 ` Pascal J. Bourguignon
2015-08-18 0:52 ` Emanuel Berg
[not found] ` <mailman.8494.1439859284.904.help-gnu-emacs@gnu.org>
2015-08-18 1:32 ` Pascal J. Bourguignon
2015-08-19 0:11 ` Emanuel Berg
2015-08-17 3:04 ` Pascal J. Bourguignon
2015-08-18 1:00 ` Emanuel Berg
2015-08-18 1:54 ` Drew Adams
2015-08-19 0:29 ` Emanuel Berg
2015-08-19 0:48 ` Emanuel Berg
2015-08-19 1:37 ` Drew Adams
2015-08-19 21:57 ` Emanuel Berg
[not found] ` <mailman.8599.1439945431.904.help-gnu-emacs@gnu.org>
2015-08-19 1:54 ` Pascal J. Bourguignon
2015-08-19 3:27 ` Stefan Monnier
2015-08-19 11:54 ` Pascal J. Bourguignon
2015-08-19 22:15 ` get all functions (was: Re: How to quote a list of functions?) Emanuel Berg
[not found] ` <mailman.8499.1439873185.904.help-gnu-emacs@gnu.org>
2015-08-18 5:03 ` How to quote a list of functions? Rusi
2015-08-18 10:43 ` Pascal J. Bourguignon
[not found] ` <mailman.8495.1439859773.904.help-gnu-emacs@gnu.org>
2015-08-18 1:43 ` Pascal J. Bourguignon
2015-08-18 23:46 ` Emanuel Berg
[not found] ` <mailman.8448.1439770003.904.help-gnu-emacs@gnu.org>
2015-08-17 0:15 ` Pascal J. Bourguignon
2015-08-17 6:29 ` tomas
2015-08-18 1:03 ` Emanuel Berg
2015-08-18 7:44 ` tomas
2015-08-18 10:51 ` Marcin Borkowski
2015-08-19 0:34 ` Emanuel Berg
2015-08-19 14:22 ` Marcin Borkowski
2015-08-19 20:21 ` tomas
2015-08-21 19:27 ` Emanuel Berg
[not found] ` <mailman.41.1440185412.11330.help-gnu-emacs@gnu.org>
2015-08-21 20:09 ` Pascal J. Bourguignon
2015-08-21 23:38 ` Emanuel Berg
[not found] ` <mailman.49.1440200400.11330.help-gnu-emacs@gnu.org>
2015-08-21 23:46 ` Pascal J. Bourguignon
2015-08-23 21:39 ` Emanuel Berg
2015-08-23 22:16 ` Emanuel Berg
[not found] ` <mailman.147.1440366096.11330.help-gnu-emacs@gnu.org>
2015-08-23 23:59 ` Pascal J. Bourguignon
2015-08-24 0:39 ` Emanuel Berg
2015-08-24 1:42 ` Emanuel Berg
[not found] ` <mailman.1.1440425878.7866.help-gnu-emacs@gnu.org>
2015-08-24 18:42 ` Pascal J. Bourguignon
2015-08-24 19:43 ` Emanuel Berg
[not found] ` <mailman.33.1440446412.28410.help-gnu-emacs@gnu.org>
2015-08-24 23:32 ` Pascal J. Bourguignon
2015-08-19 22:04 ` Emanuel Berg
[not found] ` <mailman.8506.1439895686.904.help-gnu-emacs@gnu.org>
2015-08-18 11:18 ` Pascal J. Bourguignon
[not found] ` <mailman.8299.1439510265.904.help-gnu-emacs@gnu.org>
2015-08-14 7:56 ` Pascal J. Bourguignon
2015-08-15 1:30 ` Emanuel Berg
[not found] <mailman.7990.1439077354.904.help-gnu-emacs@gnu.org>
2015-08-09 0:30 ` Pascal J. Bourguignon
2015-08-09 1:08 ` Michael Heerdegen
[not found] ` <mailman.7994.1439082517.904.help-gnu-emacs@gnu.org>
2015-08-09 1:23 ` Pascal J. Bourguignon
2015-08-09 8:12 ` Marcin Borkowski
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='CAOj2CQRZjr-Y2h7PK7mPpU=jw5oTxG3wHb-xLSUddHPMFjtC-A@mail.gmail.com' \
--to=john.b.mastro@gmail.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.