现在王垠的博文都直接进笑版了 - Programming版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

Programming版 - 现在王垠的博文都直接进笑版了

相关主题
● 其实王垠严肃文章写的不错	● 版上的大牛时不时都认为王银给你们提鞋也不配啊
● 王垠忏悔录	● 王银水平可能确实不高,比我差些
● 王垠的40行代码是干嘛的	● 王垠的新文章看了没？
● 我老给你们指条明路吧	● 王垠的这篇写的不错
● Looks like 王垠 was right about Google culture	● 王垠真在写自己的语言了
● 王垠：解密“设计模式”	● 王垠是成功的
● 谈一下王垠当年制造出的一个大麻烦	● Go 语言的综合评论 by 王垠
● 装逼犯和牛逼之人的区别在于	● 王垠终于开始搞垠语言了

相关话题的讨论汇总
话题: 笑版话题: 王垠话题: 博文话题: lambda话题: calculs

进入Programming版参与讨论

1

(共1页)

i***h 发帖数: 12655	1 这里都没人转
g****t 发帖数: 31659	2 像老王喜欢的CPS什么的元语言层面上的变换关系etc，多数来自图灵1936年证明lambda calculs可以实现图灵机文章最后一节。也就是用lambda calculs/ function call实现goto。然后大家一代一代的换着花样玩。这个东西过期了【在 i***h 的大作中提到】 : 这里都没人转
g****t 发帖数: 31659	3 CPS，closure什么的属于python，js的时代。过气了。如果真的对理论语言有兴趣。我觉得rust值得学习和参考。 go在元语言层面基础不强大。不说创作，老王的知识水平其实已经落伍很多年了。 lambda 【在 g****t 的大作中提到】 : 像老王喜欢的CPS什么的元语言层面上的变换关系etc，多数来自图灵1936年证明lambda : calculs可以实现图灵机 : 文章最后一节。也就是用lambda calculs/ function call实现goto。 : 然后大家一代一代的换着花样玩。 : 这个东西过期了
a*****g 发帖数: 19398	4 他撑不了那么大，却继续搞，就物极必反了【在 i***h 的大作中提到】 : 这里都没人转

1

(共1页)

进入Programming版参与讨论

相关主题
● 王垠终于开始搞垠语言了	● Looks like 王垠 was right about Google culture
● 觉得为人处事还是不能学王垠	● 王垠：解密“设计模式”
● 王垠 -- 批判的价值	● 谈一下王垠当年制造出的一个大麻烦
● 王垠被炒了？	● 装逼犯和牛逼之人的区别在于
● 其实王垠严肃文章写的不错	● 版上的大牛时不时都认为王银给你们提鞋也不配啊
● 王垠忏悔录	● 王银水平可能确实不高,比我差些
● 王垠的40行代码是干嘛的	● 王垠的新文章看了没？
● 我老给你们指条明路吧	● 王垠的这篇写的不错

相关话题的讨论汇总
话题: 笑版话题: 王垠话题: 博文话题: lambda话题: calculs

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)