Haskell趣学指南-学习笔记（？）-4

putStrLn

ghci> :t putStrLn
putStrLn :: String -> IO ()
ghci> :t putStrLn "hello, world"
putStrLn "hello, world" :: IO ()

I/O action 是一个会造成副作用的动作，常是指读取输入或输出到屏幕。

在下图代码中，一个 I/O action 会在我们把它绑定到 main 这个名字并且运行程序的时候触发。

main = putStrLn "hello, world"

把整个程序限制在只能有一个 I/O action 看似是个极大的限制。这就是为什么我们需要 do 表示法来将所有 I/O action 绑成一 个。来看看下面这个例子。 （ getLine函数与python中input的用途一致，但是写法不一致 ）

main = do
    putStrLn "Hello, what's your name?"
    name <- getLine
    putStrLn ("Hey " ++ name ++ ", you rock!")

python中：input = “”

haskell中：name（自定义命名）<- getLine

注意！！！

getLine的类型是IO String

ghci> :t getLine
getLine :: IO String

下图的代码是不成立的，因为++要求左右两边的参数必须都是串列，要么是字符串要么是列表，左边的是String，但是右边的是IO String，所以不成立

nameTag = "Hello, my name is " ++ getLine