Path: csiph.com!usenet.pasdenom.info!news.etla.org!news.stack.nl!newsfeed.xs4all.nl!newsfeed2.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path: <dreamingforward@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.012
X-Spam-Evidence: '*H*': 0.98; '*S*': 0.00; 'tries': 0.07; 'abstraction': 0.09; 'logic': 0.09; 'pretend': 0.09; 'subject:while': 0.09; 'cc:addr:python-list': 0.11; 'translation': 0.12; '(it': 0.16; 'cc:name:python list': 0.16; 'machien': 0.16; 'subject:recursion': 0.16; 'substituted': 0.16; 'to:addr:pearwood.info': 0.16; 'to:addr:steve+comp.lang.python': 0.16; "to:name:steven d'aprano": 0.16; 'warren': 0.16; 'all.': 0.16; 'language': 0.16; 'machine': 0.22; 'cc:addr:python.org': 0.22; 'sorry,': 0.24; '(or': 0.24; 'cc:2**0': 0.24; "i've": 0.25; 'header:In-Reply-To:1': 0.27; 'message-id:@mail.gmail.com': 0.30; 'code': 0.31; 'getting': 0.31; 'argue': 0.31; 'really,': 0.31; 'another': 0.32; 'but': 0.35; 'received:google.com': 0.35; 'machine.': 0.36; 'too': 0.37; 'easily': 0.37; 'stable': 0.38; 'little': 0.38; 'even': 0.60; 'gone': 0.61; "you've": 0.63; 'refer': 0.63; 'therefore,': 0.64; 'skip:w 40': 0.68; 'power': 0.76; 'complex,': 0.84; 'it"': 0.84; 'prolog': 0.84; 'territory': 0.84; 'washington': 0.93
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=lJsr41wRC+T1fCp1J1yjY3YtrWqCpmLXwAEFqDe2EmE=; b=jawWU6/m0VpHv45jngt81hqh5vMiLCaB2hjKScV2Onljxb9mUpuYZkw/2XMXDtAkhN ZV8F3NZF6+FBla0b6oYpi2GtjRa71eLupaa01EMoimW2FuicymD5pVqDIH5sfo/L4COO r8CO2SjvwZT6kJKLCfGNCdu4vxREY+6XbUAlOQ08+/6eVDYUEIAW89q5s6CZeY7ypNXW chRoz+tZn//iUO0ZoYF7AfYtgdY/YLY5qrnmyv0EAoFPfSkwHwHp/6rk3MAjaGfDjLFl fw4Lae5iNCN8iNIw/xVlbP1OdTuadKSpZCh3fDF8oTyoMHTJJsNOxB6MTQ/mJ2+/e3G9 Nv8A==
MIME-Version: 1.0
X-Received: by 10.194.193.4 with SMTP id hk4mr26873663wjc.29.1381191850935; Mon, 07 Oct 2013 17:24:10 -0700 (PDT)
In-Reply-To: <CAMjeLr_ZdDURyE4Z8rj=TKzNntZZqXY3stKJG3-Ck+qC_4GeGA@mail.gmail.com>
References: <mailman.571.1380663065.18130.python-list@python.org> <87had0axxy.fsf@dpt-info.u-strasbg.fr> <CAMjeLr9KPf=Z4pJoQtU8LXiT686dABg-fpNoWYb9reEPRSsYjA@mail.gmail.com> <524C80B6.3010204@unistra.fr> <mailman.651.1380747919.18130.python-list@python.org> <87li292wnt.fsf@dpt-info.u-strasbg.fr> <mailman.732.1380925974.18130.python-list@python.org> <878uy52ea0.fsf@dpt-info.u-strasbg.fr> <5252F610.9040403@rece.vub.ac.be> <mailman.821.1381188514.18130.python-list@python.org> <525348d7$0$29984$c3e8da3$5496439d@news.astraweb.com> <CAMjeLr_ZdDURyE4Z8rj=TKzNntZZqXY3stKJG3-Ck+qC_4GeGA@mail.gmail.com>
Date: Mon, 7 Oct 2013 17:24:10 -0700
Subject: Re: Tail recursion to while iteration in 2 easy steps
From: Mark Janssen <dreamingforward@gmail.com>
To: "Steven D'Aprano" <steve+comp.lang.python@pearwood.info>
Content-Type: text/plain; charset=ISO-8859-1
Cc: Python List <python-list@python.org>
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe: <https://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <http://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <https://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups: comp.lang.python
Message-ID: <mailman.822.1381191857.18130.python-list@python.org>
Lines: 20
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1381191857 news.xs4all.nl 15926 [2001:888:2000:d::a6]:35299
X-Complaints-To: abuse@xs4all.nl
Xref: csiph.com comp.lang.python:56338

> Only that you've got a consistent, stable (and therefore,
> formalizable) translation from your language to the machine.  That's
> all.  Everything else is magic.  Do you know that the Warren
> Abstraction Engine used to power the predicate logic in Prolog into
> machien code for a VonNeumann machine is so complex, no one has
> understood it (or perhaps even verified it)?

Sorry, I mean the Warren Abstraction Machine (or WAM).  I refer you to
www.cvc.uab.es/shared/teach/a25002/wambook.pdf.

Now, one can easily argue that I've gone too far to say "no one has
understood it" (obviously), so it's very little tongue-in-cheek, but
really, when one tries to pretend that one model of computation can be
substituted for another (arguing *for* the Church-Turing thesis), they
are getting into troubling territory (it is only a thesis,
remember)....

-- 
MarkJ
Tacoma, Washington