diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-05-02 09:49:01 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-05-02 09:49:01 +0900 |
| commit | 8c7809d024e85d0a8acfb794a4db41b0e4bc13e6 (patch) | |
| tree | 25ac81bad7be415d7cf75457275f7161d79f9f10 /comparison/Haskell/msort-260000.hs | |
| parent | 429543c748aaf81b2a4207318eb5a05259469b21 (diff) | |
| download | inpla-8c7809d024e85d0a8acfb794a4db41b0e4bc13e6.tar.gz inpla-8c7809d024e85d0a8acfb794a4db41b0e4bc13e6.zip | |
v0.8.2-1
Diffstat (limited to 'comparison/Haskell/msort-260000.hs')
| -rw-r--r-- | comparison/Haskell/msort-260000.hs | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/comparison/Haskell/msort-260000.hs b/comparison/Haskell/msort-260000.hs new file mode 100644 index 0000000..49cae3c --- /dev/null +++ b/comparison/Haskell/msort-260000.hs @@ -0,0 +1,51 @@ +{- +https://stackoverflow.com/questions/25839939/understanding-merge-sort-in-ml +-} +import System.Random + +mysplit [] = ([], []) +mysplit [a] = ([a], []) +mysplit (a:b:cs) = (a:m, b:n) + where + (m,n) = mysplit cs + +merge ([], ys) = ys +merge (xs, []) = xs +merge (x:xs, y:ys) + | x<y = x:merge(xs, y:ys) + | otherwise = y:merge(x:xs, ys) + +msort [] = [] +msort [a] = [a] +msort [a,b] + | a<b = [a,b] + | otherwise = [b,a] +msort xs = merge (msort m, msort n) + where + (m,n) = mysplit xs + +{- +main = print $ msort [3,2,8,5] +-} + + +randomList :: Int -> IO([Int]) +randomList 0 = return [] +randomList n = do + r <- randomRIO (1,10000) + rs <- randomList (n-1) + 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 260000 + let sorted = msort list + print (validation sorted) |
