近墨者 层林尽染，漫江乌透

“庸乌啥我们需要理想”? 关于理想的题目太x青了，以至于我必须用东北腔来人为增添一些戏谑成分才得以出口。我最近一次思考这个问题，是因为遇到空门君。

众所周知，我有个朋友叫做Fang，是个牛人，坊间流传他的系列妙文，以其中一组《我认识的七个理想主义者》为发轫。其实这个系列他只写了三个人，剩下的四个因为种种托辞不写了，便发了一篇《关于<我认识的七个理想主义者>写不下去了的声明》，每人一小自然段充数。这四个因为和他朝夕相处耳鬓厮磨所以反而难以下笔的人中间，有一个我的好友（当然其实他们四个都是我的好友，今天先说一个）叫AprilFool，他的那个自然段是这样的：

“AprilFool天生豪杰。豪杰若非天生，则一定假冒伪劣。maverick最喜欢的一句英语’Gentleman is, rather than does’，意思说绅士与生俱来，而非后天修得。豪杰同理。”

这个自然段我很喜欢，也觉得用来形容AprilFool最是恰当。“双手会写梅花篆字，两臂担得人间义理”是偶当年给他的风谣品题。

所谓天生豪杰，我有生之年一共见过两个，一个是Fool，另一个就是空门。——这种起兴万里，借力打力的方法，我也是和Fang以及好友zj学得的。

豪杰空门说，他有一个争当青年民科的野心，并且简单描述了野心的外貌；在我理解，他是说，他有一个大胆的但是也不是完全不靠谱的理想。并且，他已经申明自己完成一份对计算机语言、软件工程意义深远的手稿：

手稿中利用拓扑学的理论对计算机程序进行建模和分析，用一种直观地方式展示了纯函数式语言和面向对象的编程模型之前的区别，以及它们各自的优点与缺点。手稿从拓扑学的基本原理出发，提出了一种全新的基于因果性的计算模型，它能够在很大程度上区分算法和数据，并且能够直观地展示出来。这套计算模型中引入了一些高层次的类型系统和安全机制，使它的表达能力和安全性超越了流行的基于面向对象的计算模型。

这份手稿中的理论可以用于实现高层次的开发工具，实现软件的设计的可视化和自动化。这套工具允许将手稿中提到的计算模型具体化，对应到现有的计算机语言，例如 C、C++和Java，因此具有很强的实用性。同时，这套工具允许对实现（例如 C 代码）和设计进行验证，使得自顶向下的软件过程得到彻底地实施。

作者正在将这份手稿的内容形式化，并设计相关的原型和工具，不愿意将晦涩的手稿公开。此外，为了产业化过程中投资人的商业利益，作者也不便于将手稿中的内容公开。作者为了证明自己完成了这些工作，只能将手稿打包加密后保存在安全的媒介中，并公开相应的数字签名。

最后，作者必须感谢相信自己并公开本申明和数字签名的朋友。

在我有限的神经元结构能够理解的范围内，空门的理想是，以后全世界的程序员都可以用画的形式来写软件，把技术蓝领蒸腾为艺术彩领。我觉得，这是一件牛大发的事情，所以准备无条件在精神上以及有条件在物质上支持他。