From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Rusi Newsgroups: gmane.emacs.help Subject: Re: In defense of Customize [was: Trying to right-align my window on startup] Date: Fri, 31 Jan 2014 04:08:11 -0800 (PST) Message-ID: <2f04eb0a-baed-4e03-b1eb-9b18b1bff6b0@googlegroups.com> References: <3cec217d-8adb-4e6c-b239-eff0c8b520c9@googlegroups.com> <6hrwqhkjfv6.fsf@sap.com> <6hr38k5rd3n.fsf@sap.com> <87k3dhwbql.fsf@nl106-137-194.student.uu.se> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1391170210 14176 80.91.229.3 (31 Jan 2014 12:10:10 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 31 Jan 2014 12:10:10 +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 Jan 31 13:10:19 2014 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 1W9CvL-0006qG-5u for geh-help-gnu-emacs@m.gmane.org; Fri, 31 Jan 2014 13:10:19 +0100 Original-Received: from localhost ([::1]:55148 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W9CvK-0006OB-O9 for geh-help-gnu-emacs@m.gmane.org; Fri, 31 Jan 2014 07:10:18 -0500 X-Received: by 10.50.18.49 with SMTP id t17mr16805665igd.3.1391170092122; Fri, 31 Jan 2014 04:08:12 -0800 (PST) X-Received: by 10.50.78.136 with SMTP id b8mr237069igx.12.1391170092035; Fri, 31 Jan 2014 04:08:12 -0800 (PST) Original-Path: usenet.stanford.edu!uq10no7421765igb.0!news-out.google.com!vg8ni3igb.0!nntp.google.com!uq10no7421758igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Original-Newsgroups: gnu.emacs.help In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=59.95.8.71; posting-account=mBpa7woAAAAGLEWUUKpmbxm-Quu5D8ui Original-NNTP-Posting-Host: 59.95.8.71 User-Agent: G2/1.0 Injection-Date: Fri, 31 Jan 2014 12:08:12 +0000 Original-Xref: usenet.stanford.edu gnu.emacs.help:203562 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:95831 Archived-At: On Friday, January 31, 2014 3:26:02 PM UTC+5:30, Phil Lord wrote: > Emanuel Berg writes: > > Of course it is possible if it is possible in Elisp. If > > it is possible in one way, it is possible in another > > way, that does the same. That Lisp is for everything - > > imperative, functional, data markup, meta > > programming... - this is what makes Lisp *great*. This > > "side effect"-free hysteria of Haskell etc. is an > > artistic/aesthetic construction, and it has little to > > do with reality. > You can argue that this is true of everything beyond the lambda > calculus. It's not that useful an argument though. I had a friend who's email signature used to be: God made machine language; all the rest is the work of man. At the other end of the theoretical-practical spectrum are Turing machines: Here's Dijkstra http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD480.html Since Turing we have the complete theory of how to manipulate bits and is not that, what all computing boils down to? And why all that fuss about, the problems of "the real world"? His theory proves, that all these problems can be solved, so why bother about actually solving them?