2008年12月15日随笔档案 - gaclib.net - C++博客

随笔-341 评论-2670 文章-0 trackbacks-0

2008年12月15日

在纯函数式语言内实现有关IO的循环

摘要: 我们知道，循环本身是没有返回值的。所以在纯函数式语言下，跟IO有关的循环才有足够的副作用来产生价值。于是利用IO Monad，我们就可以实现循环了。循环是一个函数：阅读全文

posted @ 2008-12-15 07:56 陈梓瀚(vczh) 阅读(2215) | 评论 (2) | 编辑收藏

Kernel FP的do-end IO语法糖实现！

摘要: 前面说过，需要一个语法糖来组织IO，并且在其中的一步产生错误的时候立刻返回错误。现在我们看一段代码：阅读全文

posted @ 2008-12-15 06:22 陈梓瀚(vczh) 阅读(1518) | 评论 (0) | 编辑收藏

Kernel FP的IO实验

posted @ 2008-12-14 22:44 陈梓瀚(vczh) 阅读(1816) | 评论 (0) | 编辑收藏

Kernel FP支持更精细的重载

posted @ 2008-12-14 19:42 陈梓瀚(vczh) 阅读(1509) | 评论 (0) | 编辑收藏

Kernel FP的列表和操作符语法糖完成！

posted @ 2008-12-14 08:37 陈梓瀚(vczh) 阅读(1832) | 评论 (2) | 编辑收藏