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: Mon, 30 Mar 2015 11:44:32 +0200 Message-ID: <20150330094432.GA30418@tuxteam.de> References: <87lhilx0cf.fsf@debian.uxu> <87twx9360u.fsf@kuiper.lan.informatimago.com> <0d1d19ab-06e9-462d-8867-9a49b1e232d3@googlegroups.com> <87pp7x2jav.fsf@kuiper.lan.informatimago.com> <87d23s4nt4.fsf@debian.uxu> <7e8ddf8f-163a-4d16-9ce2-25b0cb3f35aa@googlegroups.com> <87sicny7zm.fsf@kuiper.lan.informatimago.com> <874mp3clqi.fsf@wanadoo.es> 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 1427708709 9241 80.91.229.3 (30 Mar 2015 09:45:09 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 30 Mar 2015 09:45:09 +0000 (UTC) Cc: help-gnu-emacs@gnu.org To: =?iso-8859-1?Q?=D3scar?= Fuentes Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Mon Mar 30 11:45:04 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 1YcWFc-00016w-TE for geh-help-gnu-emacs@m.gmane.org; Mon, 30 Mar 2015 11:44:57 +0200 Original-Received: from localhost ([::1]:60907 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YcWFc-0001Mj-26 for geh-help-gnu-emacs@m.gmane.org; Mon, 30 Mar 2015 05:44:56 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:54704) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YcWFQ-0001Me-PS for help-gnu-emacs@gnu.org; Mon, 30 Mar 2015 05:44:45 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YcWFM-000300-RJ for help-gnu-emacs@gnu.org; Mon, 30 Mar 2015 05:44:44 -0400 Original-Received: from mail.tuxteam.de ([5.199.139.25]:53035 helo=tomasium.tuxteam.de) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YcWFM-0002lr-Kx for help-gnu-emacs@gnu.org; Mon, 30 Mar 2015 05:44:40 -0400 Original-Received: from tomas by tomasium.tuxteam.de with local (Exim 4.80) (envelope-from ) id 1YcWFE-00089f-QO; Mon, 30 Mar 2015 11:44:32 +0200 In-Reply-To: <874mp3clqi.fsf@wanadoo.es> 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:103443 Archived-At: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Mon, Mar 30, 2015 at 03:33:41AM +0200, Óscar Fuentes wrote: > Stefan Monnier writes: [...] > > you say > > > > Γ ⊢ e : τ [...] > > Of course, if you're not familiar with the local conventions, it looks > > like line noise, but otherwise it offers people much higher concision, > > so they can focus on the important aspects. > > Those conventions make sense when you work on the same field for long > enough periods (students, specialized programmers...) but I guess that > most of us deal with heterogeneous code on a regular basis [...] > As for the higher concision, it is acceptable for cases where the > "read-time"/"think-time" ratio is low [...] Excuse you both my selective quoting. But you're just confirming one fear I had all along: in our trade (hacking) it seems we spend far too much time coding and far too little time thinking! Mathematicians, who think more and tinker less, seem to have found a sweet spot in a far more compact notation. - -- t -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlUZGwAACgkQBcgs9XrR2kZf1ACeOXndRSR1WfavvlZYWVVXp+pl vY8AnAq0IXbfAtap8vgiR3brqRWEIKvo =O1fE -----END PGP SIGNATURE-----