伊曼努尔·康德:首位 Python 程序员 康德找了通往哲学殿堂的“简易”方法:放弃采用笛卡尔的我思和经验主义这两种对立、相反的学说中的任何一种,而大喊“都要”。康德审视了人类的理性,声称被先验理性过滤的经验能通向真理。当他的哲学成熟后,开始研究美学,试图理论化解释人的审美。康德极端精准的性格,痴迷于整洁和精确,在每天固定的时刻做固定的事情,以至于他的熟人竟然将他“用于”计时。 同样地,Python 是一门尝试将各种解决方案组合在一起的新程序语言。它是多范式的程序语言,从面向对象编程到基于契约的编程。Python 程序员拒绝像 Perl 一样自由表达的形式,同时又从它借鉴了不少特性。Python 强调简洁和清晰的代码。Python 太“痴迷”于此,以致将空白缩进作为代码块的分隔符。在“Python 之禅”的 19 条教义中首条便是“美胜于丑”。康德对美和艺术的追求,让他成为名副其实的首位 Python 程序员。 路德维希·维特根斯坦:天才 Haskell 程序员 维特根斯坦犹如苏格拉底的辩经,深刻地革命了西方哲学。他的札记般的哲学著作《逻辑哲学论》堪比逻辑学艰深的研究生数学读本。维特根斯坦指出语义和符号形式是一切这些问题的根源,剩下的都可明确地归为科学的范畴。依靠纯逻辑,他推导出语言内在的歧义性决定了哲学不过是在重复它自己,并且以这句“但凡不可言所,务必保持沉默”的旷世名言结束了本书,同时声称解决了所有的哲学问题。 维特根斯坦是天生的 Haskell 程序员。Haskell 不是第一门函数式编程语言,而是在 80 年代后期出现的,并被视为最为重要的函数式语言。Haskell 并不是适合所有人,就像《逻辑哲学论》一样。如维基百科中所写,它有严格的数学和逻辑形式。Haskell 是纯函数式程序语言,它重新定义了程序员使用抽象数据类型的方式,正如维特根斯坦像苏格拉底的辩论法一样,革新了现代西方哲学。 上面这些听起来也许有点奇怪,但是对程序员来说,很容易意识到它们之间深层次的联系,但我不确定哲学家们是否持有相同的观点。无论如何,至少是现在可以理解,为什么在维基百科中每一篇关于程序语言的文章中,都有“语言哲学”这特别的一节。 |