由于Kernel FP是純的，所以一個函數的輸出只跟輸入有關系，所以從屏幕上輸入文字的函數read是不能定義成func read::string的。因為根據這個性質，read的結果必須是一樣的。所以一定要在每一次read的時候給不同的參數。但是其實沒關系，這個可以用編譯器來解決，就算read的順序是運行時決定的。同樣的問題也出現在Haskell的IO Monad上，由于資料無窮多，我就不詳細解釋了。下面給出沒有語法糖的，能夠正常并確定順序地使用IO函數的一段代碼：
1 data IOError
2 = ioemessage string
3 type IOEnv
4 type IO T = IOEnv -> maybe (pair T IOEnv) IOError
5
6 func read :: IO string alias "demo::read"
7 func readint :: IO int alias "demo::readint"
8 func write :: string -> IO void alias "demo::write"
9 func writeln :: string -> IO void alias "demo::writeln"
10 func iovoid :: IO void alias "demo::iovoid"
11
12 def (>>>) a b = a >>= \p->b
13 func return T :: T -> IO T
14 def return x e = success (pair x e)
15 func (>>=) T1 T2 :: IO T1 -> (T1 -> IO T2) -> IO T2
16 def (>>=) a b e = select a e of
17 case fail message : fail message
18 case success p : select p of
19 case pair x e2 : b x e2
20 end
21 end
22
23 def ioseq ios = foldr iovoid (>>>) ios
24
25 def mainIO_0 =
26 read >>= \name->
27 read >>= \place->
28 writeln ("Hello "+name+" from "+place+".") >>>
29 readint >>= \a->
30 readint >>= \b->
31 writeln (itoa (a+b)) >>>
32 writeln "Press [ENTER] to enter" >>>
33 read
34
35 def mainIO_1 = ioseq (transform writeln ["genius","vczh"])
mainIO_0使用類型系統強制了IO函數的執行順序，mainIO_1證明了IO也是可以使用正常的操作函數去進行復雜操作的。不過mainIO_0那種寫法還是挺不舒服的，這就是語法糖發揮作用的啦。我只需要給出一種相對好看的語法，然后在語法分析的時候翻譯成這樣就行了。
這種寫法的好處是，萬一其中有一個IO出了問題，錯誤信息會直接傳達出去，中斷函數執行。而且整個函數都是在類型系統的保護之下的。
posted on 2008-12-14 22:44
陳梓瀚(vczh) 閱讀(1770)
評論(0) 編輯 收藏 引用 所屬分類:
腳本技術