The anatomy of a loop: a story of scope and control Export

@inproceedings{citeulike:342216, abstract = {Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 20 years, it is striking that none have had much success in the Scheme world. I suggest the reason is that Scheme forces us to be precise about the scoping of the various variables introduced by our loop forms, something previous attempts to design ambitious loop forms have not managed to do.I present the design of a loop package for Scheme with a well-defined and natural scoping rule, based on a notion of control dominance that generalizes the standard lexical-scope rule of the lambda-calculus. The new construct is powerful, clear, modular and extensible. The loop language is defined in terms of an underlying language for expressing control-flow graphs. This language itself has interesting properties as an intermediate representation.}, address = {New York, NY, USA}, author = {Shivers, Olin}, booktitle = {ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming}, citeulike-article-id = {342216}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1086365.1086368}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1086365.1086368}, doi = {10.1145/1086365.1086368}, isbn = {1595930647}, keywords = {functional-programming, lambda-calculus, scheme}, pages = {2--14}, posted-at = {2005-10-06 07:22:00}, priority = {2}, publisher = {ACM Press}, title = {The anatomy of a loop: a story of scope and control}, url = {http://dx.doi.org/10.1145/1086365.1086368}, year = {2005} }

TY - CONF ID - citeulike:342216 L3 - citeulike-article-id:342216 N2 - Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 20 years, it is striking that none have had much success in the Scheme world. I suggest the reason is that Scheme forces us to be precise about the scoping of the various variables introduced by our loop forms, something previous attempts to design ambitious loop forms have not managed to do.I present the design of a loop package for Scheme with a well-defined and natural scoping rule, based on a notion of control dominance that generalizes the standard lexical-scope rule of the lambda-calculus. The new construct is powerful, clear, modular and extensible. The loop language is defined in terms of an underlying language for expressing control-flow graphs. This language itself has interesting properties as an intermediate representation. SN - 1595930647 AD - New York, NY, USA EP - 14 TI - The anatomy of a loop: a story of scope and control PB - ACM Press T2 - ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming SP - 2 KW - functional-programming KW - lambda-calculus KW - scheme AU - Shivers, Olin PY - 2005/// UR - http://dx.doi.org/10.1145/1086365.1086368 ER -