由于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) 阅读(1744)
评论(0) 编辑 收藏 引用 所属分类:
脚本技术