From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Emanuel Berg Newsgroups: gmane.emacs.help Subject: Re: Check for redundancy Date: Sun, 28 Jun 2015 17:50:28 +0200 Message-ID: <87twtrn86z.fsf@nl106-137-147.student.uu.se> References: <87zj3mb4jf.fsf@mbork.pl> <87twttcpve.fsf@robertthorpeconsulting.com> <20150627131227.GB23450@tuxteam.de> <87d20glpqa.fsf@nl106-137-147.student.uu.se> <20150628110732.GA23656@tuxteam.de> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1435506974 14395 80.91.229.3 (28 Jun 2015 15:56:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 28 Jun 2015 15:56:14 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Sun Jun 28 17:56:06 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 1Z9Ew9-0004B1-UE for geh-help-gnu-emacs@m.gmane.org; Sun, 28 Jun 2015 17:56:06 +0200 Original-Received: from localhost ([::1]:39276 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z9Ew9-0000kF-Ak for geh-help-gnu-emacs@m.gmane.org; Sun, 28 Jun 2015 11:56:05 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:55065) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z9EvF-0008EZ-L2 for help-gnu-emacs@gnu.org; Sun, 28 Jun 2015 11:55:10 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Z9EvB-0001nu-Iu for help-gnu-emacs@gnu.org; Sun, 28 Jun 2015 11:55:09 -0400 Original-Received: from plane.gmane.org ([80.91.229.3]:41503) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z9EvB-0001mf-Ci for help-gnu-emacs@gnu.org; Sun, 28 Jun 2015 11:55:05 -0400 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1Z9EvA-0003dx-AH for help-gnu-emacs@gnu.org; Sun, 28 Jun 2015 17:55:04 +0200 Original-Received: from nl106-137-135.student.uu.se ([130.243.137.135]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 28 Jun 2015 17:55:04 +0200 Original-Received: from embe8573 by nl106-137-135.student.uu.se with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 28 Jun 2015 17:55:04 +0200 X-Injected-Via-Gmane: http://gmane.org/ Mail-Followup-To: help-gnu-emacs@gnu.org Original-Lines: 20 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: nl106-137-135.student.uu.se Mail-Copies-To: never User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux) Cancel-Lock: sha1:aWdkEfREAsaA1DMkWdM5UP+s/H4= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 80.91.229.3 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:105259 Archived-At: writes: > and for reminding me of this one. I'd even go > further than Stroustroup: if you have an untyped > language, Hungarian is a losing proposition. > The type "tags" in the var names are now possibly > lying to you, which is even worse. IMHO better you > embrace the untyped language and come up with more > intelligent techniques [1] (or, if that's not your > thing, you just change languages). Indeed. For untyped languages, why put the types in code where they aren't actually types anyway? And for typed languages, why put them in code where they still aren't types and even more, where they can indicate the *incorrect* type as well? -- underground experts united http://user.it.uu.se/~embe8573