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;
4 Cards in this Set
- Front
- Back
|
TUPLES |
fixed "number of pieces" that may have different types |
|
|
LISTS |
any "number of pieces" that all have the same type |
|
|
LET EXPRESSION (SYNTAX, SEMANTICS, TYPE-CHECKING) |
syntax: let b1 b2 ... bn in e end - each b is any binding and e is any expression
type-checking: type-check each b and e in a static environment that includes the previous bindings. Type of whole let-expressions is the type of e.
evaluation: evaluate each b and e in a dynamic environment that includes the previous bindings. Result of whole let-expression is result of evaluation e.
|
|
|
SCOPE OF A BINDING |
the scope of a binding in a let-expression is the later bindings in that let-expression and the "body" of the let-expression (e). The value of e evaluates to is the the value for the entire let-expression and the type of e is the type for the entire let-expression |
