我发现haskell中的monad,不再是单纯的Monadology。它还整合了属性二元论这些现代的观点 。我非常 奇怪 它为什么 还叫做Monad。你认为呢？...

于 2023-02-15 23:30:21 发布
阅读量51 收藏
点赞数
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_42605397/article/details/129573375
版权

Haskell中的Monad确实不再仅仅是指传统的Monadology，而是将许多其他概念和观点整合进来，包括属性二元论和范畴论等。

关于Monad的命名，实际上是受到数学中的Monad概念的启发。在数学中，Monad是一个具有一些特定性质的范畴论概念，它在函数式编程中被应用到了状态管理、IO操作等领域。因此，虽然Haskell中的Monad包含了更多的概念和观点，但是从历史上来看，它仍然是建立在Monadology的基础上，并且与数学中的Monad概念相关联。

总之，Monad作为一个编程概念，它的名字已经成为了一个固定的术语，并且在Haskell中被广泛使用。虽然它包含了更多的概念和观

伊斯特本
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
jbi:只需构建它-Haskell构建工具的“按我的意思”抽象
05-14
只需构建它，然后继续前进即可！ Haskell构建工具的“按我的意思”抽象。 动机 您已决定从事现有的Haskell项目。 该存储库已被分叉，您已将其克隆到计算机上，并且即将开始工作。 您需要做的第一件事是什么？ 将...
easyspec：Haskell中的功能属性发现的签名推断
02-04
标题 "easyspec：Haskell中的功能属性发现的签名推断" 指的是一个专门针对Haskell编程语言的工具或库，名为easyspec。这个工具的核心功能是帮助开发者自动推断函数的签名，即函数的输入和输出类型。在Haskell这种...
Haskell 的 Monad
charvl的博客
11-07 314
Functor 定义 定义如下： class Functor f where fmap :: (a ->b) -> f a -> f b 其中，fmap 需要遵守以下两个约束： -- Identity fmap id == id -- Composition fmap (f . g) == fmap f . fmap g 注：<$> 就是 fmap ​ 相关的例子 Maybe 是如何实现 Functor 的： instance Functor Maybe where
Haskell的monad和范畴论的探讨
热门推荐
会飞的鱼的专栏
03-29 1万+
下面是上次和我一起讨论haskell的网友的继续，主要探讨了haskell的monad和范畴论的关系。 2012年3月28日： Parker says: (10:45:06 PM) haskell你现在有看新的东西吗 gbx says: (10:45:28 PM) 没有啊， 好久没看了 Parker says: (10:45:50 PM) 我现在看范畴论的
也就是说，Haskell中的monad还是遵守范畴 论的定义，只是应用到计算 机当中罢了？...
weixin_42594427的博客
02-12 64
是的，这是正确的。Haskell中的monad遵循范畴论中的定义，但它们是应用于计算机编程语言中的。在Haskell中，monad是一种结构，它允许程序员将复杂的计算流程组织起来，使得代码更加简洁易读。同时，monad在Haskell中还具有相当重要的性质，例如可以用于管理外部状态、错误处理等。因此，monad在Haskell中是一种非常有用的编程技巧。 ...
Haskell 状态Monad (State Monad)的理解
天涯爱生活
12-07 2284
1、State s a数据类型 State s a是一种用来封装状态处理函数（又叫：状态处理器）：\s -> (a,s’)的数据结构，因为State封装的是一个状态处理器(state processor)而不是状态s本身，所以称State为State类型(type)是不准确的。 newtype State s a = State { runState :: s -> (a,s) } -...
haskell-training:这是我关于Haskell编程语言的整个培训课程
04-05
我为什么决定学习Haskell 因此，我决定学习Haskell，以满足未来可能的研究需求。 我也对它的工作原理以及数学逻辑充满热情，Haskell将其与卓越集成在一起。 语法也是Haskell的强项之一：因为整个语法都是可编辑的，...
roguelike:这是我第一次尝试非平凡的 Haskell 项目
07-04
通过这个roguelike项目，开发者不仅可以掌握Haskell的基础知识，还能学习如何在实际项目中运用这些概念，同时提升自己的函数式编程思维。不过，由于项目存在问题，可能需要对代码进行调试和优化，这也是学习过程的一...
cacheskell：这是我的函数式编程语言，看起来像Haskell，但是它缓存了每个函数
02-14
这是我的函数式编程语言，看起来像Haskell，但是它缓存了每个函数。 例子 在此示例中，我们将看到递归斐波那契序列函数。 大多数编程语言都需要花费很长时间，但是cacheskell将缓存所有函数调用，从而使其相对较快...
基于Springboot和Vue的图书借还管理系统源码 图书借还管理系统代码（高分毕设）
07-28
图书借还管理系统源码（高分毕设），个人经导师指导并认可通过的98分毕业设计项目，主要针对计算机相关专业的正在做毕设的学生和需要项目实战练习的学习者。也可作为课程设计、期末大作业。包含全部项目源码[代码]、该项目可以直接作为毕设使用。项目技术栈：前端是vue，后端是springboot，项目代码都经过严格调试，代码没有任何bug！ 系统源码（高分毕设），个人经导师指导并认可通过的98分毕业设计项目，主要针对计算机相关专业的正在做毕设的学生和需要项目实战练习的学习者。也可作为课程设计、期末大作业。包含全部项目源码[代码]、该项目可以直接作为毕设使用。项目技术栈：前端是vue，后端是springboot，项目代码都经过严格调试，代码没有任何bug！ 系统源码（高分毕设），个人经导师指导并认可通过的98分毕业设计项目，主要针对计算机相关专业的正在做毕设的学生和需要项目实战练习的学习者。也可作为课程设计、期末大作业。包含全部项目源码[代码]、该项目可以直接作为毕设使用。项目技术栈：前端是vue，后端是springboot，项目代码都经过严格调试，代码没有任何bug！
C语言内存管理：静态与动态分配的较量
07-28
C语言是一种通用的编程语言，由丹尼斯·里奇（Dennis Ritchie）在20世纪70年代早期于美国电话电报公司（AT&T）的贝尔实验室开发。C语言以其高效性、灵活性和可移植性而闻名，它是一种过程式编程语言，提供了对底层硬件的直接访问能力。 C语言的特点包括： 1. **简洁高效**：C语言的语法简洁，执行效率高，适合编写系统软件。 2. **接近硬件**：C语言提供了对内存地址和位操作的直接控制，使其非常适合硬件级编程。 3. **可移植性**：C语言编写的程序可以在不同的操作系统和硬件平台上编译和运行，具有很好的可移植性。 4. **丰富的库支持**：C语言拥有大量的标准库，如标准输入输出库（stdio.h）、数学库（math.h）等。 5. **结构化编程**：C语言支持结构化编程，允许使用循环、条件判断和函数等控制结构。 6. **指针**：C语言的指针功能强大，可以操作内存地址，实现复杂的数据结构和算法。 7. **编译型语言**：C语言是一种编译型语言，源代码需要通过编译器转换成机器码才能运行。 C语言广泛应用于操作系统（如Unix和Linux）、嵌入式系统、高性能
通讯协议规范-命令包格式
07-28
提供一份通讯协议规范，包含命令包、格式等，在上下位机调试的时候可参考该文档，制定对应的通讯协议。
四足宠物机器狗动态步行规划与仿真.pdf
最新发布
07-28
四足宠物机器狗动态步行规划与仿真
JSP、Servlet、HTML、CSS、JS和JQuery开发的Java题库管理系统可执行内含文档代码.zip
07-28
JSP、Servlet、HTML、CSS、JS和JQuery开发的Java题库管理系统可执行内含文档代码.zip
微信小程序-小京东源代码完美运行版.7z
07-28
经导师精心指导并认可、获 98 分的毕业设计项目！【项目资源】：微信小程序。【项目说明】：聚焦计算机相关专业毕设及实战操练，可作课程设计与期末大作业，含全部源码，能直用于毕设，经严格调试，运行有保障！【项目服务】：有任何使用上的问题，欢迎随时与博主沟通，博主会及时解答。 经导师精心指导并认可、获 98 分的毕业设计项目！【项目资源】：微信小程序。【项目说明】：聚焦计算机相关专业毕设及实战操练，可作课程设计与期末大作业，含全部源码，能直用于毕设，经严格调试，运行有保障！【项目服务】：有任何使用上的问题，欢迎随时与博主沟通，博主会及时解答。 经导师精心指导并认可、获 98 分的毕业设计项目！【项目资源】：微信小程序。【项目说明】：聚焦计算机相关专业毕设及实战操练，可作课程设计与期末大作业，含全部源码，能直用于毕设，经严格调试，运行有保障！【项目服务】：有任何使用上的问题，欢迎随时与博主沟通，博主会及时解答。 经导师精心指导并认可、获 98 分的毕业设计项目！【项目资源】：微信小程序。【项目说明】：聚焦计算机相关专业毕设及实战操练，可作课程设计与期末大作业，含全部源码，能直用于毕设，经严格调试，运行有保障！【项目服务】：有任何使用上的问题，欢迎随时与博主沟通，博主会及时解答。
9查找技术综合应用.doc
07-28
9查找技术综合应用.doc
微信小程序-小程序商城源代码完美运行版.7z
07-28
经导师精心指导并认可、获 98 分的毕业设计项目！【项目资源】：微信小程序。【项目说明】：聚焦计算机相关专业毕设及实战操练，可作课程设计与期末大作业，含全部源码，能直用于毕设，经严格调试，运行有保障！【项目服务】：有任何使用上的问题，欢迎随时与博主沟通，博主会及时解答。 经导师精心指导并认可、获 98 分的毕业设计项目！【项目资源】：微信小程序。【项目说明】：聚焦计算机相关专业毕设及实战操练，可作课程设计与期末大作业，含全部源码，能直用于毕设，经严格调试，运行有保障！【项目服务】：有任何使用上的问题，欢迎随时与博主沟通，博主会及时解答。 经导师精心指导并认可、获 98 分的毕业设计项目！【项目资源】：微信小程序。【项目说明】：聚焦计算机相关专业毕设及实战操练，可作课程设计与期末大作业，含全部源码，能直用于毕设，经严格调试，运行有保障！【项目服务】：有任何使用上的问题，欢迎随时与博主沟通，博主会及时解答。 经导师精心指导并认可、获 98 分的毕业设计项目！【项目资源】：微信小程序。【项目说明】：聚焦计算机相关专业毕设及实战操练，可作课程设计与期末大作业，含全部源码，能直用于毕设，经严格调试，运行有保障！【项目服务】：有任何使用上的问题，欢迎随时与博主沟通，博主会及时解答。
我发现haskell中的monad,不再是单纯的Monadology。它还整合了属性二元论这些现代的观点 。我非常 奇怪 它为什么 还叫做Monad。你认为呢？
08-31
总的来说，Haskell中的Monad已经超越了传统的Monadology，整合了现代观点和属性二元论等进来。虽然有些疑惑为何仍然称为Monad，但这可能是为了保持术语一致性和向后兼容性。无论如何，这一发展使得Haskell中的Monad...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值