Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
5 Cards in this Set
- Front
- Back
|
Immutable |
an object whose state cannot be modified after it is created |
|
|
Function Binding (syntax,checking,evaluation) |
Syntax:defining the typing rules and evaluation rules for function bindings.
Type Check: to type-check a function binding, we type-check the body e in a static environment that (in addition to all the earlier bindings)
Evaluation:A function is a value - we simply add x0 to the environment as a function that can be called later |
|
|
Recursive |
successive executions of a function |
|
|
Type reference |
Reference to a value of a certain type. |
|
|
Function Calls (syntax , checking,evaluation) |
Syntax:The syntax is e0 (e1, ..., en) with the parentheses optional if there is exactly one argument
Checking:The typing rules require that e0 has a type that looks like t1 * ... * tn -> t and for 1 ≤ i ≤ n, ei has type ti.
Evaluation:evaluation rules, we use the environment at the point of the call to evaluate e0 to v0, e1 to v1, ..., en to vn.
|
