[plt-scheme] Smallest set of operators

On Feb 2, 2007, at 7:09 AM, Paulo J. Matos wrote:

> Hello all,
>
> Due to my current work, I've been lately overwhelmed about Programming
> Languages Theory which fascinated me and I read a little bit when I
> had the time but lately I do it for research purposes. While reading
> some programming language and compiler books I wondered if there is
> any known minimal set of Scheme operators from which you can define
> the rest of standard.
>
> I could just throw an idea regading this what I think this set should
> be but it would probably wrong. Still, since Scheme is so well defined
> syntactically and semantically if there has been any theoretical work
> on this minimal set of operators.
>
> References would be appreciated.

1. You need to specify what you mean with define.

2. If you mean "replace in situ" you probably want to read up o  
"Expressive Power of Programming Languages." (Just google)

3. Scheme isn't that well-defined to really do the above. If you mean  
interpreter+library, read Clinger, Friedman, Wand on algebraic  
semantics.

-- Matthias




>
> Regards,
>
> -- 
> Paulo Jorge Matos - pocm at soton.ac.uk
> http://www.personal.soton.ac.uk/pocm
> PhD Student @ ECS
> University of Southampton, UK
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme