#guysteele — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #guysteele, aggregated by home.social.
-
@jnkrtech you can read the original “Lambda Papers,” particularly AI Memo 349 “ Scheme: An Interpreter for Extended Lambda Calculus“ by Sussman and Steele where (I believe for the first time) continuation passing style was described in Section 3.4 “Continuation Passing Recursion”.
The rest of the “Lambda Papers” are all available on Wikisource.
#tech #software #FunctionalProgramming #Scheme #SchemeLang #R7RS #GerrySussman #GuySteele #AIMemo #MIT #LambdaPapers
-
@jnkrtech you can read the original “Lambda Papers,” particularly AI Memo 349 “ Scheme: An Interpreter for Extended Lambda Calculus“ by Sussman and Steele where (I believe for the first time) continuation passing style was described in Section 3.4 “Continuation Passing Recursion”.
The rest of the “Lambda Papers” are all available on Wikisource.
#tech #software #FunctionalProgramming #Scheme #SchemeLang #R7RS #GerrySussman #GuySteele #AIMemo #MIT #LambdaPapers
-
@jnkrtech you can read the original “Lambda Papers,” particularly AI Memo 349 “ Scheme: An Interpreter for Extended Lambda Calculus“ by Sussman and Steele where (I believe for the first time) continuation passing style was described in Section 3.4 “Continuation Passing Recursion”.
The rest of the “Lambda Papers” are all available on Wikisource.
#tech #software #FunctionalProgramming #Scheme #SchemeLang #R7RS #GerrySussman #GuySteele #AIMemo #MIT #LambdaPapers
-
@jnkrtech you can read the original “Lambda Papers,” particularly AI Memo 349 “ Scheme: An Interpreter for Extended Lambda Calculus“ by Sussman and Steele where (I believe for the first time) continuation passing style was described in Section 3.4 “Continuation Passing Recursion”.
The rest of the “Lambda Papers” are all available on Wikisource.
#tech #software #FunctionalProgramming #Scheme #SchemeLang #R7RS #GerrySussman #GuySteele #AIMemo #MIT #LambdaPapers
-
The reading/posting binge about #GlobalWarming is helping me pull a lot of things together. Maybe there's a way to get coherent views and acts from a few simple principles. For the design of scheme it was "assignable values cells and good old lambda expressions" that allows one to "build objects and their behaviour." ^1 What are the key concepts for dealing with industrial civilization, or whatever we'll call the mess we're in now?
^1 https://letoverlambda.com/index.cl/guest/chap2.html
#GuySteele #Scheme -
(2/2)
Note that while #Scheme implementations are required to do the optimization so as to conform to the standard, any halfway decent #CommonLisp implementation will also do it, although the standard doesn't require it.
The implementations of numerous other languages also do it.
It's state of the art since the 1970ies, when the point was made in the #LambdaPapers by #GuySteele and #GeraldSussman.
🌺