范畴论——函数式编程

引言 如果要领会函数式编程的思想，不可避免的会接触到一个概念 Monad（单子），单子概念的理解对函数式编程的领会有着至关重要的作用，函数式编程大 神Phillip Wadler 说过一句话，"A monad is just a monoid in the category of endofunctors”, 翻译过来就是 “一个单子不就是自函子范畴上的幺半群么”。简单的一句话扯出了这篇

范畴论完全装逼手册 / Grokking Monad 范畴论完全装逼手册(一) / Grokking Monad 范畴论完全装逼手册(二) / Grokking Monad 范畴论完全装逼手册(三) / Grokking Monad Table of Contents 第一部分：范畴论Catergory Theory Category Hask Duel ...

什么是范畴？　　其实范畴Category就是指一群事物以及这些事物之间的所有关联关系，这些事物和这些关联关系共同组成了某个范畴。 函数式编程所描绘的范畴，是一个以数据类型为点，以函数为箭头，并且充满了自函子映射的范畴。 从范畴论的角度看函数式编程，会产生一种全新的理解。OO之后人们以构建和封装对象的角度来看待编程，一度使编程与数学脱离。但函数式编程的出现，则重新从数学理论的视角出发，将编程与数学又一次地联系起来

程序设计中的范畴论, 初步引入范畴和函子

Scala 05 —— 函数式编程底层逻辑

目录 ●知识的互通 ●从范畴论说起 ●函子 ●MapReduce ●小结 ●知识的互通 笔者最近在学习的过程中，接触到了MapReduce、JavaScript的高阶函数、范畴论等相关知识。突然想到几个月前写过JAVA8函数式编程的相关博文，发现其实知识是互通，其思想都是相同的，只不过具体表现形式不一样。今天抽空回顾加总结一下这方面的内容，作为函数式编程学习的心得体会。 ●从范畴论...

在前面几篇介绍了函数式比较重要的一些概念和如何用函数组合去解决相对复杂的逻辑。是时候开始介绍如何控制副作用了。 数据类型 我们来看看上一篇最后例子： const split = curry((tag, xs) => xs.split(tag)) const reverse = xs => xs.reverse() const ...

计划 先讲解一下为什么要使用范畴论的理论来写代码 把范畴论当中的和计算机相关的知识讲解一下 把2提到的理论应用一下 实践一下，拿起新武器提高我们的战斗力吧！ 第一章 目的 写这系列文章的目的是什么？ 当然是提高生产效率！！不为了这个谁会去发明那么多东西呢，难道仅仅是为了领一个谷歌的ACM银碗！ 我们自打学习写作文开始就知道一个重要的主旨，不要跑题。哈哈，我皮了一下。所以我们那些熟知的...

原文见 http://bartoszmilewski.com/20... 我打算为程序猿们写一本讲范畴论的书已经有一段时间了。注意，受众不是计算机科学家，而是程序猿——是工程师，而不是科学家。这听起来挺疯狂，我也有些诚惶诚恐，但是我无法容忍科学与工程之间存在着巨大的鸿沟，更何况我自身的工作也是经常需要我在这两个世界中穿梭。不过，要解释一些...

作者： 阮一峰 日期： 2017年2月22日 你可能听说过函数式编程（Functional programming），甚至已经使用了一段时间。 但是，你能说清楚，它到底是什么吗？ 网上搜索一下，你会轻松找到好多答案。 与面向对象编程（Object-oriented programming）和过程式编程（Procedural programmin

函数式编程 范畴论 函数式编程是范畴论的数学分支，是一门复杂的数学，认为世界上所有的概念体系都可以抽象出一个个范畴论。 成员彼此存某种关系概念、事物、对象等等，解构成范畴。任何事物只要找出他们之间的关系，就能定义成为范畴 反应范畴成员之间的关系叫做态射，范畴论认为，同一个范畴的所有成员通过“态射”，一个成员可以变形为另外一个成员 总结： 函数式编程不是指用函数编程 函数式编程是指用一些数学的...

前言 上一篇讲解了JavaScript这种语言在函数式方面基本功能，下面继续讲解范畴论的使用。现在的范畴论已经发展的很迅速了，计算机领域的应用也越来越广泛，但是早起的JavaScript虽然是函数式的，但是并未在范畴论方面发力，因此很多内置函数都是不安全的（非纯函数的）。 下面我们从头开始进行讲解，如果跟着我一起做，你也能写出一个类似于java的Stream的一样的库函数。 当然本文的事例为了支持...

如果你接触过函数式编程，你很可能遇到过 Monad 这个奇怪的名词。由于各种神奇的原因，Monad 成了一个很难懂的概念。Douglas Crockford 曾转述过这样一句话来形容 Monad: Once you understand Monad, you lose the ability to explain it to someone else. 这篇文章中，我会从使用场景出发来一步步推...

1、范畴是什么范畴由两部分构成：对象和态射。与集合相比，范畴中同样包含许许多多的对象，不同的是范畴强调态射但集合不强调。“态射”是一种比“映射”更宽泛的定义，它表示事物之间的某一条联系，在...