FP中保持纯函数编程ST 1
来源:互联网 发布:mac全角半角切换 编辑:程序博客网 时间:2024/05/18 01:48
在FP中最重要的是保持引用的透明性,所以必须纯函数式子编程,在Haskell和scalaz(参考haskell的版本),使用了ST MONAD来方式来确保副作用的安全使用
它使用 S => (S,A)的技巧(很多人把它归为欺骗的技巧'),将可变变量(A)的引用透明化,同时ST确保在组合中(flatmap) tranform monad,确保同一时刻只有一个状态改变,所以确保了read,write等的安全
这个让我想起两个知识点 Lazy 和 state,ST的作风很像STATE MONAD,当然这些都是我的见解
具体可以看看
点击打开链接
0 0
- FP中保持纯函数编程ST 1
- FP中保持纯函数编程ST 2
- 函数式编程(FP)
- 函数式编程FP
- Matlab中保持原来数值顺序的unique函数实现
- Qt中保持GUI响应
- 在Kotlin中保持常数
- c++模拟函数编程(fp)
- JS函数式编程基础(FP)
- asp.net中保持状态的方法
- Javascript 中保持滚动条的位置
- 在WebClient类中保持Session
- 在资源管理器中保持左侧文件夹树
- 在Qt中保持GUI响应[上]
- 如何在"英语聚餐"中保持仪态
- 在Qt中保持GUI响应
- Android 中保持屏幕唤醒的方法
- Copy 数据到ppt 中保持对齐
- 使用storyboard的segue控制界面跳转
- 利用CSS3实现图片切换特效
- Bugly NDK集成说明文档(重要).pdf
- HLS科普8 播放列表标签-媒体播放列表标签
- C++:重载运算符避免数组越界
- FP中保持纯函数编程ST 1
- uva 11762 dp
- 日志-部署环境
- The Memory Manipulated
- apache2服务器的配置步骤
- 1085. Perfect Sequence (25)
- Linux上安装MySQL(glibc版)并配置多实例(mysqld_multi)
- VTK交点判断
- POJ 3278