如何定义Monad?

2020-07-28 11:28发布

2条回答
收货啦官方账号
2楼 · 2020-07-28 13:40

Monad

  

  A monad is just a monoid in the category of endofunctors

  the category of endofunctors是自函子endofunctor的范畴(category),Monad是自函子范畴中的Monoid。

  前面我们已经了解函子的映射原理,自函子可以理解为映射范畴C到另外一个范畴C。那么自函子的范畴是什么意思?是基于自函子的新范畴吗?经过查询此句原出处: Here it is in context,原文是:

  All told, a monad in X is just a monoid in the category of endofunctors of X, with product × replaced by composition of endofunctors and unit set by the identity endofunctor.

  确实是基于范畴X的新范畴,这个新范畴看成是endofunctors on X。范畴X之上的范畴,这个新范畴的元素对象是自函子endofunctor,谈到范畴就要想到元素对象和态射,那么其态射是什么呢?

  前面我们解释函子funtor工作原理时,有一句:"3.压平这两层集合,组合所有的结果",这个组合方式是一种自然变换natural transformation,属于新范畴的态射,因为态射有份两种:组合态射和元identitiy,自然变化就要对分别对X范畴中这两种进行转换。

  所以,Monad工作原理包含两个部分:对原范畴组合成新的范畴,这个范畴对于Monad来说必须是幺半群Monoid,可以认为Monad是一系列自函子的组合,这种组合是一种转换,转换的结果是Monoid。

  Monad有以下特征:

  • Monad是一种定义将函数(函子)组合起来的结构方式。(monoid是定义元素对象组合起来的结构方式。如果元素对象是特殊种类:函数(函子),那么它可能是Monad)

  • 这些组合的方法都是符合结合律的

  • 有一个特殊幺元,能够和任何元素组合,导致的结果是不改变这些元素。

  关键对最后一点幺元讲解一下,以为什么需要Monad?一文中案例为说明,假设有两个数字a和b相加,这里a和b 可能为空,Java 代码如下:

int try_to_add_numbers( Integer a, Integer b )
{
    return a + b;
}

  如果a 和b非空,那么这个方法将会返回它们的总数,但是如果其中有一个是空的,我们会得到NullPointerException错误,调用客户端得到这个错误必须去处理它。而函数的定义是有一个输入类型和一个输出类型,现在又跑出第三种类型Exception,很显然Exception是和输入输出类型不属于同一个范畴,这就不符合封闭运算了。

  那么我们使用一个幺元,比如Optional来封装结果,这样就能保证不抛出Exception,而是将Exception错误通过输出结构输出,这种结果分两种,要么是空,要么是有值,如果是有值,打开它就能获得真正的计算结果。我们使用Optional与结果值结合,但是不会改变这个结果值类型。具体可见: Java8中option实现Monad

  总体来说:Monoid是元素对象的组合的范畴,如果这种元素对象是函数或函子(也可能是Pipe,这就复杂了去了 ),那么Monad是自函子的组合范畴,Monad也是一种特殊的Monoid子集。

  如果你对大数据Hadoop等比较熟悉,map/reduce其实也是一个Monad。

  最后我们用简单大白话(不精确有助于理解)翻译一下Monad的英文定义:A monad is just a monoid in the category of endofunctors,monad只不过也是一种特殊情况下的monoid,特殊在哪里呢?就是自己对自己进行转换的集合而已。


我的网名不再改
3楼 · 2020-07-28 13:56

Monad是一个代码名字(code name),中文意思是单子代表Windows上的一个新的交互式命令行工具(command line)以及面向对象的脚本(scripting)技术。Monad也被称为MSH,是下一代的Windows命令shell,它让我们用全新的角度来完成各式各样的管理任务。至少,从管理员和高手玩家的角度来看,命令行终于真正变成Windows系统管理界的一等公民了。

相关问题推荐

  • 回答 2

    Statement的execute(String query)方法用来执行任意的SQL查询,如果查询的结果是一个ResultSet,这个方法就返回true。如果结果不是ResultSet,比如insert或者update查询,它就会返回false。我们可以通过它的getResultSet方法来获取ResultSet,或者通过getUpda...

  • 回答 22

    忙的时候项目期肯定要加班 但是每天加班应该还不至于

  • 回答 108
    已采纳

    虽然Java人才越来越多,但是人才缺口也是很大的,我国对JAVA工程师的需求是所有软件工程师当中需求大的,达到全部需求量的60%-70%,所以Java市场在短时间内不可能饱和。其次,Java市场不断变化,人才需求也会不断增加。马云说过,未来的制造业要的不是石油,...

  • 回答 5
    已采纳

    工信部证书含金量较高。工信部是国务院的下属结构,具有发放资质、证书的资格。其所发放的证书具有较强的权威性,在全国范围内收到认可,含金量通常都比较高。 工信部证书,其含义也就是工信部颁发并承认的某项技能证书,是具有法律效力的,并且是国家认可的...

  • 回答 70
    已采纳

    学Java好不好找工作?看学完Java后能做些什么吧。一、大数据技术Hadoop以及其他大数据处理技术都是用Java或者其他,例如Apache的基于Java 的 HBase和Accumulo以及ElasticSearchas。但是Java在此领域并未占太大空间,但只要Hadoop和ElasticSearchas能够成长壮...

  • 回答 16
    已采纳

    就是java的基础知识啊,比如Java 集合框架;Java 多线程;线程的五种状态;Java 虚拟机;MySQL (InnoDB);Spring 相关;计算机网络;MQ 消息队列诸如此类

  • 回答 12

    #{}和${}这两个语法是为了动态传递参数而存在的,是Mybatis实现动态SQL的基础,总体上他们的作用是一致的(为了动态传参),但是在编译过程、是否自动加单引号、安全性、使用场景等方面有很多不同,下面详细比较两者间的区别:1.#{} 是 占位符 :动态解析 ...

  • 回答 62

    没问题的,专科学历也能学习Java开发的,主要看自己感不感兴趣,只要认真学,市面上的培训机构不少都是零基础课程,能跟得上,或是自己先找些资料学习一下。

  • 回答 4

    1、反射对单例模式的破坏采用反射的方式另辟蹊径实例了该类,导致程序中会存在不止一个实例。解决方案其思想就是采用一个全局变量,来标记是否已经实例化过了,如果已经实例化过了,第 二次实例化的时候,抛出异常2、clone()对单例模式的破坏当需要实现单例的...

  • 回答 5

     优点: 一、实例控制  单例模式会阻止其他对象实例化其自己的单例对象的副本,从而确保所有对象都访问唯一实例。 二、灵活性  因为类控制了实例化过程,所以类可以灵活更改实例化过程。 缺点: 一、开销  虽然数量很少,但如果每次对象请求引用时都要...

  • 回答 4

    这个主要是看你数组的长度是多少, 比如之前写过的一个程序有个数组存的是各个客户端的ip地址:string clientIp[4]={XXX, xxx, xxx, xxx};这个时候如果想把hash值对应到上面四个地址的话,就应该对4取余,这个时候p就应该为4...

  • 回答 6

     哈希表的大小 · 关键字的分布情况 · 记录的查找频率 1.直接寻址法:取关键字或关键字的某个线性函数值为散列地址。即H(key)=key或H(key) = a·key + b,其中a和b为常数(这种散列函数叫做自身函数)。...

  • 回答 6

    哈希表的大小取决于一组质数,原因是在hash函数中,你要用这些质数来做模运算(%)。而分析发现,如果不是用质数来做模运算的话,很多生活中的数据分布,会集中在某些点上。所以这里最后采用了质数做模的除数。 因为用质数做了模的除数,自然存储空间的大小也用质数了...

  • 回答 2

    是啊,哈希函数的设计至关重要,好的哈希函数会尽可能地保证计算简单和散列地址分布均匀,但是,我们需要清楚的是,数组是一块连续的固定长度的内存空间

  • 回答 3

     解码查表优化算法,seo优化

  • 回答 5

    1.对对象元素中的关键字(对象中的特有数据),进行哈希算法的运算,并得出一个具体的算法值,这个值 称为哈希值。2.哈希值就是这个元素的位置。3.如果哈希值出现冲突,再次判断这个关键字对应的对象是否相同。如果对象相同,就不存储,因为元素重复。如果对象不同,就...

没有解决我的问题,去提问