Changeset 68a7028 for doc/theses/jiada_liang_MMath

Timestamp:

Sep 15, 2024, 2:35:13 PM (5 weeks ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

4fa7096

Parents:

0c88135

Message:

small changes

Location:

doc/theses/jiada_liang_MMath

Files:

• CFAenum.tex (modified) (1 diff)
• relatedwork.tex (modified) (1 diff)
• test.ml (modified) (1 diff)

doc/theses/jiada_liang_MMath/CFAenum.tex

@@ -156 +156 @@
 so these expressions remain unchanged by \CFA-cc.
 Therefore, a \CFA enumeration variable has the same underlying representation as its generated C enumeration.
-This semantics implies a \CFA enumeration variable uses the same storages as a C enumeration variable that @posn@ can use as its underlying representation, and the label and value arrays take little storage.
+This semantics implies a \CFA enumeration variable uses the same storage as a C enumeration variable, that @posn@ can use as its underlying representation, and the label and value arrays take little storage.
 It should be possible to eliminated the two arrays if unused, either by \CFA if local to a translation unit and unused, or by the linker if global but unreferenced.
 Also, the label and value arrays are declared @static@ and initialized with constants, so the arrays are allocated in the @.data@ section and initialized before program execution.

doc/theses/jiada_liang_MMath/relatedwork.tex

@@ -1320 +1320 @@
 let day : week = Weekend Sun
 \end{ocaml}
-The @week@ is a sum of @weekday@ and @weekend@; @week@ has all the enumerator from the set @weekday@ and @weekend@.
-The sum type construction resembles containment inheritance from non-functional programming discipline, with 
-the sum type being a wrapper class that contains one of its parent type. 
-
-The wrapper can be "unwrapped" with pattern matching:
+The type @week@ is the sum of @weekday@ and @weekend@, \ie @week@ has all the enumerators from the set @weekday@ and @weekend@.
+The sum type construction resembles containment inheritance from non-functional programming discipline, with the sum type being a wrapper class that contains one of its parent types.
+The wrapper is unwrapped with pattern matching:
+\begin{cquote}
+\begin{tabular}{@{}ll@{}}
 \begin{ocaml}
+type weekday = Mon | Tue | Wed | Thu | Fri
+type weekend = Sat | Sun
+type week = Weekday of weekday |
+                                 Weekend of weekend
 let wd : weekday = Mon
 let _ = match wd with
-                Mon -> printf "Mon\n" |
-                _ -> printf "Take a break\n"
-
+        Mon -> printf "Mon " | _ -> ()
 let we : weekend = Sun
 let _ = match we with
-                Sun -> printf "Sun\n" |
-                _ -> printf "Take a break\n"
-
+        Sun -> printf "Sun " | _ -> ()
 let day : week = Weekend Sun
 let _ = match day with
-                Weekend Sun -> printf "Sun\n" |
-                _ -> printf "Take a break\n"
+        Weekend Sun -> printf "Sun\n" | _ -> ()
+
 \end{ocaml}
+&
+\begin{cfa}
+enum() weekday { Mon, Tue, Wed, Thu, Fri };
+enum() weekend { Sat, Sun };
+enum() week { inline weekday, inline weekend };
+int main() {
+        weekday wd = Mon;
+
+        printf( "%s ", label( wd ) );
+        weekend we = Sun;
+
+        printf( "%s ", label( we ) );
+        week day = Sun;
+
+        printf( "%s\n", label( day ) );
+}
+\end{cfa}
+\\
+\begin{cfa}
+Mon Sun Sun
+\end{cfa}
+\end{tabular}
+\end{cquote}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

doc/theses/jiada_liang_MMath/test.ml

@@ -24 +24 @@
 
 type week = Mon | Tue | Wed | Thu | Fri | Sat | Sun [@@deriving enumerate]
-let _ = List.iter ( fun e -> printf "%d" (to_val e) ) all_of_week
+(* let _ = List.iter ( fun e -> printf "%d" (to_val e) ) all_of_week*)
 
 let day : week = Mon