当C++程序员中了Haskell的毒

黄毅 评论 编程的本质 3 2011-06-22 16:31:54
hongqn
hongqn (you can (not) redo) 2011-06-22 17:23:53

搬椅子等例子代码...

黄毅
黄毅 (程序猿) 2011-06-22 22:40:00

全部转移到读书笔记了
http://book.douban.com/people/huangyi/annotation/4722718/

幻の上帝
幻の上帝 2015-11-04 01:50:05

这跟static typing没多少关系。换个在spec里允许phase不硬编码,不需要严格区分static和dynamic typing的语言(比如某些Lisp方言)理论上照样可以实现这样的效果,只是大概因为:1.要约束type check在什么时候符合预期比较困难;2.现在的static typing rules写死了问题暂且可以接受(不是什么语言都有潜力像C++那么抽风,虽然Haskell可以算);3.有能耐对语言spec做手脚的也就那么点;所以吸引不到足够多的用户去做这出系统化的东西而已。
另外,Haskell相对于背后的理论(不限于范畴论),本身偷工减料也不少,也未必能自然到会吸引人中毒(monad和functor的什么鬼出名,多半还是因为写教程的太多了的缘故),要说数学的残渣还差不多。

罗星
罗星 2016-10-12 16:08:15

没见过世面