Haskell版累加器

KanonInD

累加器需要副作用，而 IO Monad 和IORef正好提供副作用操作，因而再结合词法作用域就可以用来实现累加器了。

1. module Main where
   
2. 
   
3. import Data.IORef
   
4. import Text.Printf
   
5. 
   
6. counter :: (Num a0) => a0 -> IO (a0 -> IO a0)
   
7. counter n = do
   
8.   nIO <- newIORef n
   
9.   return $ \x -> do i <- readIORef nIO
   
10.                            writeIORef nIO (i+x)
    
11.                            readIORef nIO>>=return
    
12. 
    
13. main = do
    
14.   c1<-counter (10::Int)
    
15.   c2<-counter (1::Float)
    
16.   c1 1>>=printf "c1 == %d\n"
    
17.   c2 2>>=printf "c2 == %f\n"
    
18.   c1 1>>=printf "c1 == %d\n"
    
19.   c2 2>>=printf "c2 == %f\n"

复制代码

tangboyun

计数的话， 只需要基本类型(维护这个信息和拷贝复制的代价很小)，为啥不直接用State Monad（一个Monad interface维护的pure func）而要使用IO和IORef呢？
需要读写内存位置的话: ST
需要读写文件: IORef
需要系统调用等等: IO
以上个人看法。

KanonInD

之所以这样写是受Lisp/Scheme的影响，下面的是Scheme的累加器：

1. (define (counter n) (lambda (i) (set! n (+ n i)) n))

复制代码