[Next][Prev] [Right] [Left] [Up] [Index] [Root]
Acknowledgements
Introduction
Terminology
Assignment
Uninitialized Identifiers
Evaluation in Magma
Call by Value Evaluation
Magma's Evaluation Process
Function Expressions
Function Values Assigned to Identifiers
Recursion and Mutual Recursion
Function Application
The Initial Context
Scope
Local Declarations
The `first use' Rule
Identifier Classes
The Evaluation Process Revisited
The `single use' Rule
Procedure Expressions
Reference Arguments
Dynamic Typing
Traps for Young Players
Trap 1
Trap 2
Appendix A: Precedence
Appendix B: Reserved Words
DETAILS
Introduction
Terminology
Assignment
Uninitialized Identifiers
Evaluation in Magma
Call by Value Evaluation
Magma's Evaluation Process
Function Expressions
Function Values Assigned to Identifiers
Recursion and Mutual Recursion
Function Application
The Initial Context
Scope
Local Declarations
The `first use' Rule
Identifier Classes
The Evaluation Process Revisited
The `single use' Rule
Procedure Expressions
Reference Arguments
Dynamic Typing
Traps for Young Players
Trap 1
Trap 2
Appendix A: Precedence
Appendix B: Reserved Words
[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012