From e18b27f43ac23689822d4aaaaa3e8d550e41017a Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Mon, 30 May 2022 20:36:38 +0900
Subject: v0.8.2-2

---
 comparison/OCaml/bsort20000.ml | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 comparison/OCaml/bsort20000.ml

(limited to 'comparison/OCaml/bsort20000.ml')

diff --git a/comparison/OCaml/bsort20000.ml b/comparison/OCaml/bsort20000.ml
new file mode 100644
index 0000000..29a369c
--- /dev/null
+++ b/comparison/OCaml/bsort20000.ml
@@ -0,0 +1,39 @@
+open Format
+
+let rec bs (alist : int list) n =
+  match alist with
+    (x::y::ys) ->
+    if x<y then x::(bs (y::ys) (n-1))
+    else y::(bs (x::ys) (n-1))
+  | xs -> xs;;
+
+    
+let rec go xs n =
+  match n with
+    0 -> xs
+  | n -> go (bs xs n) (n-1);;
+
+let bsort alist =
+  match alist with
+    [] -> []
+  | xs -> go xs (List.length(xs) - 1);;
+
+		  
+let rec mkRandList n =
+  match n with
+    0 -> []
+  | n -> (Random.int 10000)::(mkRandList (n-1));;
+
+
+let rec validation alist =
+  let rec validation_cons x blist =
+    match blist with
+      [] -> true
+    | y::ys -> if x<=y then (validation_cons y ys) else false
+  in
+  match alist with
+    [] -> true
+  | x::xs -> validation_cons x xs;;
+
+
+let () = print_bool (validation (bsort (mkRandList 20000)));;
-- 
cgit v1.2.3