哈哈哈，楼上说得对

@scarlex

不不不，这不是严谨证明

这只是从类型的角度来帮助理解 functor 是个啥而已。

functor 是函子

fmap 实际上就是一个 类型 T(a) -> T(b) 的一个映射。

======================

为什么 fmap id = id ？首先 id 的类型是 a -> a ，你给 fmap 了以后， fmap id 是不是变成了 T(a) -> T(a) 了？现在令 T(a) 为 a ，是不是 fmap id 又变回 a -> a 了？

为什么 fmap (f . g) = fmap f . fmap g 呢？
假设 f : a -> b, g: b -> c ，那么 f . g : a -> c
f . g : a -> c
famp (f . g) : T(a) -> T(c)

fmap f : T(a) -> T(b)
fmap g : T(b) -> T(c)
fmap f . fmap g : T(a) -> T(c)

所以 fmap (f .g) = fmap f . fmap g

@shyling

其实很多时候我都会手动标示类型，因为这个类型是给人看的（比如自己）……

对编译器来说，大部分他都能推导……

很酷的 PureScript 动态博客例子

博客： http://lovearia.me
Github ： https://github.com/bramblex/loveaira.me

我写的 /w\

@jiyinyiyong

类似 State Monad 这种东西， Monad 的作用是防止副作用扩散。比如 State Monad 就有一个 Unsafe 的，用的就是变量来管理 State 来提高性能。

对于过不过程式，这个东西没什么好讨论的，就是 CPS 变换的问题。 Haskell 里面的 do 语法糖就是干这事的。

@shyling

你完全可以不写

Haskell 不是整天拿类型推导吹牛逼么？

因为：
类型推导 -> 你不写类型他也能给你推导出来

@levn MT 还好啊……我倒是对 Arrow 之类的还没概念

@ChiangDi

来来来 http://lovearia.me

@qqjt 哎，一直都好好的啊？可能是你打开的时候刚好遇到我在升级

@scarlex

我没有具体了解要多少。据说 8G 够用……

不过就是一个高阶函数在 python 里的语法糖而已 ╮(╯▽╰)╭

把一个函数包装成另一个函数的函数。

@codefalling

撕逼不好，大家不要撕逼 OwO

对方纯粹喷的地方是可以无视的嘛，只看其中有价值的东西就好啦。虽然这货在 V2EX 上是出了名的大喷子，人特别惹人厌，他跟谁都能撕起来。但是相比其他大喷子而已，他喷的至少带着干货。

@edsgerlin 我的 vps 只有 3G 硬盘…… ghc 装都装不上。而且我不想折腾交叉编译

@scarlex 正在用 purescript 写前端中 虽然麻烦

@4679kun 活捉~

@reverland 这个跟 Haskell 长得差不多

@minsheng

我那个 vps 一年 99 RMB ，你指望我能装上 ghc 吗？连硬盘都只有 3G ，装个系统就差不多了，哪里有地方给我装 ghc 嘛 TnT