Path: g2news2.google.com!postnews.google.com!n30g2000vbb.googlegroups.com!not-for-mail
From: namekuseijin <namekusei...@gmail.com>
Newsgroups: comp.lang.lisp
Subject: Re: CPS and optimization
Date: Wed, 10 Nov 2010 07:35:18 -0800 (PST)
Organization: http://groups.google.com
Lines: 11
Message-ID: <bb2db229-107d-49f9-8ecc-89b6ce73c168@n30g2000vbb.googlegroups.com>
References: <ibd50j$gsr$1@news.eternal-september.org>
NNTP-Posting-Host: 201.47.188.2
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1289403319 7442 127.0.0.1 (10 Nov 2010 15:35:19 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 10 Nov 2010 15:35:19 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: n30g2000vbb.googlegroups.com; posting-host=201.47.188.2; posting-account=AhEwOgoAAABfI1IAWWBiHDSU2pvzqVnt
User-Agent: G2/1.0
X-HTTP-Via: 1.1 proxy2.stj.gov.br:3128 (IronPort-WSA/7.0.0-819)
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.0;
 Trident/4.0; SLCC1; .NET CLR 2.0.50727; .NET CLR 1.1.4322; .NET CLR
 3.0.30729; .NET CLR 3.5.30729),gzip(gfe)

On 10 nov, 01:53, Peter Keller <psil...@cs.wisc.edu> wrote:
> My question is: If CPS is mandatory to implement escapes, then when
> doing direct syntax translation into CPS we fixate the execution
> order of expressions very early. So how does one perform the usual
> optimizations like for block structured languages? The concept of a
> basic block is a bit lost in the CPS world.

you're talking about different levels of abstraction here.  Blocks in
structured language are indeed equivalent to lexical closures in
Scheme.  CPS is equivalent to structureless goto programming:  you do
something then go to something else to continue the computations.