Page Numbers: Yes X: 310 Y: 10.42" First Page: 1
Margins: Top: 1.0" Bottom: 1.5"
Heading:

3-LISP WORKING GUIDE#4: Closures

———————————————————————————————————————————

Issue #4:Closures

Description:Closures — normal-form function designators — should have their own structural category, as opposed to being a special form of pair. This would allow the strange uncallable primitives, SIMPLE and REFELECT, to be replaced by a well-behaved constructor for closures.

Status:Resolved. Closures will have their own structural category. Some minor decisions as to the names and nature of the primitive operations still have to be ironed out. There will be only one new category (called CLOSURE); the constructor (CCONS) will take four arguments: a kind (SIMPLE or REFLECT), an environment designator, a parameter pattern, and a procedure body. Example call:
(CCONS ’SIMPLE ↑GLOBAL ’[X] ’(TYPE X)).

Last Edited:September 16, 1982 (Jim des Rivières)

———————————————————————————————————————————

[Insert material from the Hitchhiker’s Guide here.]