【老C真·扯淡】透过“鸡汤文”浅析形式与不形式

cyycoish

原创文章，转载请注明出处，thx！
透过“鸡汤文”浅析形式与不形式
        今天上网查某某东西，偶然间翻到了一则鸡汤文，我将它的一部分抄下来：“上帝似乎和我们开了个不大不小的玩笑，他告诉我们人生的目的的，却拒绝给我们地图。于是在上帝慈祥而狡黠的目光下，我们在人生的莽原上无助地跋涉。在跋涉的行程中，我们都有这样的感觉：最为辛苦的并非路程本身，而是在路上我们永远不知道是否选对了方向。”老C第一反应：呀，挺好！好了现在我们仔细分析一下第一句。人生的目地地。人生：人的一生。目的地：指计划好的要到达的地方。理解下来就是骨灰盒咯！然后逗号后：“却没给我们地图。”喂！是地图路线太多了吧！你可以用刀，用火（化学方式），用重力（跳楼）或者合起来用，总之“地图”清清楚楚，看你怎么用，敢不敢用。
        现如今，对鸡汤文的褒贬可谓走了一条f(x):=sin(x),x属于[0,pi) 的曲线。一开始鸡汤文貌似是一种从读者文摘发展而来的文体。因其特殊性，和new age音乐一般，便被赋予了独有的名字：心灵鸡汤。顾其名便得其义：补脑子嗒！它不像教科书，学术论文，各种软件文档一样：补的时候需要一个疗程。一般从幼稚园毕业算起补到可以去祸害其他小姑娘了需要12年。鸡汤文，那是十全大补，大补恶补，放开水龙头给你灌维他命。喝完之，你会感慨，啊！明白了，我要放开包袱去“爱”！鸡汤文的优势得于其充电效率之高，恰恰其劣势也来源于此。很多人的大脑如同电池一般在充完电后电量下降得迅速。其因有二：一，迅速的填鸭并未未实在，并非面面俱到。填出来的烤鸭同经过仔细按摩的咸水鸭较量……二，鸡汤补效迅速，而制作需要花费一番功夫。樱桃好吃树难栽。然而鸡汤文盛行之后，越来越多的人仿效之。但其中好些作家技艺不够精湛，导致煨出来的鸡汤火候不行。于是便出现了sin曲线般的由上而下的对于鸡汤文的褒贬现象。
        这不由得让老C思索语言这个奇妙之物。我们若将语言形式化，信息在传输后的准确性便大大提高。省了大量的“crc校验”。但是，可惜的是，我们只是把crc校验的信息量或者几倍于之的信息放在了传输语言的主体当中：举个例子：语言主体：“今天我们就去'那儿'吃炸鸡哦！”crc校验“诶，你知道哪里吧？”回：“不知道”校验失败，我必须加上：“就在咱们昨天电话里约好的地方啊”回：“哪儿啊？”答：“我晕，人民广场！”（某首歌躺枪）可见用在crc校验的时间多于我们形式化语言主体后因为语言内容增加而导致增加的信息传输时间。其实这个例子在c++语言已经有充分的，明显地体现。模版是个好东西！我们只需写一套代码，便有了n套代码。可惜苦了我可怜的编译器……但是反过来我们将任何一件事物用语言精确地形式化地定义之，就会变得和C一样繁琐：对于任何一个参数的任何一个类型，我们都要完成于之相应的函数。程序员累了！
        我们将结论扩充出去：为了得到理解效率与理解正确性的最大化，我们是否要推行：以形式语言取代自然语言，禁止0型自然语言 推广3型正则语言的举措呢？否！为啥不行？如果每条法律条文都用形式语言加以详细的规定，岂不是少了纠纷，少了误判……但是满世界刻板的形式语言可能是这样的结果：与我结婚并取得具有法律效力的结婚证的女人，我今天14:00分去超市购物，请将你要买的物品数量详细地列出。————与你结婚并取得具有法律效力的结婚证的男人。并不是除了信息的准确性之外的事情我们都可以不顾及了。我们的生活中不能一味地一成不变，我们需要自然语言带给我们的艺术，无论是真正的“鸡汤文”还是老C特色的暴力美学型文学。然而形式语言与非形式语言的关系恰恰就如科学与艺术的关系罢！

cyycoish 201601270537A2

账号已注销

我竟然看完了