diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-16 20:30:04 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-16 20:30:04 +0900 |
| commit | c8ff868327e19cd156573a723214d66119a71b41 (patch) | |
| tree | 2b959f5d9e2ec4b9f520b0259307a781102ffea7 /comparison/OCaml/isort40000.ml | |
| parent | 353b47702094b20d207acf97e1638d2befb4da11 (diff) | |
| parent | 5139486fd68973703b8a68b118eff2ef78def144 (diff) | |
| download | inpla-c8ff868327e19cd156573a723214d66119a71b41.tar.gz inpla-c8ff868327e19cd156573a723214d66119a71b41.zip | |
Merge branch 'develop'
Diffstat (limited to 'comparison/OCaml/isort40000.ml')
| -rw-r--r-- | comparison/OCaml/isort40000.ml | 30 |
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);; + |
