07 2015 档案

泛函编程（35）－泛函Stream IO：IO处理过程－IO Process
摘要：IO处理可以说是计算机技术的核心。不是吗？使用计算机的目的就是希望它对输入数据进行运算后向我们输出计算结果。所谓Stream IO简单来说就是对一串按序相同类型的输入数据进行处理后输出计算结果。输入数据源可能是一串键盘字符、鼠标位置坐标、文件字符行、数据库纪录等。如何实现泛函模式的Stream ... 阅读全文
posted @ 2015-07-29 12:03 雪川大虫 阅读(1156) 评论(1) 推荐(0) 编辑
泛函编程（34）－泛函变量：处理状态转变－ST Monad
摘要：泛函编程的核心模式就是函数组合（compositionality）。实现函数组合的必要条件之一就是参与组合的各方程序都必须是纯代码的（pure code）。所谓纯代码就是程序中的所有表达式都必须是Referentially Transparent（RT，等量可替换的），它的意思是：在一段程序p中... 阅读全文
posted @ 2015-07-17 10:55 雪川大虫 阅读(899) 评论(1) 推荐(0) 编辑
泛函编程（33）－泛函IO：Free Functor - Coyoneda
摘要：在前几期讨论中我们终于推导出了Free Monad。这是一个Monad工厂，它可以把任何F[A]变成Monad。可惜的是它对F[A]是有所要求的：F必须是个Functor。Free Monad由此被称为由Functor F 产生的Monad。F必须是Functor,这个门槛使我们在使用Free M... 阅读全文
posted @ 2015-07-13 13:41 雪川大虫 阅读(670) 评论(0) 推荐(1) 编辑
泛函编程（32）－泛函IO：IO Monad
摘要：由于泛函编程非常重视函数组合（function composition），任何带有副作用（side effect）的函数都无法实现函数组合，所以必须把包含外界影响（effectful）副作用不纯代码（impure code）函数中的纯代码部分（pure code）抽离出来形成独立的另一个纯函数。... 阅读全文
posted @ 2015-07-06 22:20 雪川大虫 阅读(1891) 评论(3) 推荐(1) 编辑

点击右上角即可分享
微信分享提示