13 12, 2004
Haskell是一门纯函数式(Pure Functional)的语言。众所周知，一个没
有 side effect的程序，是不能做任何工作的无用程序；但是Haskell并不
是一门不能做任何工作的无用语言。
Haskell取巧之处，在于函数(functiona)和口口(action)是分开的。
所谓function，任何情况下都能调用它，任何情况下计算它，得到的结果
都是一样的；而action，只能在monad里面调用它，不同情况下执行它，得
到的结果可能不同。Action被用来描述各种pure functional的语言难以
描述的事情，比如IO，比如随机数，比如exception。
所以，写一个Haskell的程序，分为两个部分。一部分，是纯粹的函数，
在这一部分里，我们需要考虑的是，数据怎么处理；另一部分，是action，
在这一部分里，我们考虑怎么获得数据，怎么输出数据。
我们用一个简单的例子(Yet Another Haskell Tutorial的一个例题)
结束这个开头。
import IO
-- 两个横线开头是注释
main = do
-- 以do开头，是action的充分特征
nums <- getNums
-- 只有action的返回，才可以用<-得到
putStrLn ("The sum is " ++ show (sum nums))
-- putStrLn也是action，但是sum却是function
putStrLn ("The product is " ++ show (product nums))
showFactorials nums
-- showFactorials也是action
-- 只有类型才可以大写开头。function，action还是value，都只能
-- 以小写开头
getNums = do
putStrLn "Give me a number (or 0 to stop)"
num <- getLine
if read num == 0
then return []
else do rest <- getNums
return ((read num :: Int) : rest)
-- 注意，action里面可以调用function，反过来就不行
-- 比如上面read num : rest是纯粹的function调用，
-- 如果read num : getNums，因为getNums是action，就
-- 不符合haskell规定了。
showFactorials [] = return ()
-- return也是判断是不是action的充分条件
showFactorials (x:xs) = do
putStrLn (show x ++ " factorial is " ++ show (factorial x))
showFactorials xs
factorial 1 = 1
-- factorial是一个函数
-- 类型定义不是必须的，haskell会试着自己推导
factorial n = n * factorial (n-1)
最新回复