aboutsummaryrefslogtreecommitdiff
path: root/comparison/OCaml/isort40000.ml
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2022-04-16 20:30:04 +0900
committerShinya Sato <shinnya.sato@gmail.com>2022-04-16 20:30:04 +0900
commitc8ff868327e19cd156573a723214d66119a71b41 (patch)
tree2b959f5d9e2ec4b9f520b0259307a781102ffea7 /comparison/OCaml/isort40000.ml
parent353b47702094b20d207acf97e1638d2befb4da11 (diff)
parent5139486fd68973703b8a68b118eff2ef78def144 (diff)
downloadinpla-c8ff868327e19cd156573a723214d66119a71b41.tar.gz
inpla-c8ff868327e19cd156573a723214d66119a71b41.zip
Merge branch 'develop'
Diffstat (limited to 'comparison/OCaml/isort40000.ml')
-rw-r--r--comparison/OCaml/isort40000.ml30
1 files changed, 30 insertions, 0 deletions
diff --git a/comparison/OCaml/isort40000.ml b/comparison/OCaml/isort40000.ml
new file mode 100644
index 0000000..686a7f6
--- /dev/null
+++ b/comparison/OCaml/isort40000.ml
@@ -0,0 +1,30 @@
+(*
+let rec insert x ylist =
+ match ylist with
+ [] -> [x]
+ | y::ys when x<=y -> x::y::ys
+ | y::ys -> y::(insert x ys);;
+*)
+
+let rec insert x ylist =
+ match ylist with
+ [] -> [x]
+ | y::ys -> if x<=y
+ then x::y::ys
+ else y::(insert x ys);;
+
+
+let rec isort (alist : int list) =
+ match alist with
+ [] -> []
+ | x::xs -> insert x (isort xs);;
+
+
+
+let rec mkRandList n =
+ match n with
+ 0 -> []
+ | n -> (Random.int 10000)::(mkRandList (n-1));;
+
+let main = isort (mkRandList 40000);;
+