他感觉自己,抓住了那最核心的,关键!
“很好。”王小虎的脸上,终于露出了一丝笑意,“看来,还不算太笨。”
“你们之前犯的错误,就是妄图,去创造一个,万能的‘转换器’。”
“你们想让编译器,变得无比‘聪明’,去猜测你们那些,模棱两可的,所谓的‘人性化’的语法。”
“结果,就是你们把自己,和编译器,都逼疯了。”
李兴华的脸,红得像一块烙铁。
老师的每一个字,都说到了他们的,痛处。
“真正的‘道’,不在于‘兼容’。”
王小虎拿起笔,在一张纸上,写下了两个字。
“规范。”
“你们要做的,不是去设计一门,让人类‘觉得’方便的语言。”
“而是要设计一套,让机器‘认为’,绝对不会出错的,‘数学规范’!”
“这套规范,必须是,形式化的,无歧义的,可以被严格证明的。”
“它不是‘语言’。”
王小虎用笔,重重地,点了点那两个字。
“它是‘天条’!”
“是你们为这个数字世界,立下的,最根本的,法律!”
“任何代码,都必须,在这套‘天条’的框架内,运行。”
“任何,试图挑战‘天条’的语法,都应该被,无情地,抹杀!”
“你们要做的,不是去讨好‘使用者’的,懒惰。”
“而是要,用最严苛的‘规则’,去捍卫,‘逻辑’的,纯粹和唯一!”
天条!
法律!
抹杀!
捍卫!
这些充满了秩序感和力量感的词语,像一道道惊雷,在李兴华的脑海中,轰然炸响!
他感觉自己,全身的血液,都在燃烧!
他明白了!
彻底明白了!
他们需要的,不是一门,充满人文关怀的“语言艺术”。
他们需要的,是一套,如同数学公理般,冰冷、严苛、不容置疑的,“形式化文法”!
他们不应该是“诗人”。
他们应该是,为世界立法,为秩序奠基的,“神之律法师”!
“老师!”
李兴华猛地站起身,眼中,爆发出一种,前所未有的,狂热的光芒。
“我懂了!”
“我们需要的,不是一门‘语言’!”
“我们需要一套,用来‘描述’语言的,‘元语言’!”
“一套,可以定义语法,消除歧义的,数学工具!”
他虽然还不知道,这个“数学工具”,具体叫什么。
但他已经,准确地,抓住了它的,本质!
王小虎欣慰地点了点头。
孺子可教。
他拿起笔,在纸上,又写下了几个,简单的,英文字母和符号。
E -> E + T | T
T -> T * F | F
F -> ( E ) | id
(注:此为巴科斯范式BNF的简化示例)
他将纸,推到李兴华面前。
“这就是,你们需要的,那套‘天条’的,书写方式。”
“回去,告诉他们。”
“不要再用,凡人的语言,去描述语言了。”
“从今天起,用‘规则’,去定义‘规则’。”
“去吧。”
“这是,你们的,最后一次机会。”
李兴华,颤抖着,接过了那张,写着天书般符号的纸。
他知道,这薄薄的一张纸上,承载的,是整个“仓颉”计划,重生的,唯一希望!
他没有再多说一句废话。
只是,对着王小虎,再次,深深一躬。
然后,转身,带着那份,全新的“神谕”,如同一道离弦之箭,冲向了,无边的夜色。
当李兴华,像一个刚刚从神庙中,捧回圣火的使者,第三次,将一张薄薄的白纸,拍在西山核心会议室的桌上时。
黄建功和钱学敏,这两位加起来快一百五十岁的老人,几乎是连滚带爬地,冲了过去。
他们的眼中,不再有任何的怀疑和侥幸。
只剩下,最纯粹的,最原始的,对“答案”的渴望。
当他们的目光,落在那几行,由箭头、竖线、括号和字母组成的,天书般的符号上时。
两人,同时,愣住了。
E -> E + T | T
T -> T * F | F
F -> ( E )