From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: John Mastro Newsgroups: gmane.emacs.help Subject: Re: How to quote a list of functions? Date: Thu, 13 Aug 2015 17:38:19 -0700 Message-ID: References: <871tfdjqjx.fsf@mbork.pl> <877fp5b52v.fsf@nl106-137-147.student.uu.se> <8737zs7uq3.fsf@mbork.pl> <87zj1vddkz.fsf@kuiper.lan.informatimago.com> <87mvxug2us.fsf@nl106-137-147.student.uu.se> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1439512737 14959 80.91.229.3 (14 Aug 2015 00:38:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 14 Aug 2015 00:38:57 +0000 (UTC) To: "help-gnu-emacs@gnu.org" Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Fri Aug 14 02:38:57 2015 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZQ31M-0006pw-6n for geh-help-gnu-emacs@m.gmane.org; Fri, 14 Aug 2015 02:38:56 +0200 Original-Received: from localhost ([::1]:44525 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZQ31L-0006hm-Kw for geh-help-gnu-emacs@m.gmane.org; Thu, 13 Aug 2015 20:38:55 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:37922) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZQ317-0006ge-3V for help-gnu-emacs@gnu.org; Thu, 13 Aug 2015 20:38:41 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZQ315-0007Wm-Jb for help-gnu-emacs@gnu.org; Thu, 13 Aug 2015 20:38:40 -0400 Original-Received: from mail-ob0-x231.google.com ([2607:f8b0:4003:c01::231]:32881) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZQ315-0007WV-FK for help-gnu-emacs@gnu.org; Thu, 13 Aug 2015 20:38:39 -0400 Original-Received: by obbhe7 with SMTP id he7so50395427obb.0 for ; Thu, 13 Aug 2015 17:38:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; bh=1ggF4YGbFxSkLtksPa2lkiBCAGM01oKp+s1c1NWs8XQ=; b=TNwCQltUIEtcx2/sh/xn11BEdC+/0V4apwvwJ2iiU/PQuvzVPv0g2HOnXGqa5jEsSw Zy9PZcEFn2VjVB0Oq8giRRhnI/NkYx+YosX3BdYuqmknHJboADqaIUBJnb4c+F46N0M5 TE15gWqP7BAthyLrnxPY2nIR7+W55weKky5oafJt55Xxy14vIuU/RI33E1xkxAuUU+xQ JCWxfgQVFf1gOrGziUwqutXkSjlLWPfO+FzidQxoLNgt8Aw2CEZQC5bB5h7t8EEjIgg4 kO5PqGI3zwJtkLOkcsvoEyVZmFUxdaNfvqViX5d8H/K+gRc5C0VY8F34zR0nHBnh/XV5 mR7A== X-Received: by 10.182.129.11 with SMTP id ns11mr6279491obb.3.1439512718671; Thu, 13 Aug 2015 17:38:38 -0700 (PDT) Original-Received: by 10.76.168.70 with HTTP; Thu, 13 Aug 2015 17:38:19 -0700 (PDT) In-Reply-To: <87mvxug2us.fsf@nl106-137-147.student.uu.se> X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2607:f8b0:4003:c01::231 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:106563 Archived-At: >> 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