fp-ts

Reader 在 fp-ts 中，Reader的定义如下： 也就是一个类型为r -> a的函数，r可以看作为计算所需的环境，而a是计算的结果。它经常被用来做依赖注入。先来看一段代码： 这是三个普通的函

IO 函数式编程最不能容忍的就是副作用，但是副作用又是一段有用的程序所必不可少的。所以，在函数式编程中，会把产生副作用的代码减少到最小并聚集在一起。IO就是用来表示一个会产生副作用的操作。查看 fp-

Option Option的 kind 为 * -> *。也就是说，它和 Array 一样可以接受一个 concrete type a，产生另一个concrete type Option a。我们可以

有谁能够在见识过函数式编程的优雅之后还不心动的呢？ 对我来说，函数式编程是一个可望而不可及的梦想。它很美好，但是却有点超脱现实。如果说，全然开始使用 Haskell 等函数式编程语言是疯狂，那么从这个