说到 Haskell，这真是一门逼格极高的编程语言，一般初学者如果没有相关函数式编程的经验，入门直接接触那些稀奇古怪的概念，简直要跪下。现在回想起来，隐隐觉得初学者所拥有的命令式编程语言(impera ...

谈到页面性能优化，缓存机制是其中非常重要的一环。缓存可以使页面尽可能快地得到需要的文档，具有减轻带宽、降低服务的负荷、提高用户体验等功能。随着高级浏览器，尤其是移动端的发展，可用的缓存范畴逐渐变大，简单地将其分为三类： 一、Application Cache 这是H5中的新 ...

读书笔记: 范畴论 基本概念 范畴论 数学构造(Mathematical structure) 在数学上，在集合上的一个构造是一个附加的数学对象，赋予这个集合某种意义。 范畴论(category theory) 范畴论的目的是：规范化数学构造。 方法为：使用带标签的有向图 ...

代数、几何、分析 各自的范畴 数学史海揽胜 【作 者】卢介景编著 【出版发行】 北京：煤炭工业出版社 , 1989.03 数学发展到现在，已经成为科学世界中拥有100多个主要分支学科的庞大的“共和国”。大体说来 ...

由于泛函编程非常重视函数组合（function composition），任何带有副作用（side effect）的函数都无法实现函数组合，所以必须把包含外界影响（effectful）副作用不纯代码（impure code）函数中的纯代码部分（pure code）抽离出来形成独立的另一个 ...

单子是帮助你组合函数的工具。 像原始类型一样，单子是一种数据结构，它可以被当做装载让函子取东西的容器使用。 函子取出了数据，进行处理，然后放到一个新的单子中并将其返回。 我们将要关注三种单子： Maybes Promises Lenses 除了用于数组的map和函数 ...

🏠 Functional Programming in Javascript 主目录 上一章 Javascript中实现函数式编程的技术 第五章 范畴论 托马斯·沃森（时任IBM董事长）说过一句著名的话，“我想全世界只有五台计算机的市场”。 那是1948年，当时，每个人都认为计算机 ...

在上节我们介绍了Free Monad的基本情况。可以说Free Monad又是一个以数据结构替换程序堆栈的实例。实际上Free Monad的功能绝对不止如此，以heap换stack必须成为Free Monad的运算模式，这样我们才可以放心的使用Free Monad所产生的Monadic ...