Changeset 6c8b76b

Timestamp:

Mar 11, 2024, 2:22:19 PM (9 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

446740a

Parents:

e048ece

Message:

Fix ocaml code

File:

• doc/theses/jiada_liang_MMath/relatedwork.tex (modified) (4 diffs)

doc/theses/jiada_liang_MMath/relatedwork.tex

@@ -2477 +2477 @@
 ... | Red
 ... | Green of string
-... | Blue of int * bool
+... | Blue of int * float
 \end{python}
 The color type can be constructed as a combination of a value from an int and a blue, using 
@@ -2488 +2488 @@
 >>> type stringList =
 ... | Empty
-... | Pair of string  * list
+... | Pair of string * stringList
 \end{python}
 
@@ -2496 +2496 @@
 
 \begin{python}
->>> let take_class = function
+>>> let take_class = functio
 ... | Monday | Wednesday -> "CS442"
 ... | Tuesday | Thursday -> "CS343"
 ... | Friday -> "Tutorial"
-... | _ -> "Take a break"
+... | _ -> "Take a break";;
 \end{python}
 
@@ -2510 +2510 @@
 Values of a product type can be named.
 \begin{python}
->>> let check_color = match c with
+>>> let check_color (c: color): string =
+... match c with
 ... | Red -> "Red"
 ... | Green g -> g
-... | Blue i, _ -> int_of_string i
+... | Blue (i, f) -> string_of_int i ^ string_of_float f;;
 \end{python}
 
 Recurisve function are often used to pattern match against a recurisve variant type.
 \begin{python}
->>> let rec len_of_string_list = match l with
+>>> let rec len_of_string_list(l: stringList): int =
+... match l with
 ... | Empty -> 0
-... | _ * r -> 1 + len_of_string_list r
-\end{python}
+... | Pair (_ , r) -> 1 + len_of_string_list r
+\end{python}