Haskell版累加器

KanonInD

累加器需要副作用，而 IO Monad 和IORef正好提供副作用操作，因而再結(jié)合詞法作用域就可以用來實(shí)現(xiàn)累加器了。

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"

復(fù)制代碼

tangboyun

計(jì)數(shù)的話， 只需要基本類型(維護(hù)這個(gè)信息和拷貝復(fù)制的代價(jià)很小)，為啥不直接用State Monad（一個(gè)Monad interface維護(hù)的pure func）而要使用IO和IORef呢？
需要讀寫內(nèi)存位置的話: ST
需要讀寫文件: IORef
需要系統(tǒng)調(diào)用等等: IO
以上個(gè)人看法。

KanonInD

之所以這樣寫是受Lisp/Scheme的影響，下面的是Scheme的累加器：

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

復(fù)制代碼