在你的主題演講中，你將提到古代哲學(xué)家。事實(shí)上，柏拉圖、亞里士多德等人都是邏輯形式化的奠基人。他們的概念已經(jīng)可以與編程相比較了嗎？

互補(bǔ)但不可比。在我的主旨演講中，我從柏拉圖通過(guò)Occam解決問(wèn)題的方式，通過(guò)亞里士多德的本質(zhì)和偶然屬性，追溯到當(dāng)今軟件的核心問(wèn)題之一：偶然復(fù)雜性。我想強(qiáng)調(diào)兩點(diǎn)：第一，技術(shù)專(zhuān)家忽視過(guò)去（包括古代和現(xiàn)代）會(huì)給我們帶來(lái)危險(xiǎn)。我們似乎認(rèn)為只有新事物才有價(jià)值。第二，我們認(rèn)為軟件所獨(dú)有的許多東西在“真實(shí)”世界中幾乎以相同的方式存在。

在古代雅典，邏輯思維被認(rèn)為是人類(lèi)的最高能力之一。今天這是由計(jì)算機(jī)來(lái)完成的。那么留給我們?nèi)祟?lèi)的是什么呢？

思考不是由計(jì)算機(jī)完成的！計(jì)算機(jī)遵循文字指令，就不能進(jìn)行邏輯跳躍。用電路所做的邏輯與人類(lèi)應(yīng)用邏輯的方式不同。事實(shí)上，編程中最不有趣的部分是語(yǔ)法對(duì)問(wèn)題的機(jī)械應(yīng)用。右腦洞察驅(qū)動(dòng)的開(kāi)發(fā)更有趣（發(fā)現(xiàn)設(shè)計(jì)模式、緊急設(shè)計(jì)等），這完全是人類(lèi)的活動(dòng)。科學(xué)家們研究人工智能已經(jīng)有很長(zhǎng)時(shí)間了，但進(jìn)展甚微。我并不擔(dān)心計(jì)算機(jī)會(huì)足夠聰明，可以在很長(zhǎng)一段時(shí)間內(nèi)做任何有用的事情。

哪些“老經(jīng)驗(yàn)”仍然適用于現(xiàn)代問(wèn)題，而哪些在今天肯定不再適用了？

如果你讀過(guò)像弗雷德·布魯克（Fred Brook）1975年寫(xiě)的《神話般的人月》（Mythic ManMonth）這樣的書(shū)，你會(huì)發(fā)現(xiàn)什么適用于當(dāng)今的軟件開(kāi)發(fā)，什么不適用于當(dāng)今的軟件開(kāi)發(fā)。他深入討論了如何管理使用大量大型機(jī)匯編語(yǔ)言的項(xiàng)目，以及封裝的優(yōu)點(diǎn)。我們已經(jīng)很好地理解了這一點(diǎn)，并且我們的語(yǔ)言和工具允許我們忽略這一抽象層次（就像我們不認(rèn)為硬盤(pán)驅(qū)動(dòng)器是旋轉(zhuǎn)的盤(pán)片，而是隱喻性的文件和文件夾）。我們沒(méi)有解決的問(wèn)題是流程和管理問(wèn)題。即使30多年后，人們?nèi)栽趯ふ毅y彈，弗雷德·布魯克意識(shí)到銀彈并不存在于他的書(shū)中。那些不記得過(guò)去的人注定要重蹈覆轍（喬治桑塔亞納）。知識(shí)在軟件中很重要，了解過(guò)去可以讓我們利用已經(jīng)存在的錯(cuò)誤和見(jiàn)解。

如果我們談?wù)摤F(xiàn)代編程語(yǔ)言，從哲學(xué)的角度來(lái)看，有哪些語(yǔ)言比其他語(yǔ)言更豐富？還是只關(guān)乎務(wù)實(shí)和效率？

如果你看看現(xiàn)代編程語(yǔ)言，表達(dá)能力非常重要。JVM上的現(xiàn)代語(yǔ)言的一個(gè)共同主題是更高的表達(dá)能力和更少的限制行為。這個(gè)Java.next文件語(yǔ)言試圖縮短從意圖到結(jié)果的距離。Saphir-Whorf假說(shuō)認(rèn)為，你所使用的語(yǔ)言會(huì)影響可能的思維方式。如果你使用更具表現(xiàn)力的語(yǔ)言（計(jì)算機(jī)或其他），你的詞匯就更豐富了。語(yǔ)言借用其他語(yǔ)言的短語(yǔ)是有原因的，因?yàn)樗鼈兊膬?nèi)涵更豐富。表現(xiàn)力很重要。