Re: In defense of Customize [was: Trying to right-align my window on startup]

[Rusi]

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?