Changes between Version 10 and Version 11 of IR2
- Timestamp:
- 04/19/21 11:29:17 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
IR2
v10 v11 31 31 32 32 Notes 33 * Sequences, sets, maps, and relations are mutable. Is assignment by reference? 33 34 * the difference between the array type and the sequence type is that elements of an array are addressable, i.e., one can form a pointer such as `&a[i]`. This is not possible with sequences, sets, maps, or relations. 34 35 * the difference between the function type and map type: a function is really a procedure in the language, so it can modify the state as well as return a value. A map is a logical partial function: it is defined on some subset of the domain type, it will always "return" the save value on a given input, it cannot modify the state.
