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

               

引子：

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
谢谢大家，我工作去了。