| 1 | open Printf |
|---|
| 2 | |
|---|
| 3 | type s = { i : int; j : int } |
|---|
| 4 | let sv : s = { i = 3; j = 5 } |
|---|
| 5 | type adt = |
|---|
| 6 | I of int | |
|---|
| 7 | F of float | |
|---|
| 8 | S of s |
|---|
| 9 | let adtprt( adtv : adt ) = |
|---|
| 10 | match adtv with (* pattern matching *) |
|---|
| 11 | I i -> printf "%d\n" i | |
|---|
| 12 | F f -> printf "%g\n" f | |
|---|
| 13 | S sv -> printf "%d %d\n" sv.i sv.j |
|---|
| 14 | |
|---|
| 15 | let silly( adtv : adt ) = |
|---|
| 16 | if adtv <= F(3.5) then |
|---|
| 17 | printf "<= F\n" |
|---|
| 18 | else if adtv >= S(sv) then |
|---|
| 19 | printf ">= S\n" |
|---|
| 20 | |
|---|
| 21 | let adtv : adt = I(3) let _ = adtprt( adtv ); silly( adtv ) |
|---|
| 22 | let adtv : adt = F(3.5) let _ = adtprt( adtv ); silly( adtv ) |
|---|
| 23 | let adtv : adt = S(sv) let _ = adtprt( adtv ); silly( adtv ) |
|---|
| 24 | |
|---|
| 25 | type week = Mon | Tue | Wed | Thu | Fri | Sat | Sun [@@deriving enumerate] |
|---|
| 26 | let _ = List.iter ( fun e -> printf "%d" (to_val e) ) all_of_week |
|---|
| 27 | |
|---|
| 28 | let day : week = Mon |
|---|
| 29 | |
|---|
| 30 | let take_class( d : week ) = |
|---|
| 31 | if d <= Fri then |
|---|
| 32 | printf "weekday\n" |
|---|
| 33 | else if d >= Sat then |
|---|
| 34 | printf "weekend\n"; |
|---|
| 35 | match d with |
|---|
| 36 | Mon | Wed -> printf "CS442\n" | |
|---|
| 37 | Tue | Thu -> printf "CS343\n" | |
|---|
| 38 | Fri -> printf "Tutorial\n" | |
|---|
| 39 | _ -> printf "Take a break\n" |
|---|
| 40 | |
|---|
| 41 | let _ = take_class( Mon ); take_class( Sat ); |
|---|
| 42 | |
|---|
| 43 | type weekday = Mon | Tue | Wed | Thu | Fri |
|---|
| 44 | type weekend = Sat | Sun of float |
|---|
| 45 | type week = Weekday of weekday | Weekend of weekend |
|---|
| 46 | let day : week = Weekend (Sun 3.5) |
|---|
| 47 | |
|---|
| 48 | let take_class( d : week ) = |
|---|
| 49 | if d <= Weekday Fri then |
|---|
| 50 | printf "weekday\n" |
|---|
| 51 | else if d >= Weekend Sat then |
|---|
| 52 | printf "weekend\n"; |
|---|
| 53 | match d with |
|---|
| 54 | Weekday Mon | Weekday Wed -> printf "CS442\n" | |
|---|
| 55 | Weekday Tue | Weekday Thu -> printf "CS343\n" | |
|---|
| 56 | Weekday Fri -> printf "Tutorial\n" | |
|---|
| 57 | _ -> printf "Take a break\n" |
|---|
| 58 | let _ = take_class( day ) |
|---|
| 59 | |
|---|
| 60 | let _ = for i = 1 to 10 do |
|---|
| 61 | printf "%d, " i |
|---|
| 62 | done |
|---|
| 63 | |
|---|
| 64 | (* Local Variables: *) |
|---|
| 65 | (* tab-width: 4 *) |
|---|
| 66 | (* compile-command: "ocaml test.ml" *) |
|---|
| 67 | (* End: *) |
|---|
