我是haskell和函数式编程的新手。这可能是一件非常简单的事情,但我在搜索时没有找到答案。
我有这个功能主要在这里:
main :: IO ()
main = print =<< (`rnd_select` 6) =<< readNumbers
readNumbers :: IO [(Int,Int,Int)]
readNumbers = makeTriples . map rInt . words <$> readFile "somefile"
rInt :: String -> Int
rInt = read
makeTriples :: [a] -> [(a,a,a)]
makeTriples [] = []
makeTriples (x:y:z:zs) = (x,y,z) : makeTriples zs
rnd_select :: [a] -> Int -> IO [a]
rnd_select _ 0 = return []
rnd_select [] _ = return []
rnd_select xs count = do r <- randomRIO (0, (length xs)-1)
rest <- rnd_select (removeAt (r+1) xs) (count-1)
return ((xs!!r) : rest)
removeAt :: Int -> [a] -> [a]
removeAt _ [] = []
removeAt 1 (x:xs) = xs
removeAt k (x:xs) = let r = removeAt (k - 1) xs in x:r
这包含在 IO-monad 中,这就是当我想在值上使用函数时变得困难的原因。
这里我使用 bind 函数将输入应用到 rnd_select 函数:
(`rnd_select` 6) =<< readNumbers
但为了做到这一点,我必须将它部分应用于一个值。
我认为它看起来不太好,如果函数有更多变量,我不知道该怎么做。
所以我想知道是否有更好的方法将值应用于这些函数?