Laziness without all the hard work: combining lazy and strict languages for teaching

Authors:
Eli Barzilay;John Clements
Affiliations:
Northeastern University;California Polytechnic State University
Venue:
Proceedings of the 2005 workshop on Functional and declarative programming in education
Year:
2005

Citing 7
Cited 3

Structure and interpretation of computer programs

Structure and interpretation of computer programs
On the expressive power of programming languages

ESOP '90 Selected papers from the symposium on 3rd European symposium on programming
Revised5 report on the algorithmic language scheme

ACM SIGPLAN Notices
Essentials of programming languages (2nd ed.)

Essentials of programming languages (2nd ed.)
Composable and compilable macros:: you want it when?

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Definitional interpreters for higher-order programming languages

ACM '72 Proceedings of the ACM annual conference - Volume 2
DrScheme: a programming environment for Scheme

Journal of Functional Programming

Operational semantics for multi-language programs

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Operational semantics for multi-language programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Languages as libraries

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Students have trouble understanding the difference between lazy and strict programming. It is difficult to compare the two directly, because popular strict languages and popular lazy languages differ in their syntax, in their type systems, and in other ways unrelated to the lazy/strict evaluation discipline.While teaching programming languages courses, we have discovered that an extension to PLT Scheme allows the system to accommodate both lazy and strict evaluation in the same system. Moreover, the extension is simple and transparent. Finally, the simple nature of the extension means that the resulting system provides a rich environment for both lazy and strict programs without modification.