由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Programming版 - 其实王垠严肃文章写的不错
相关主题
谁能用本科生就能理解的语言解释图灵机和拉姆达计算的区别关于FP
版上有人用Lisp么?王垠忏悔录
王垠:解密“设计模式”装逼犯和牛逼之人的区别在于
版上的大牛时不时都认为王银给你们提鞋也不配啊王垠真在写自己的语言了
python这语言解决了什么问题?写Python 的苦恼之一:有人当c用,有人当bash用,有人当FP用。当然也有人当python用
凡是学过点数理逻辑的,80%会觉得functional programming有意思Scala有一点不好
计算机行业拜图灵为鼻祖是为了自己高大上FP的主要问题是两个
[bssd]Continuation....spark 为啥不用 java 写
相关话题的讨论汇总
话题: 文章话题: 王垠话题: 严肃话题: 不错话题: 他乱
进入Programming版参与讨论
1 (共1页)
f*******t
发帖数: 7549
1
是个人都言多必失,没必要只盯着他乱喷的文章。
比如这篇就很不错:
http://www.yinwang.org/blog-cn/2012/08/01/interpreter
x****u
发帖数: 44466
2
这篇一样是胡说八道
他这个FP和符号主义的想法早不是主流了,世界上99%的编译器解释器都不是用这个思
路写的。他甚至没意识到为什么。

【在 f*******t 的大作中提到】
: 是个人都言多必失,没必要只盯着他乱喷的文章。
: 比如这篇就很不错:
: http://www.yinwang.org/blog-cn/2012/08/01/interpreter

d***a
发帖数: 13752
3
这个不算是严肃文章,算带科普性质的短文。从砖家的角度看,写的比较啰嗦。
他说的有些观点不大对。
做一个这样简单文法的解释器,对计算机专业的学生来说,是非常简单的事,homework
里肯定会出现。

【在 f*******t 的大作中提到】
: 是个人都言多必失,没必要只盯着他乱喷的文章。
: 比如这篇就很不错:
: http://www.yinwang.org/blog-cn/2012/08/01/interpreter

d***a
发帖数: 13752
4
运行效率低。如果要生成数据结构或中间代码,或者需要文件读写,代码会变得冗长。

【在 x****u 的大作中提到】
: 这篇一样是胡说八道
: 他这个FP和符号主义的想法早不是主流了,世界上99%的编译器解释器都不是用这个思
: 路写的。他甚至没意识到为什么。

x****u
发帖数: 44466
5
是啊,而且都是有数学证明的。求解lambda演算及其等价变换的代价是很高的,用极简
优美的lambda演算构建复杂数理逻辑会倾向于指数爆炸。
所以码农才值钱,因为基于概率和经验的求解方法数学上更有效。Lisp这种映射到人脑
神经网络上代价更高的原教旨fp才会逐渐淡出。

【在 d***a 的大作中提到】
: 运行效率低。如果要生成数据结构或中间代码,或者需要文件读写,代码会变得冗长。
1 (共1页)
进入Programming版参与讨论
相关主题
spark 为啥不用 java 写python这语言解决了什么问题?
大家有讨论 王垠新博文《未来计划》吗?凡是学过点数理逻辑的,80%会觉得functional programming有意思
现在王垠的博文都直接进笑版了计算机行业拜图灵为鼻祖是为了自己高大上
关于LISP的长贴[bssd]Continuation....
谁能用本科生就能理解的语言解释图灵机和拉姆达计算的区别关于FP
版上有人用Lisp么?王垠忏悔录
王垠:解密“设计模式”装逼犯和牛逼之人的区别在于
版上的大牛时不时都认为王银给你们提鞋也不配啊王垠真在写自己的语言了
相关话题的讨论汇总
话题: 文章话题: 王垠话题: 严肃话题: 不错话题: 他乱