Haskell笔记(6)

有副作用的函数类型 IO a，其元素是完成一些动作，然后返回一个类型a的值的程序.

–putStr :: String -> IO()

–() :: ()

–putChar :: Char -> IO()

–getLine :: IO String

–getChar :: IO Char

–p >> q，表示先做p，再做q

–显示“hello”再显示“there！”

p1 :: IO()

p1 = putStr “hello” >> putStr “there!\n”

–putStrLn :: String -> IO()

–读一个字符串，显示一个字符串

p2 :: IO()

p2 = do putStr “input some words: ”

　　　　s <- getLine 　　　一行表示一个动作，每一行要对齐

　　　　putStrLn (“your type” ++ s) 或 putStrLn $ “your type” ++ s

p3 :: IO()

p3 = do putStr “input some int: ”

　　　　s <- getLine

　　　　putStr “input some int: ”

　　　　t <- getLine

　　　　let k = (read s :: Int) + (read t :: Int)

　　　　putStrLn (“the sum is ” ++ show k)

–return :: a -> IO a

–return x :: IO a

–读一个字符串，返回一个整数

p4 :: IO Int

p4 = do putStr “input some int: ”

　　　　s <- getLine

　　　　return (read s :: Int)

FilePath : 文件名或带路径的文件名

打开文件并读出文件的内容，返回文件内容

readFile :: FilePath -> IO String

p6 :: IO()

p6 = do s <- readFile “input1.txt”

　　　　putStrLn s (显示出input1.txt里面的内容)

向文件里添加内容（会覆盖掉原文件的内容）

writeFile :: FilePath -> String -> IO()

向文件里添加内容（不会覆盖掉原文件的内容）

appendFile :: FilePath -> String -> IO()

p7 :: IO()

p7 = do appendFile “input1.txt” “hello there\n”

统一动作的循环

putStr :: String -> IO()

putStr [] = return ()

putStr (x: xs) = do putChar x

　　　　　　　　　putStr xs

getLine :: IO String

getLine = do x <- getChar

　　　　　　if x == ‘\n’

　　　　　　　then return []

　　　　　　　else

　　　　　　　　do xs <- getLine

　　　　　　　　　return (x: xs)

循环的实现：输入一个整数，直至遇到0，然后统计总和。

不断读入整数，直至遇到0，然后统计总和。

sumInts :: IO Int

sumInts

　=do n <- getInt

　　　if n == 0

　　　　then return 0

　　　　else (do m <- sumInts

　　　　　　　　return (n + m))

sumInteract :: IO()

sumInteract

　= do putStrLn “Enter intergers one per line”

　　　 putStrLn “These will be summed until zero is entered”

　　　 sum <- sumInts

　　　 putStr “The sum was ”

　　　 print sum

读入一个整数：

　getInt :: IO Int

　getInt = do line <- getLine

　　　　　　　return (read line :: Int)