开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

与functor相关的术语

包括：

Functor（函子）：在函数式编程中，函子是一个实现了map函数的对象或数据结构。它可以将一个函数应用于函子中的值，并返回一个新的函子，使得函数可以在函子的上下文中操作。
高阶函数（Higher-Order Function）：指接受一个或多个函数作为参数，并/或返回一个函数作为结果的函数。函子可以被视为一种高阶函数，因为它接受一个函数作为参数，并通过map函数对函子中的值进行操作。
Functor Laws（函子法则）：函子应满足三个法则，分别是身份法则（Identity Law）、组合法则（Composition Law）和映射保留法则（Preservation of Mapping Law）。这些法则确保了函子的正确性和一致性。
Pointed Functor（指向函子）：是一个具有额外操作的函子，该操作将一个普通值提升到函子的上下文中。在某些编程语言中，这个操作通常称为pure或return。
Applicative Functor（应用函子）：是一个具有额外操作的函子，该操作可以将一个函子中的函数应用于另一个函子中的值，产生一个新的函子。在某些编程语言中，这个操作通常称为ap或<*>。
Monad（单子）：是一种特殊的函子，它引入了一种顺序计算的机制，允许将多个计算步骤连接在一起。单子通过bind（或flatMap）操作符来实现这种连接。
Monoid（幺半群）：是一种具有结合性和单位元的代数结构。在函数式编程中，函子可以被视为一种满足幺半群性质的结构。
自函子（Endofunctor）：是指源范畴和目标范畴相同的函子。在函数式编程中，自函子常常用于描述一些操作的结果仍然在同一范畴内。
可变函子（Mutable Functor）：是指可以在函子中修改值的函子。与不可变函子相对应，可变函子在一些特定场景下可能更高效。
可靠函子（Reliable Functor）：是指在函子操作中保持一致性和可靠性的函子。可靠函子通常提供了一些额外的操作或机制，以确保在错误或异常情况下的正确行为。

推荐的腾讯云相关产品和产品介绍链接地址：

腾讯云函数计算（SCF）：https://cloud.tencent.com/product/scf
腾讯云云函数（Cloud Function）：https://cloud.tencent.com/product/tcf
腾讯云容器服务（TKE）：https://cloud.tencent.com/product/tke
腾讯云云原生应用引擎（TAE）：https://cloud.tencent.com/product/tae
腾讯云云数据库（TencentDB）：https://cloud.tencent.com/product/cdb
腾讯云云服务器（CVM）：https://cloud.tencent.com/product/cvm
腾讯云云安全中心（SSC）：https://cloud.tencent.com/product/ssc
腾讯云音视频处理（VOD）：https://cloud.tencent.com/product/vod
腾讯云人工智能（AI）：https://cloud.tencent.com/product/ai
腾讯云物联网（IoT）：https://cloud.tencent.com/product/iot
腾讯云移动开发（Mobile）：https://cloud.tencent.com/product/mobile
腾讯云对象存储（COS）：https://cloud.tencent.com/product/cos
腾讯云区块链（Blockchain）：https://cloud.tencent.com/product/baas
腾讯云元宇宙（Metaverse）：https://cloud.tencent.com/product/mv

页面内容是否对你有帮助？

有帮助

没帮助

相关·内容

数论代数群论范畴论与函数式编程 Haskell, Scala数论代数群论范畴论

来自China Scala User Group 微信群的一段话,讲的很有意思,这里摘录一下:

04

Js-函数式编程前言什么是函数式编程为什么Js支持FP纯函数柯里化组合 compose范畴学functorMonadApplicative FunctorFunctor\Monad\Applic

JavaScript是一门多范式语言，即可使用OOP（面向对象），也可以使用FP（函数式），由于笔者最近在学习React相关的技术栈，想进一步深入了解其思想，所以学习了一些FP相关的知识点，本文纯属个人的读书笔记，如果有错误，望轻喷且提点。

04

编程语言：类型系统的本质

我一直对编写更好的代码有浓厚的兴趣。如果你能真正理解什么是抽象，什么是具象，就能理解为什么现代编程语言中，接口和函数类型为什么那么普遍存在了。在使用函数式语言进行编程后，就能够很清晰地理解为什么随着时间的推移，更主流的语言开始采用函数式语言中的一些被认为理所当然的特性。

03

《The Joy of Javascript》- 2 - Functor/Monad

实现 FP 需要保证一些函数的输入和输出规范化. 以方便 compose 进行链式调用.

03

当我们谈论Monad的时候（一）

坊间一直流传着一句话：“一百个学FP的人的心中就有一百个对Monad的理解”。而我相信，他们中的大部分人在看明白后又会写出一篇崭新的Monad文。我也一直很想写一写自己关于Monad的见解，但是一直找不到合适的说明方式。先前我在某群提到，从Optional（也就是Haskell的Maybe）理解Monad会是一个很不错的方式。而直到最近我正好看到了这样一篇文章（Reference 1），与我的想法不谋而合，于是我就借用这篇文章的方式谈一谈我对Monad的理解吧。

01

编程范式 —— 函数式编程入门

该系列会有 3 篇文章，分别介绍什么是函数式编程、剖析函数式编程库、以及函数式编程在 React 中的应用，欢迎关注我的 blog

01

Monad_Haskell笔记10

从类型来看，Functor到Applicative再到Monad是从一般到特殊的递进过程（Monad是特殊的Applicative，Applicative是特殊的Functor）

05

《The Joy of Javascript》- 3 - ADT(Algebraic Data Type)

最后在方法里面进行判断, 判断放在外部, 最终返回一个 Validation 类型:

02

Functor与Applicative_Haskell笔记7

常见的Functor类实例似乎都可以比作盒子（或者叫容器），比如Maybe/Either，List（[]）：

03

Kotlin版图解Functor、Applicative与Monad

这很简单。那么扩展一下，我们说任何值都可以放到一个上下文中。现在你可以把上下文想象为一个可以在其中装进值的盒子：

02

Scalaz（6）－ typeclass：Functor－just map

Functor是范畴学（Category theory）里的概念。不过无须担心，我们在scala FP编程里并不需要先掌握范畴学知识的。在scalaz里，Functor就是一个普通的typecla

05

【C++】function包装器全解（代码演示，例题演示）

01

当我们谈论Monad的时候（二）

在上一篇文章中，我通过几个Java的例子简单的说明了Monad的本质和一些工程中常见的用途。接下来的文章就不再侧重于工程了，而是要慢慢向理论转换。而作为过渡，我选择了Haskell来代替Java进行说明。本篇文章默认读者已经对Haskell的基本语法有所了解，因此对此类内容我不会再做赘述。

01

Scalaz（9）－ typeclass：checking instance abiding the laws

06

std和boost的function与bind实现剖析

用过std和boost的function对象和bind函数的童鞋们都知道这玩意用起来腰不酸了，腿不疼了，心情也舒畅了。先上一个简单得示例：

03

std和boost的function与bind实现剖析

用过std和boost的function对象和bind函数的童鞋们都知道这玩意用起来腰不酸了，腿不疼了，心情也舒畅了。先上一个简单得示例：

01

函子定律

前段时间学了下 Haskell，看完了《Haskell 趣学指南》，刷了一些题，《Real World Haskell》正在看。因为早先看过《SICP》，有点 FP 的基础，平常写 Swift 也喜欢用些 FP 的技巧，所以暂时没有什么特别颠覆性的感觉。最大的感受是，以前对 Functor、Applicative 和 Monad 的理解太片面了。

02

实现TypeScript运行时类型检查

因为前端并不需要对JSON 进行encode/decode , 只需要对JSON string 进行parse.

03

泛函编程（33）－泛函IO：Free Functor - Coyoneda

在前几期讨论中我们终于推导出了Free Monad。这是一个Monad工厂，它可以把任何F[A]变成Monad。可惜的是它对F[A]是有所要求的：F必须是个Functor。Free Monad由

C++11 lambda

C ++ 11引入了lambda，该lambda提供了一种语法上轻量级的方式来动态定义函数。它们还可以通过值或引用来捕获（或封闭）周围范围的变量。在本文中，我们将研究lambda与纯函数和函子类（实现的类）在实现方面的区别operator()。

03

【JS】446- 你不知道的 map

如果你听说过Ramda，它也提供了和Array.prototype.map方法类似的map方法。

02

Scalaz（32）－ Free ：lift - Monad生产线

在前面的讨论里我们提到自由数据结构就是产生某种类型的最简化结构，比如：free monoid, free monad, free category等等。我们也证明了List[A]是个free

05

泛函编程（23）－泛函数据类型－Monad

简单来说：Monad就是泛函编程中最概括通用的数据模型（高阶数据类型）。它不但涵盖了所有基础类型（primitive types）的泛函行为及操作，而且任何高阶类或者自定义类一旦具备Monad

08

Java示例演示Functor 和monad

This article was initially an appendix in our Reactive Programming with RxJavabook. However introduction to monads, albeit very much related to reactive programming, didn't suit very well. So I decided to take it out and publish separately as a blog post.

02

泛函编程（27）－泛函编程模式－Monad Transformer

经过了一段时间的学习，我们了解了一系列泛函数据类型。我们知道，在所有编程语言中，数据类型是支持软件编程的基础。同样，泛函数据类型Foldable,Monoid,Functor,Applicat

07

泛函编程（31）－泛函IO：Free Monad－Running free

在上节我们介绍了Free Monad的基本情况。可以说Free Monad又是一个以数据结构替换程序堆栈的实例。实际上Free Monad的功能绝对不止如此，以heap换stack必须成为Fr

C++两种线程模式：委托和继承（附示例）

继承方式实现简单，请参见：https://github.com/eyjian/mooon/blob/master/common_library/include/mooon/sys/thread.h 在C++11标准之前的实现较为复杂（可参见：https://github.com/eyjian/mooon/blob/master/common_library/include/mooon/sys/thread_engine.h）：委托版本使用非常简单：

02

boost::lockfree使用介绍

boost::lockfree是boost1.53引入的无锁数据结构，包括boost::lockfree::stack、boost::lockfree::queue和boost::lockfree::spsc_queue三种，前两种用于多生产者/多消费者场景，第三个用于单生产者/单消费者场景，下面对它们的使用进行详细介绍，以boost::lockfree::stack为例，其他类似。

02

Functors, Applicatives, And Monads In PicturesFunctors, Applicatives, And Monads In Pictures

原文： http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html 参考文章： http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf

04

C++的backtrace

很多语言的log模块都有一个功能，就是在打log的时候能够追溯调用栈，有的时候对查bug能有点帮助。之前我也想过给我们的log模块加上C++的backtrace的功能，迟迟一直没有做主要是两个原因：一是C++的backtrace在各个平台和编译器上都不太一样，比较冗杂；二是C/C++在编译优化之后，调用行之类的信息和甚至一些函数可能就被优化没了。所以能提供的信息就相当有限。前两天刚好有朋友问有没有提供这个，所以就花了点时间整理了下适配方案。

04

Scalaz（29）－ Free ：Coyoneda - Functor for free

很多时候我们会遇到一些高阶类型F[_]，但又无法实现它的map函数，也就是虽然形似但F不可能成为Functor。看看下面的例子： trait Interact[A] case class Ask(

09

一名Java开发的Go语言学习笔记：语言基本特性

有兴趣的同学可以看我之前的的一篇笔记：《笔记：追随云原生的Java》 2. 命名规范

01

函数式编程入门教程

你可能听说过函数式编程（Functional programming），甚至已经使用了一段时间。但是，你能说清楚，它到底是什么吗？网上搜索一下，你会轻松找到好多答案。与面向对象编程（Object

05

深入typeclass_Haskell笔记4

OOP中的Class是对象模板，用来描述现实事物，并封装其内部状态。FP中没有内部状态一说，所以Class在函数式上下文指的就是接口。派生自某类（deriving (SomeTypeclass)）是说具有某类定义的行为，相当于OOP中的实现了某个接口，所以具有接口定义的行为

01

【C++】STL 容器 - set 集合容器 ⑤ ( 仿函数 functor 简介 | 仿函数 functor 调用 | 自定义类排序规则 - 仿函数 / 重载＜运算符函数 )

在上一篇博客【C++】STL 容器 - set 集合容器 ④ ( 设置 set 集合容器的排序规则 | 默认的 set 集合容器 - 从小到大排列 | 设置容器从大到小排列 | 使用仿函数自定义集合排序规则 ) 中 , 引入了仿函数概念 , 使用仿函数自定义了 set 集合容器的排序规则 ;

01

Scalaz（25）－ Monad： Monad Transformer-叠加Monad效果

中间插播了几篇scalaz数据类型，现在又要回到Monad专题。因为FP的特征就是Monad式编程（Monadic programming），所以必须充分理解认识Monad、熟练掌握Monad运用。

06

缩略muduo库（4）：事件循环 EventLoop

每一个线程都有一个EventLoop，每个loop里面都会有很多的channel，每个channel的任务都要在自己的线程中完成。为了管理这些线程，设置了一份获取线程ID的代码，辅助管理。

01

深圳scala-meetup-20180902（3）- Using heterogeneous Monads in for-comprehension with Monad Transformer

scala中的Option类型是个很好用的数据结构，用None来替代java的null可以大大降低代码的复杂性，它还是一个更容易解释的状态表达形式，比如在读取数据时我们用Some(Row)来代表读取的数据行Row，用None来代表没有读到任何数据，免去了null判断。由此我们可以对数据库操作的结果有一种很直观的理解。同样，我们又可以用Either的Right(Row)来代表成功运算获取了结果Row，用Left(Err)代表运算产生了异常Err。对于数据库编程我还是选择了Task[Either[E,Option[A]]]这种类型作为数据库操作运算的统一类型。可以看到这是一个复合类型：首先Task是一个non-blocking的运算结果类型，Either[E,Option[A]]则同时可以处理发生异常、获取运算结果、无法获取结果几种状态。我觉着这样已经足够代表数据库操作状态了。

02

【C++11特性篇】玩转C++11中的包装器（function＆bind）

01

Scalaz（34）－ Free ：算法－Interpretation

我们说过自由数据结构（free structures）是表达数据类型的最简单结构。List[A]是个数据结构，它是生成A类型Monoid的最简单结构，因为我们可以用List的状态cons和Nil来分

06

Monadic Function_Haskell笔记12

只是把context换成了Monad而已，此外没什么区别。并且对于遵守Functor laws和Monad laws的类型，这两个函数是完全等价的，例如：

03

C++:21---仿函数

2　仿函数重载了()运算符，使得它的对你可以像函数那样子调用(代码的形式好像是在调用函数)。

03

什么是 Monad (Functional Programming)？函子到底是什么?ApplicativeMonad

函数式编程的精髓就在于，我们可以用好多好多小小函数，搭搭搭，组成一个个大函数，最终写出整个程序来。比如我们想写一个函数

03

Qml定时器与匿名函数

但如果有多个定时器任务，则需要创建多个Timer对象，而这些对象没有销毁，导致内存长期占用。特别是那些只执行一次的定时器。

02

Scalaz（40）－ Free ：versioned up，再回顾

在上一篇讨论里我在设计示范例子时遇到了一些麻烦。由于Free Monad可能是一种主流的FP编程规范，所以在进入实质编程之前必须把所有东西都搞清楚。前面遇到的问题主要与scalaz Free的F

掌握C++回调：按值捕获、按引用捕获与弱引用

在C++回调中，当使用Lambda表达式捕获外部变量时，有两种捕获方式：按值捕获和按引用捕获。

01

泛函编程（26）－泛函数据类型－Monad－Applicative Functor Traversal

前面我们讨论了Applicative。Applicative 就是某种Functor，因为我们可以用map2来实现map，所以Applicative可以map，就是Functor，叫做Appl

翻译连载 | 附录 B: 谦虚的 Monad－《JavaScript轻量级函数式编程》 |《你不知道的JS》姊妹篇

原文地址：Functional-Light-JS 原文作者：Kyle Simpson－《You-Dont-Know-JS》作者 JavaScript 轻量级函数式编程附录 B: 谦虚的 Monad

06

函数式编程中如何处理副作用？

纯函数是说没有副作用的函数（a function that has no side effects），有几个好处：

04

【C++11】C++11——包装器

function包装器也叫做适配器，C++11中的function本质是一个类模板，也是一个包装器。

02

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭