Next: References
Up: PLAN Programmer's Guide for
Previous: Local Services
Some programming language features which are not part of PLAN (but may be
included, given that user demand for them exists and that they can be added
without compromising safety requirements) are:
- higher-order functions, mutation (i.e., assignment), type
declarations, recursive functions, forward function references
(i.e. the static scoping enforces a strict ``define before use''
policy), looping constructs
Michael Hicks
Mon Nov 24 10:43:33 EST 1997