在/r/haskell看到到消息说GHC HEAD里,Functor将会是Monad的超类,开心。看完评论才发现是愚人节的玩笑。
我怎么就相信了呢?
- 每一个Monad都是一个Functor,但是因为历史原因,在Haskell里,Functor却还不是Monad的超类,看到这个消息的时候我觉得很自然。
- 我不重视兼容问题,觉得反正在有Monad实例的情况下,佷容易写出Functor实例。
- 我觉得GHC是Haskell的事实标准,GHC一直走在Haskell发展的前言,我相信GHC可以干这事,促进Haskell发展。
- /r/haskell上很少有假的消息