Haskell 语言很有意思,我感觉一旦理解了类型定义的语法符号::, =>, ->,就容易了。 另外一个老外说两个突破点是 monad 和 category。
::, =>, ->
Haskell 的语法设计比较合理,容易记忆。
-->
monad 当年学的时候头都要炸了。
学 idris 吧,haskell 下一代,大概是现在最先进的 fp 语言