由于Kernel FP是純的，所以一個(gè)函數(shù)的輸出只跟輸入有關(guān)系，所以從屏幕上輸入文字的函數(shù)read是不能定義成func read::string的。因?yàn)楦鶕?jù)這個(gè)性質(zhì)，read的結(jié)果必須是一樣的。所以一定要在每一次read的時(shí)候給不同的參數(shù)。但是其實(shí)沒關(guān)系，這個(gè)可以用編譯器來解決，就算read的順序是運(yùn)行時(shí)決定的。同樣的問題也出現(xiàn)在Haskell的IO Monad上，由于資料無窮多，我就不詳細(xì)解釋了。下面給出沒有語法糖的，能夠正常并確定順序地使用IO函數(shù)的一段代碼：
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使用類型系統(tǒng)強(qiáng)制了IO函數(shù)的執(zhí)行順序，mainIO_1證明了IO也是可以使用正常的操作函數(shù)去進(jìn)行復(fù)雜操作的。不過mainIO_0那種寫法還是挺不舒服的，這就是語法糖發(fā)揮作用的啦。我只需要給出一種相對好看的語法，然后在語法分析的時(shí)候翻譯成這樣就行了。
這種寫法的好處是，萬一其中有一個(gè)IO出了問題，錯(cuò)誤信息會直接傳達(dá)出去，中斷函數(shù)執(zhí)行。而且整個(gè)函數(shù)都是在類型系統(tǒng)的保護(hù)之下的。
posted on 2008-12-14 22:44
陳梓瀚(vczh) 閱讀(1784)
評論(0) 編輯 收藏 引用 所屬分類:
腳本技術(shù)