diff options
| author | Divay Prakash <divayprakash@users.noreply.github.com> | 2019-12-23 23:14:50 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-23 23:14:50 +0530 |
| commit | 16dc074e39f5f996639f23f4d6812c211ae5d22d (patch) | |
| tree | 63be0d1a3885201f3d13f1dc00266fb719f304a7 /standard-ml.html.markdown | |
| parent | ffd1fed725668b48ec8c11cbe419bd1e8d136ae3 (diff) | |
| parent | 1d5f3671ea4bc6d7a70c3026c1ae6857741c50a6 (diff) | |
Merge branch 'master' into master
Diffstat (limited to 'standard-ml.html.markdown')
| -rw-r--r-- | standard-ml.html.markdown | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/standard-ml.html.markdown b/standard-ml.html.markdown index 5db15b5c..0ba42f39 100644 --- a/standard-ml.html.markdown +++ b/standard-ml.html.markdown @@ -6,6 +6,7 @@ contributors: - ["David Pedersen", "http://lonelyproton.com/"] - ["James Baker", "http://www.jbaker.io/"] - ["Leo Zovic", "http://langnostic.inaimathi.ca/"] + - ["Chris Wilson", "http://sencjw.com/"] --- Standard ML is a functional programming language with type inference and some @@ -266,6 +267,19 @@ fun second_elem (x::y::xs) = y fun evenly_positioned_elems (odd::even::xs) = even::evenly_positioned_elems xs | evenly_positioned_elems [odd] = [] (* Base case: throw away *) | evenly_positioned_elems [] = [] (* Base case *) + +(* The case expression can also be used to pattern match and return a value *) +datatype temp = + C of real + | F of real + +(* Declaring a new C temp value... + val t: temp = C 45.0 *) + +fun temp_to_f t = + case t of + C x => x * (9.0 / 5.0) + 32.0 + | F x => x (* When matching on records, you must use their slot names, and you must bind every slot in a record. The order of the slots doesn't matter though. *) |