Changeset 84886499

Timestamp:

Mar 26, 2024, 1:06:38 PM (5 weeks ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

67467a3

Parents:

7b05de4

Message:

Small update

File:

• doc/theses/jiada_liang_MMath/relatedwork.tex (modified) (1 diff)

doc/theses/jiada_liang_MMath/relatedwork.tex

@@ -2236 +2236 @@
 \end{ocaml}
 The only operations are binding and pattern matching (equality), where the variant name is logically the implementation tag stored in the union for discriminating the value in the object storage.
-OCaml compile store tags as ascending int, starting from 0. Variants @Mon@ to @Sun@ are stored as int value 0 to 6.
+After compilation, variant names are mapped to an opague ascending intergral type discriminants, starting from 0.
 Here, function @take_class@ has a @weekday@ parameter, and returns @"CS442"@, if the weekday value is @Mon@ or @Wed@, @"CS343"@, if the value is @Tue@ or @Thu@, and @"Tutorial"@ for @Fri@.
 The ``@_@'' is a wildcard matching any @weekday@ value, so the function returns @"Take a break"@ for values @Sat@ or @Sun@, which are not matched by the previous cases.