2015年7月17日
泛函编程（34）－泛函变量：处理状态转变－ST Monad
摘要： 泛函编程的核心模式就是函数组合（compositionality）。实现函数组合的必要条件之一就是参与组合的各方程序都必须是纯代码的（pure code）。所谓纯代码就是程序中的所有表达式都必须是Referentially Transparent（RT，等量可替换的），它的意思是：在一段程序p中... 阅读全文
posted @ 2015-07-17 10:55 雪川大虫 阅读(920) 评论(1) 推荐(0)