Dynamic-function-environments
Dynamic environments for functions in Leo.
In Leo, functions are referenced by name when they are called.
Thus, the dynamic semantics of Leo constructs
that reference functions by name
must be defined with respect to information for the function names.
We capture that via the notion of dynamic environment for functions,
which associates dynamic information for functions to function names.
Subtopics
- Function-dinfo
- Fixtype of dynamic information for functions.
- Function-dinfo-option
- Fixtype of optional dynamic information for functions.
- Add-function-dinfo
- Add information for a function to a dynamic environment.
- Function-denv-option
- Fixtype of optional dynamic environments for functions.
- Get-function-dinfo
- Get the information for a function in a dynamic environment.
- Function-denv
- Fixtype of dynamic environments for functions.
- Init-function-denv
- Initial dynamic function environment.
