From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Newsgroups: gmane.emacs.help Subject: Re: if vs. when vs. and: style question Date: Fri, 27 Mar 2015 14:05:28 +0100 Message-ID: <20150327130528.GA4075@tuxteam.de> References: <87twx9360u.fsf@kuiper.lan.informatimago.com> <0d1d19ab-06e9-462d-8867-9a49b1e232d3@googlegroups.com> <87lhil2io1.fsf@kuiper.lan.informatimago.com> <87zj6zw0wy.fsf@debian.uxu> <21781.3549.847754.15154@mail.eng.it> <87sicqzk7g.fsf@kuiper.lan.informatimago.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; x-action=pgp-signed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1427461568 1453 80.91.229.3 (27 Mar 2015 13:06:08 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 27 Mar 2015 13:06:08 +0000 (UTC) Cc: help-gnu-emacs@gnu.org To: "Pascal J. Bourguignon" Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Fri Mar 27 14:06:01 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 1YbTxT-0001yQ-GK for geh-help-gnu-emacs@m.gmane.org; Fri, 27 Mar 2015 14:05:55 +0100 Original-Received: from localhost ([::1]:50132 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YbTxS-00081R-LO for geh-help-gnu-emacs@m.gmane.org; Fri, 27 Mar 2015 09:05:54 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46530) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YbTx9-000814-Jz for help-gnu-emacs@gnu.org; Fri, 27 Mar 2015 09:05:39 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YbTx5-0007Yq-IR for help-gnu-emacs@gnu.org; Fri, 27 Mar 2015 09:05:35 -0400 Original-Received: from mail.tuxteam.de ([5.199.139.25]:44735 helo=tomasium.tuxteam.de) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YbTx4-0007YQ-UD for help-gnu-emacs@gnu.org; Fri, 27 Mar 2015 09:05:31 -0400 Original-Received: from tomas by tomasium.tuxteam.de with local (Exim 4.80) (envelope-from ) id 1YbTx3-00019B-16; Fri, 27 Mar 2015 14:05:29 +0100 In-Reply-To: <87sicqzk7g.fsf@kuiper.lan.informatimago.com> User-Agent: Mutt/1.5.21 (2010-09-15) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 5.199.139.25 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:103392 Archived-At: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Fri, Mar 27, 2015 at 01:41:23PM +0100, Pascal J. Bourguignon wrote: > writes: > > > On Fri, Mar 27, 2015 at 08:59:25AM +0100, Gian Uberto Lauri wrote: > >> Emanuel Berg writes: > >> > (1+ data) vs. (+ 1 data) [...] > > The optimizer is solving much harder problems than that. This holds true > > for C as it holds for Lisp or Scheme or whatnot. > > > Definitely. > And this would be a good argument to remove/avoid 1+ and 1-. Oh, no! This exquisite redundancy in the language caters to my wetware processor: it's a kind of side channel toward my colleague wetware processors out there. The silicon processors just don't notice ;-) What am I transmitting through this side channel? Call it "intention" and wave with hands. [...] > Again, one could argue indeed that it's a premature optimizationc$ [...] No, no, no! It's not about optimization (at least not mostly, at least not these days). It's about those mysterious side channels. Try to convince a musician to write always C-sharp instead of sometimes D-flat, although they "are" the same note (since Bach, at least) (or are they? On a violin? On a piano?). rgds - -- tomás -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlUVVZgACgkQBcgs9XrR2kasDACeNNZZB5YXraNY4Wmug1ItUChB znQAnjs/iMqmq3zNdyp/GNaLmoN5PAFB =aOX6 -----END PGP SIGNATURE-----