码迷,mamicode.com
首页 > 其他好文 > 详细

函子(Monad)新解:函子定义了一个类型(泛型)和建立在这个类型上的一组运算符

时间:2018-12-27 13:10:29      阅读:163      评论:0      收藏:0      [点我收藏+]

标签:特点   操作   编程   规则   函数式编程   一个   运算   nbsp   bsp   

这组运算符和代数中的运算加减乘除运算符一样,符合一定的定律:结合律、(交换律)等;

函数式编程的核心(底层支持)就是这些类型和运算符的定义。

函子就是定义这些类型和运算符的()。

运算符通常为单目运算??运算符的被操作数是(高阶)数据,操作数是配置函数,操作本身是高阶函数;

 

本质是:结合函数式特点,对运算规则进行了重新的定义。

函子(Monad)新解:函子定义了一个类型(泛型)和建立在这个类型上的一组运算符

标签:特点   操作   编程   规则   函数式编程   一个   运算   nbsp   bsp   

原文地址:https://www.cnblogs.com/feng9exe/p/10184138.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!