首先,关于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
FP学习之四
最后编辑于 :
©著作权归作者所有,转载或内容合作请联系作者
- 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
- 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
- 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...