FP学习之四

首先，关于IO ，Monad最近不会有时间学习了。
要更正下上次关于Typeclass概念,我上次仅仅把它理解为类型，这是不准确的。所以学习不能太肤浅啊。。
type class中文应该叫做“类型类”，其实更严谨的说法叫constructor class。
而类型类的Instance就可以称为一个真正的类型了。C++里面有个Concept就和typeclass有点类似，如果要了解相关详情，可参考如下链接。
[1] Stackoverflow: How are c++ concepts different to Haskell typeclasses?
[2] OOP vs type classes