北京
在大多數(shù)頒獎典禮上，獲獎感言不過是一種走過場的形式和陳詞濫調(diào)。但計算機科學(xué)領(lǐng)域的最高榮譽——圖靈獎，卻為這一慣例留下了一個迷人的例外：頂尖計算機科學(xué)家在受獎時的演講，往往成為影響深遠(yuǎn)的思想記錄。
有些演講像一份宣言。1977年，約翰·巴克斯的“編程能否從馮·諾依曼風(fēng)格中解放出來？”激發(fā)了一種新的范式，催生了Haskell等函數(shù)式語言。有些則是警告。1984年，肯·湯普森在“對信任的信任之反思”中揭示了植入后門的編譯器的危險，很可能因此避免了大量的安全漏洞。1972年，艾茲赫爾·戴克斯特拉在“謙卑的程序員”中告誡同行警惕小聰明，承認(rèn)“人類心智固有的局限”。
而1979年肯尼斯·艾弗森那場思想密度極高的演講“作為思維工具的符號”，則更值得我們細(xì)讀。他在演講中指出，數(shù)學(xué)符號并不僅僅是方便的速記——比如用CO?表示二氧化碳，用3,888代替MMMDCCCLXXXVIII——好的符號還能讓新的洞見更容易被發(fā)現(xiàn)。正如數(shù)學(xué)家阿爾弗雷德·諾斯·懷特海所說：“好的符號能免除大腦所有不必要的勞動，使其集中精力于更高級的問題?！?/p>
艾弗森因發(fā)明APL語言而獲得圖靈獎。這是一種外觀奇特的語言，最初是作為一種跨語言的符號系統(tǒng)而誕生。在科學(xué)計算的早期，程序員不得不用一種語言（數(shù)學(xué)符號）思考，再用另一種語言（例如Fortran）編程。APL的設(shè)計目標(biāo)，就是讓那些笨重的操作能像方程一樣緊湊地書寫——大段代碼坍縮為幾個類似+或×的符號。APL的影響力遠(yuǎn)超其實際采用規(guī)模，但重要的是，它證明了兩種語言可以融合為一種。
2026年，APL問世將滿60周年。一種新的雙語言問題正困擾著科學(xué)計算領(lǐng)域。今天的統(tǒng)治級編程語言是Python，但它的統(tǒng)治并非憑借原始性能優(yōu)勢。
特別聲明：以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺“網(wǎng)易號”用戶上傳并發(fā)布，本平臺僅提供信息存儲服務(wù)。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
