为什么我们需要Scala中的Monad变形金刚？
发布时间：2020-12-16 08:57:19 所属栏目：安全 来源：网络整理
导读：我的理解如下： 假设M1和M2是单子,即它们提供符合monadic定律的函数单元和flatMap.不幸的是我们无法为M1 [M2]创建单位和平面地图.对于任何M1和M2,看起来单位和flatMap并不总是存在.我不知道我们是否需要证明这一点. 因此解决方案是为M1 [M2]创建一个包装W,以
|
我的理解如下：
假设M1和M2是单子,即它们提供符合monadic定律的函数单元和flatMap.不幸的是我们无法为M1 [M2]创建单位和平面地图.对于任何M1和M2,看起来单位和flatMap并不总是存在.我不知道我们是否需要证明这一点. 因此解决方案是为M1 [M2]创建一个包装W,以便W [M1,M2]是一个monad,并使用它代替.这个包装W被称为Monad Transformer. 我理解正确吗？ 解决方法
你是对的.通常,它们用于需要组合monads属性的for-comprehension构造中.
Monad变形金刚“一步一步”here. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |
相关内容
- bash – Linux通过命令行控制正在运行的vlc进程
- 【数据结构】栈的应用——中缀表达式求值（c++）
- angularjs – 如何用MEAN和sails.js启动一个新项目
- angularjs – 在Protractor中的httpBackend API模块中打印请
- jenkins – Docker,如何处理ssh密钥,known_hosts和author
- 在shell脚本中杀死backgound进程
- bad interpreter: No such file or directory 解决方法
- Powershell查找替换文本文件
- 开发webservice程序
- scala – 如何在执行批量插入光滑3.x时省略列值？