LAND*: An AND with local bindings, a guarded LET* special form

Research output: Contribution to conferencePaper

Abstract

Like an ordinary AND, a LAND* special form evaluates its arguments - expressions - one after another in order, until the first one that yields #f. Unlike AND, a non-#f result of one expression can be found to a fresh variable and used in the subsequent expressions. LAND* can be thought of as a combination of LET* and AND, or a generalization of COND's send operator. A LAND* form can also be considered a sequence of guarded expressions.

Original languageEnglish
Number of pages1
Publication statusPublished - 1998 Jan 1
Externally publishedYes
EventProceedings of the 1998 3rd ACM SIGPLAN International Conference on Functional Programming, ICFP-98 - Baltimore, MD, USA
Duration: 1998 Sep 271998 Sep 29

Other

OtherProceedings of the 1998 3rd ACM SIGPLAN International Conference on Functional Programming, ICFP-98
CityBaltimore, MD, USA
Period98/9/2798/9/29

ASJC Scopus subject areas

  • Software

Cite this

Kiselyov, O. (1998). LAND*: An AND with local bindings, a guarded LET* special form. Paper presented at Proceedings of the 1998 3rd ACM SIGPLAN International Conference on Functional Programming, ICFP-98, Baltimore, MD, USA, .