关于设计模式和设计程序语言的一些闲话

蔚落 2022-02-15 12:39 220阅读 0赞

引子：

2013 年的 Python Conference China 珠海场，我做了一个《论 Python 与设计模式》的分享。今天组织者知名的社区大妈 ZoomQuiet 给我分享了一篇文章，讨论由这篇文章而起。后觉得这个讨论对我来说是很有意思的，所以整理了聊天记录，征得 ZQ 同意后发布到这里，当作是我思想的印迹保存下来，非为分享，觉得有帮助有启发可以留言感谢，觉得要说服我、教育我，可以省点力气多陪一下家人朋友了。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

ZQ@zh\#奶爸  10:02:26  
On object-oriented programming \#是也乎\# ZoomQuiet.io  
    http://blog.zoomquiet.io/imho/131224-yw-on-oop.html\#-  
PyCon2013China 上赖总的分享,  
对比这文章,中枪无数哪,,,  
目测很多大牛也都是为了 OOP 形象而宣传,  
平时写代码,尽可能不折腾 的,,,  
  
gz赖勇浩  10:09:31  
还好吧，不算冲突。  
我上次的分享，讲的主要也是利用 python 的特性地实现 pythonic 的设计模式，也就是说，让设计模式的神在 python 代码中传播，而不是照搬来自 C++/Java 示例中的“形”。比如我分享的装饰器模式就是以 first-class function 为技术基础的，里面主要是利用了闭包是“带状态的函数”这一个特点。  
  
ZQ@zh\#奶爸  10:11:27  
对的 Guido 也是基于市场宣传的压力,宣称 Python 中的 OO 特性,  
其实, 分析了源代码大家都知道 OO 在Python 中并不是主导地位  
  
gz赖勇浩  10:11:36  
程序语言设计，王大神比我高明许多；但讲到写普通的业务代码，他倒是未必比我高明的。  
  
ZQ@zh\#奶爸  10:12:25  
也看什么业务代码,  
他给 Google 写的业务代码可是每天在跑的,,,  
  
ZQ@zh\#奶爸  10:13:05  
当然我们平常接触的 ARUD 式业务,  
实在不算真正的业务了,,,  
  
ZQ@zh\#奶爸  10:13:20  
只是数据的搬动而已,  
  
gz赖勇浩  10:14:53  
大妈这就是妄自菲薄了。设计小蛮腰是业务，在小蛮腰上烧电焊也是业务，一个电焊工可不会在一个建筑师面前这么自卑。  
  
ZQ@zh\#奶爸  10:15:49  
当然,工作没有高低,  
俺只是说其中包含的智力消耗完全不同级别而已,,,  
  
ZQ@zh\#奶爸  10:16:14  
我们拼的是手速,  
高阶业务,可真心拼的是思维了,,,  
  
gz赖勇浩  10:17:02  
我的意思就是不同意“智力消耗完全不同级别”的说法。烧好电焊，需要的学习和修炼，未必比学习建筑设计要少。  
  
gz赖勇浩  10:18:18  
larry & page 当年用 java 写出 google，难道他们遇到的挑战比设计 java 程序语言要低得多？  
  
gz赖勇浩  10:18:54  
用 C 语言写出 linux 内核，难道比设计 C 语言遇到的挑战要低得多？  
  
gz赖勇浩  10:19:30  
用 C++ 写出 WPS，你觉得真的比开发 C++ 要难得多么？  
  
ZQ@zh\#奶爸  10:20:01  
这个只有当事人知道了,,,  
因为 Google 的爆发不是只有两人时开始的,  
那时 Google 已经有上千名员工了,  
工程管理的困难比纯粹技术突破要复杂的多,  
但是,涉及的思维层级,就不好说了,,,,  
  
gz赖勇浩  10:20:22  
java 爆发的时候，也是发布到 1.4 版本了。  
  
ZQ@zh\#奶爸  10:21:07  
"烧好电焊"是种肌肉记忆的训练,练到极致是拼装备了,,,  
所以,现在顶级 电焊都是依靠编程,自动进行的了,,,  
  
gz赖勇浩  10:22:02  
王珢在他所擅长的领域有未经验证的“专长”而已，就算以后发布出经得起考验的产品，也还是普通人，没必要把他当成神罢。  
  
ZQ@zh\#奶爸  10:22:07  
智力消耗,这个点,俺可能描述不清,  
严格来讲,应该说是 反日常思维程度的级别不同?  
  
gz赖勇浩  10:23:01  
设计一个编程语言，不是非常难的事，在金山至少可以挑出 50 个人在 1 个月内每个人都造出一门有其特色的编程语言。  
  
ZQ@zh\#奶爸  10:23:02  
这个放心,他自个儿也放了话:我和权威的故事  
    http://www.yinwang.org/blog-cn/2014/01/04/authority/  
"""...我深深地知道接受错误想法的危害性，所以我也希望大家都具有批判的思维，不要盲目的接受我说的话。我不喜欢“大神”或者“牛人”这种称呼。  
"""  
  
gz赖勇浩  10:23:57  
我相信，就是这一秒，金山内部也有不少于 3 个自主研发领域特定语言（DSL）正用在生产中。  
  
ZQ@zh\#奶爸  10:23:59  
俺主要敬佩他坚持自个儿的追求,一直不盲从,  
只是口气臭些,,,,  
  
ZQ@zh\#奶爸  10:24:50  
设计一个编程语言,的确不难,  
在 王珢 的文章中,给出过35行一个DSL 编译器的源代码,  
但是,设计一个真正好用的编程语言,可就是完全不同的领域了,,,  
  
ZQ@zh\#奶爸  10:25:59  
俺其实在以往也不自主的发明了各种局部 DSL ,  
包括 UliWeb 自个儿发明的模板语言,  
但是,整个世界为毛没有变成大家都在使用自个儿的DSL 来完成自个儿的工程?  
  
gz赖勇浩  10:27:17  
设计一个真正好用的编程语言  
＝＝＝＝＝＝＝＝  
这个王珢自己就没办到，又何须觉得他真的在这一块是一个神呢？  
  
ZQ@zh\#奶爸  10:27:21  
当然,这其中市场营销,大师忽悠,培训市场等等,  
都在博弈,  
但是,语言本身的设计思想,是个决定因素  
  
ZQ@zh\#奶爸  10:28:01  
"又何须觉得他真的在这一块是一个神呢"...  
这个断言,不适合俺吧,,,  
俺也从来没有吼过珢神的说,  
  
ZQ@zh\#奶爸  10:30:06  
只是,对于编程语言, 这一专门的研究领域,  
王珢 是这个前沿领域的专业研究人员,  
不同其它各种公司的语言设计组成员,  
他没有任何市场功利因素,只是进行科学研究,  
所以,俺愿意相信他的一些论断,以及论据,  
但是,远没有达到可以作为代言来进行布道的水平,,,  
  
gz赖勇浩  10:31:01  
王珢 是这个前沿领域的专业研究人员,  
＝＝＝＝＝＝＝＝  
已经不是了，他离开研究领域很久了，他现在是“该领域技术的应用人员，正在开发相关的产品”。  
  
ZQ@zh\#奶爸  10:31:02  
真正好用的编程语言,这事儿,他也给出了结论:  
为什么一种程序语言是不够用的  
    http://www.yinwang.org/blog-cn/2013/06/23/one-lang-not-enough/  
承认当年自个儿也是图样图森破  
  
gz赖勇浩  10:32:15  
他没有任何市场功利因素,只是进行科学研究,  
＝＝＝＝＝＝＝＝＝  
有。他最近的很多文章，其实都算是他创业产品的小软文。  
  
ZQ@zh\#奶爸  10:32:21  
也没有很久,就两年,  
而且从他的经历看,PL 领域也是各种宗教战争的主场,  
他离开,实践自个儿的技能,不代表不继续研究那,,,  
  
ZQ@zh\#奶爸  10:32:47  
研究的经历是在校时的经历,这个没有问题吧  
  
ZQ@zh\#奶爸  10:33:45  
嗯嗯嗯,其实,中文的blog 只是他思想表述的很小一部分,  
认为天朝人应该接受的了,  
他的E文 blog 更加丰富的,,,  
  
gz赖勇浩  10:40:32  
好吧，结题一下：  
1、我觉得他对设计模式的看法跟我没有太大差别，如果我理解没有错误，那就是“不要照搬教科书 C++/Java 的设计模式示例代码，而是要将设计模式的思想与编程语言自身中特性结合起来，做到 Within a few hours I found a mapping from all the weird names it introduced to the programming techniques I had been using all the time. ”，大概就是要做到“神似而形不似（教科书的示例代码）”。  
2、我觉得设计、实现编程语言不是“火箭科技”，大部分高级程序员都可以轻松做到“设计、实现领域特定语言”，但我相信王珢在这一块“技能树点得比较满”，比我厉害，但不见得我（或其他编写业务逻辑代码的程序员）写的代码比他烂（或者说，坏味道）。  
  
ZQ@zh\#奶爸  10:41:55  
赖总的结论都无法同意更多...  
俺抄送链接,也是为了给赖总追加信心,  
王珢 这种人物想的跟你也没有什么不同  
  
gz赖勇浩  10:42:23  
 谢谢大妈。  
   
gz赖勇浩  10:42:31  
谢谢大家，我工作去了。