Atitit 理解Monad attilax总结
Atitit 理解Monad attilax总结
但函数式编程最大的一个问题是,函数是一个数学抽象,在现实世界中不存在,1
那既然这样就够用了,还要 Monad 干嘛?Monad 的作用在这里就体现出来了,它就是个加强的胶水函数1
但函数式编程最大的一个问题是,函数是一个数学抽象,在现实世界中不存在,
它必须被模拟出来。目前为止被广泛使用的计算机还是基于图灵机模型,计算机的寄存器、缓存、内存就是用来记录状态的。要真正懂得程序设计,必须知道没有状态的函数是如何在充满状态的计算机上实现的,所以还是绕不开非函数式的编程。另外绝大部分的函数式程序设计语言都不是纯函数式的,出于实用性考虑都夹杂着其他语言的一些特点,并没有完全排斥状态。Haskell 号称纯函数式语言,用 Monad 来抽象状态,理论上可以自圆其说,但在实际使用中其实还是带来了很多不便(于是又发明了 Monad Transformer...)。
从某种程度上说,状态是绕不过去的,毕竟人感知到的宏观世界就是由各种各样有各自状态的对象构成。函数式编程可以帮我们避免很多用其他方式容易犯的错误,在很多情况下写出更高质量的程序,但并发带来的复杂度并不会从根本上消失。各种编程风格一定是互相影响推动程序设计语言的进化,没有绝对的好坏,从 C++ 和 Java 最新标准里引入的函数式方面的功能就很容易看出这一点。比较有意思的是,OOP 最早是在 LISP 里实现的,而 LISP 也被很多人看做函数式编程的起始。同样,好的程序员也会根据具体情况使用合适的编程风格。
那既然这样就够用了,还要 Monad 干嘛?Monad 的作用在这里就体现出来了,它就是个加强的胶水函数
因为不方便。函数式编程的精髓就在于,我们可以用好多好多小小函数,搭搭搭,组成一个个大函数,最终写出整个程序来。如果所有 IO 都要用上面的模型,我们就要把程序里所有需要 IO 的地方都汇总起来,输入做成一个大数据结构,输出做成一个大数据结构,然后再往模型上面凑,很麻烦,这不精髓。
理想的情况是这样:
比如我们想写一个函数
a -> c
然后手头有两个小函数:
a -> b
b -> c
于是我们用一个胶水函数
(a -> b) -> (b -> c) -> (a -> c)
把那两个小函数胶起来,做成我们要的
a -> c
这样是坠好的。
Monad 的作用在这里就体现出来了,它就是个加强的胶水函数。IO Monad 是这些胶水之一,有了它,我们不但可以把小函数胶起来,还能在胶的同时,把他们的头连成一个输入流,把它们的尾巴连成一个输出流,构成最终的 IO 函数,不用吭哧吭哧自己构造 IO 数据结构。
所以,Monad 胶水除了把两个小函数头尾相接拼起来以外,还可以趁机做些别的事情,起到封装一部分操作的作用。不同的胶水作用不同,所以要用不同的类(IO、Maybe 等等)把这些胶水区分开来。然后,
图解 Monad - 阮一峰的网络日志.html
作者:: 绰号:老哇的爪子claw of Eagle 偶像破坏者Iconoclast image-smasher
简称 Attilax Akbar 阿提拉克斯 阿克巴
全名:Attilax bin Mahmud bin attila bin Solomon Akbar Al Rapanui
阿提拉克斯 本 马哈茂德 本 阿提拉 本 所罗门 阿克巴 阿尔 拉帕努伊
常用名:艾提拉(艾龙), EMAIL:1466519819@qq.com
转载请注明来源:attilax的专栏 http://www.cnblogs.com/attilax/
--Atiend
Atitit 理解Monad attilax总结相关推荐
- atitit.薄伽梵歌overview attilax 读后感
atitit.薄伽梵歌overview attilax 读后感 1. 唯一一本记录神而不是神的代言人或者先知言论的经典 2 2. 篇章规模,字数 3 3. 内容摘要 3 4. 主要内容 3 4.1. ...
- Atitit 路径规划法attilax总结 扫描线路法
Atitit 路径规划法attilax总结 扫描线路法 2017/2/8 20:43:37 [吐槽]深圳-小 2017/2/8 20:43:37 群主做什么的 2017/2/10 10:03:15 系 ...
- Atitit 互联网思维 attilax著 艾龙 著 1. 引 言 互联网思维制胜传统企业转型 第1节 传统企业互联网化,是未来商业浪潮的主旋律 传统企业的“互联网焦虑症” 互联网思
Atitit 互联网思维 attilax著 艾龙 著 1. 引 言 互联网思维制胜传统企业转型 第1节 传统企业互联网化,是未来商业浪潮的主旋律 传统企业的"互联网焦虑症" ...
- Atitit MATLAB 图像处理attilax总结
Atitit MATLAB 图像处理attilax总结 1.1. 下载 Matlab7.0官方下载_Matlab2012 v7.0 官方简体中文版-办公软件-系统大全.html1 1.2. Matla ...
- 重新理解 Monad
对于大多数刚刚入门函数式编程的同学来说,monad(单子.又叫单体)可能是这里面的一道坎.你可能对 map . flatMap 以及 filter 再熟悉不过,可是到了高阶的抽象层次上就又会变得一脸懵 ...
- Atitit 软件工程概览attilax总结
Atitit 软件工程概览attilax总结 1.1. .2 软件工程的发展 进一步地,结合人类发展史和计算机世界演化史来考察软件工程的发展史. 表2 软件工程过程模型 表2将软件工程的主要过程模型做 ...
- 理解Monad,一份monad的解惑指南
\ 本文要点: \\ 避免显式地处理状态值是有必要的\\t 通过使用monad,你就可以移除代码中对状态值的明确处理.\\t 一个monads类型必须与特殊的函数(名为"bind" ...
- Atitit q2016 qb doc list on home ntpc.docx
Atitit q2016 qb doc list on home ntpc.docx 驱动器 D 中的卷是 p2soft 卷的序列号是 9AD0-D3C8 D:\ati ext notbek\q201 ...
- Atitit 最近资料文章列表r9 r8 月份 attilax总结
Atitit 最近资料文章列表r9 r8 月份 attilax总结 atitit tag标签标示规范 attilax总结 v2 r922.docx 2017-09-28 02:04 阅读(27) ...
最新文章
- java HashMap的使用
- 学python需要学数据库吗-Python学什么数据库
- 【bzoj3309】DZY Loves Math 莫比乌斯反演+线性筛
- html漂浮在左侧不动,[CSS]CSS练习-悬浮不动侧边栏
- spring启动执行_执行器的Spring启动和安全性事件
- 扩散(信息学奥赛一本通-T1437)
- 信安教程第二版-第24章工控安全需求分析与安全保护工程
- 《统计学习方法》(李航)读书笔记(完结)超级火爆的总结
- centos7.9使用jenkins部署springcloud微服务_配合SVN_脚本_实现自动部署后端以及前端程序_亲测成功---持续集成部署Jenkins工作笔记0023
- 基于MATLAB/Simulink的电力电子电路仿真技术——直流降压(Buck)变换器及Powergui的使用
- 今日头条2019春季暑期实习笔试题(非自己做)4-14
- 高等数学---向量解析几何
- 如何将图片的背景色去掉?怎样快速去除背景色?
- 怀念王选,怀念北大计算机研究所
- 全网热议的云原生技术到底什么?看完这25点你就知道了
- 哎哟,不错哦之玩乐动物园
- Vulhub靶场的搭建(下载和安装)
- linux oracle创建用户并授权
- 计算机主机后面的usb哪个不可接入,电脑主机上的USB介面前面有两个,后面有四个,但是只能用两个...
- 10大网络美女排行榜(组图)(*^__^*) ……