昨天的文章删了，因为我的 vscode 把 markdown 里的 * 自动替换成了 _，导致一些公式的表述变得异常奇怪。另外，原创忘记打开了。

最早接触过IO Monad，后来又了解了Maybe Monad和List Monad，实际上还有很多Monad（比如Writer Monad、Reader Monad、State Monad等），位于mtl package，可以通过ghc-pkg命令来查看：...

在List场景，xs <*> ys表示从左侧xs中取出函数作用于右侧ys中的每一项，有两种实现方式：

从硬盘读文件时并不会一次性全读入内存，而是一点一点的流式读取。文本文件的话，默认buffer是line-buffering，即一次读一行，二进制文件的话，默认buffer是block-buffering，一次读一个chunk，其具体大小取决于操作系统...

一直有个疑惑，Haskell号称纯函数式语言，那么铁定不纯的场景（肯定有副作用，或者操作本身就是副作用）如何解决？

Haskell是一种纯函数式语言（purely functional programming language），其函数式特性的纯度没有争议

semantic 库地址：https://github.com/github/semantic

Type Class (类型类) 的概念来自 Haskell，表示一系列函数的集合，在概念上， Type Class 和面向对象领域的泛型接口比较类似。

在两年半前我写了这篇文章《为什么柯里化是有用的》 ——一些关于在JavaScript中使用柯里化函数的赞美之言。这篇文章轻松成为阅读量最大的一篇，每个月给我带来许多读者。...

序：前段时间有些膨胀了，以为3年开发三年的我什么都见过了，这段时间又看了许多大神的博客。发现自己还是一个跳梁小丑，编程的大海我只在一个水滴里打转。学海无涯，以梦为马，不负韶华。...