haskell - 将一元函数传递到需要普通函数的地方

Question

如果我有一个函数

pretty :: FilePath -> IO String

如何将其传递给

interact :: (String -> String) -> IO ()

？

Answer 1

首先，interact::(String -> String) -> IO ()，请注意括号。这是完全不同的类型。

写作

main = interact f

is the same as writing

main = do s <- getContents
          putStr (f s)

现在，getContents::IO String，即与pretty filename相同的类型，带有filename::FilePath。这样一个人就可以代替另一个人去了:

myinteraction filename f = 
    do
       s <- pretty filename
       putStr (f s)

但你不能只是将其强行放在不适合的地方。