title: RobertHarper不支持Haskell的理由是？
topic: 卡内基梅隆大学 (Carnegie Mellon University)
content: Modules Matter Most ML family的module system我不熟悉，所以这点不作评论Harper认为Haskell的type class机制只是module system的一个受限的个例 Lazy-by-default 这一点。。我部分同意。Haskell的lazy-by-default的语义虽然增加了语言的表达能力，但实际使用中容易造成space leak等各种问题，最后区分strict和non-strict使用会增加程序员思维负担。Managing side-effects via monads 这一点上他有所让步他同意将副作用
answerer_tags: 人形猫科动物，无主。