Changeset 343c8be for doc/theses/jiada_liang_MMath/test.ml

Timestamp:

Jun 25, 2024, 9:26:16 PM (3 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

d5efcb7

Parents:

089b39e1 (diff), d96d4f0 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• doc/theses/jiada_liang_MMath/test.ml (modified) (1 diff)

doc/theses/jiada_liang_MMath/test.ml

@@ -1 @@
-type s = { i :  int; }
-type fred = I of int | D of float | S of s
-type mary = I of int | D of int | S of int
-type weekday = Mon | Tue | Wed | Thu | Fri | Sat | Sun
-let day : weekday = Mon
-let take_class( d : weekday ) =
-        if d <= Fri then                                (* Gregor *)
-                Printf.printf "weekday\n"
-        else if d >= Sat then                   (* Gregor *)
-                Printf.printf "weekend\n";
+open Printf
+
+type s = { i : int; j : int }
+let sv : s = { i = 3; j = 5 }
+type adt =
+        I of int |
+        F of float |
+        S of s
+let adtprt( adtv : adt ) =
+        match adtv with (* pattern matching *)
+                I i -> printf "%d\n" i |
+                F f -> printf "%g\n" f |
+                S sv -> printf "%d %d\n" sv.i sv.j
+
+let silly( adtv : adt ) =
+        if adtv <= F(3.5) then
+                printf "<= F\n"
+        else if adtv >= S(sv) then
+                printf ">= S\n"
+
+let adtv : adt = I(3) let _ = adtprt( adtv ); silly( adtv )
+let adtv : adt = F(3.5) let _ = adtprt( adtv ); silly( adtv )
+let adtv : adt = S(sv) let _ = adtprt( adtv ); silly( adtv )
+
+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 day : week = Mon
+
+let take_class( d : week ) =
+        if d <= Fri then
+                printf "weekday\n"
+        else if d >= Sat then
+                printf "weekend\n";
         match d with
-                Mon | Wed -> Printf.printf "CS442\n" |
-                Tue | Thu -> Printf.printf "CS343\n" |
-                Fri -> Printf.printf "Tutorial\n" |
-                _ -> Printf.printf "Take a break\n"
+                Mon | Wed -> printf "CS442\n" |
+                Tue | Thu -> printf "CS343\n" |
+                Fri -> printf "Tutorial\n" |
+                _ -> printf "Take a break\n"
 
 let _ = take_class( Mon ); take_class( Sat );
 
-type colour = Red | Green of string | Blue of int * float
-let c = Red
-let _ = match c with Red -> Printf.printf "Red, "
-let c = Green( "abc" )
-let _ = match c with Green g -> Printf.printf "%s, " g
-let c = Blue( 1, 1.5 )
-let _ = match c with Blue( i, f ) -> Printf.printf "%d %g\n" i f
+type weekday = Mon | Tue | Wed | Thu | Fri
+type weekend = Sat | Sun of float
+type week = Weekday of weekday | Weekend of weekend
+let day : week = Weekend (Sun 3.5)
 
-let check_colour(c: colour): string =
-        if c < Green( "xyz" ) then              (* Gregor *)
-                Printf.printf "green\n";
-        match c with
-                Red -> "Red" |
-                Green g -> g |
-                Blue(i, f) -> string_of_int i ^ string_of_float f
-let _ = check_colour( Red ); check_colour( Green( "xyz" ) );
-
-type stringList = Empty | Pair of string * stringList
-let rec len_of_string_list(l: stringList): int =
-        match l with
-                Empty -> 0 |
-                Pair(_ , r) -> 1 + len_of_string_list r
+let take_class( d : week ) =
+        if d <= Weekday Fri then
+                printf "weekday\n"
+        else if d >= Weekend Sat then
+                printf "weekend\n";
+        match d with
+                Weekday Mon | Weekday Wed -> printf "CS442\n" |
+                Weekday Tue | Weekday Thu -> printf "CS343\n" |
+                Weekday Fri -> printf "Tutorial\n" |
+                _ -> printf "Take a break\n"
+let _ = take_class( day )
 
 let _ = for i = 1 to 10 do
-        Printf.printf "%d, " i
+        printf "%d, " i
 done