[plt-scheme] Smallest set of operators

From: Michael Vanier (mvanier at cs.caltech.edu)
Date: Fri Feb 2 16:33:20 EST 2007

CPS == continuation passing style

Matthias, what does SPS mean?

Mike

Matthias Felleisen wrote:
> 
> On Feb 2, 2007, at 9:02 AM, Paulo J. Matos wrote:
> 
>> On 2/2/07, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>>>
>>> On Feb 2, 2007, at 7:36 AM, Paulo J. Matos wrote:
>>>
>>> > On 2/2/07, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
>>> >>
>>> >> 1. You need to specify what you mean with define.
>>> >>
>>> >
>>> > define = implement.
>>>
>>>
>>> This definition is naive. Just use ONE SINGLE combinator (X, see
>>> Barendregt) and you can compile EVERY language to it. -- Matthias
>>>
>>>
>>
>> You mean you can compile Scheme to X only? continuations, side- 
>> effects, etc?
> 
> Here is how it goes:
> 
> 1. cps the program.
> 
> 2. sps the program.
> 
> 3. now you're functional.
> 
> 4. compile to X now.
> 
> -- Matthias
> 
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme


Posted on the users mailing list.