#lambdapapers — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #lambdapapers, 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
-
(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.
🌺