Changes between Version 9 and Version 10 of IR2

Timestamp:

04/19/21 09:36:58 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -30 +30 @@
 * `$rel<T1, ..., Tn>` : relation,  set of n-tuples
 
+Notes
+* 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.
+* 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.
 
 Questions