diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-28 21:41:58 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-04-28 21:41:58 +0900 |
| commit | eddac153a064648bee2aef6fb733ab6820bb96c3 (patch) | |
| tree | c12f212dc501e6053ec034d1a9f4734b8b94b4d2 /comparison/Haskell/msort-800000.hs | |
| parent | 1c9344fa14cc018558ec9ebfbf1215a772960b6e (diff) | |
| download | inpla-eddac153a064648bee2aef6fb733ab6820bb96c3.tar.gz inpla-eddac153a064648bee2aef6fb733ab6820bb96c3.zip | |
v0.8.2
Diffstat (limited to 'comparison/Haskell/msort-800000.hs')
| -rw-r--r-- | comparison/Haskell/msort-800000.hs | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/comparison/Haskell/msort-800000.hs b/comparison/Haskell/msort-800000.hs index eb1a24d..65a5807 100644 --- a/comparison/Haskell/msort-800000.hs +++ b/comparison/Haskell/msort-800000.hs @@ -28,6 +28,7 @@ msort xs = merge (msort m, msort n) main = print $ msort [3,2,8,5] -} + randomList :: Int -> IO([Int]) randomList 0 = return [] randomList n = do @@ -36,10 +37,15 @@ randomList n = do return (r:rs) +validation [] = True +validation (x:xs) = validation_cons x xs +validation_cons x [] = True +validation_cons x (y:ys) = + if x<=y then validation_cons y ys + else False + main = do list <- randomList 800000 let sorted = msort list - print (take 10 sorted) - - + print (validation sorted) |
