Separate compilation and new language features
Separate compilation and new language features
LISP 1.5 Programmer's Manual
A programming language
Type-dependent parameter inference
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
IBM Systems Journal
| Hi-index | 0.00 |
Scope rules are presented as they appear in the language L, which is currently under development at McGill. These rules permit a programmer to specify explicitly the duration and visibility of all objects. Such specification can be used to declare variables or to create data structures which persist from one invocation of a block to the next. In addition, the data may be caused to persist from one run of the program to the next, obviating temporary files which are outside the scope and control of the programming language. The visibility of an object may also be specified to be larger than the block that contains its declaration. This facility allows the programmer to export some objects, yet keep others private. Finally, a facility for call-site visibility is presented that provides some of the expressive power of dynamic scoping and macros without their inherent type insecurity.