From 787dc13c837f0955fbd85b8f26a05d720d361333 Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Sun, 24 Oct 2021 23:04:45 +0900
Subject: Upload the comparison directory

---
 comparison/SML/msort-800000.sml | 45 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 comparison/SML/msort-800000.sml

(limited to 'comparison/SML/msort-800000.sml')

diff --git a/comparison/SML/msort-800000.sml b/comparison/SML/msort-800000.sml
new file mode 100644
index 0000000..2a33649
--- /dev/null
+++ b/comparison/SML/msort-800000.sml
@@ -0,0 +1,45 @@
+(* https://stackoverflow.com/questions/25839939/understanding-merge-sort-in-ml *)
+
+fun split [] = ([], [])
+  | split [a] = ([a], [])
+  | split (a::b::cs) =
+    let
+	val (m,n) = split cs
+    in
+	(a::m, b::n)
+    end;
+
+fun merge ([], ys) = ys
+  | merge (xs, []) = xs
+  | merge (x::xs, y::ys) =
+    if x<y then
+	x::merge(xs, y::ys)
+    else
+	y::merge(x::xs, ys);
+
+fun msort [] = []
+  | msort [a] = [a]
+  | msort [a,b] = if a<b then [a,b] else [b,a]
+  | msort xs =
+    let
+	val (m,n) = split xs;
+    in
+	merge (msort m, msort n)
+    end;
+
+
+
+
+(* mkRandList *)
+local 
+    val nextInt = Random.randRange(1,10000);
+    val r = Random.rand(1,1);
+in
+  fun mkRandList 0 = []
+    | mkRandList n = (nextInt r)::(mkRandList (n-1))
+end;
+
+
+msort (mkRandList 800000);
+
+
-- 
cgit v1.2.3