為什麼 Belleve的答案總是那麼高大上,想理解他的問題答案，需要哪些領域知識和前置知識？

01-12

RT.....編程相關答案各種高大上...之前覺得他的答案根本沒法理解.後來他對某個問題A的回答,在我看了書B後,終於覺得能看懂了.而且他答的很好:)So...就有這麼一個問題問問....
對這位聚聚的編程經歷也比較好奇^_^

。同桌。。。在他睡覺的時候偷看過他的書包括但不完全：

《有機化學》

（化學相關不提。。我也看了一點。。根本看不懂好嗎？。。就是看個圖片好看。。

《演算法導論》

（沒錯。。我最早接觸 CLRS 這本書正是在這裡。。。

《演算法概論》

（。。唯一看懂的地方就是裡面的 Karatsuba 演算法（分治乘法。有時可以替代 FFT。。）

《禪意花園》

（。。。一本講前端設計的書。。。似乎她中學的時候做過很多網站。。。

（還是一個幾何畫板的網站的站長？。。。

《JavaScript 王者歸來》 by 月影

（於是在我們上課擺弄演算法題的時候。。他在調試書中的小例子。。。

《JavaScript 語言精髓與編程實踐》by 周愛民。。。

（一本講述 JavaScript 語言源流的書。。

（.。。正是因為這本書中多次提到《人月神話》。。我才跑去入的《人月神話》。。。

程序設計語言原理 (豆瓣

（可見在那個時點。。。他就已經萌發了設計一門新的語言的念頭了。。

《精通正則表達式》。。。

（.. 到現在我也才會點皮毛。。。有一次他還不知道從哪裡弄來一本 4000+ 頁的。。。

（。。。化學元素什麼什麼大全。。第 70+ 版。。磚一樣。。。這輩子沒見過這麼厚的書。。

《大話設計模式》

（。。。後來又嫌不足。。弄來了 GoF 原版。。。

————————————————————

。。上面的都是很久以前了。。。。你要想像一下這是在高中啊！！

。。。有一次和 LDX（他不上知乎）聊到書裡面的東西。。。

。。他就讓我少看這些邪道。。= =。。。不過我還是始終按捺不住好奇！！。。。

。。。。事實上他對自己周邊絕大多數的同學和事物都不關心。。。。。

。完全沉浸在自己的研究領域中。。走路的時候會突然停下來。好像想到了什麼東西。。

。。。。所以歸納一下。。Belleve 涉獵過的東西廣而深。。。。

。。而且內容又都十分超前。。而且。。他寫的東西實際上的目標讀者又只有自己。。。。

。。和他順利的交流有時是要消耗不少腦細胞的。。。。。哈哈。。但經常能得到不少啟發。。

（。。比如我最近用他在設計 Linux 字體時出現的實際問題來出演算法題ww

（。。 hihoCoder #5。。

。。所以想看懂他的東西的唯一方法就是：。。成為 Belleve。

。。這是不可能的。。。不過你至少可以讓自己稍微的接近一下他的一些領域。。。

。。。。我為了做到了這一點、而為自己感到慶幸。！。。

從現在他的答案來看，答主還需要掌握基本的數理邏輯和類型理論，還要至少熟練掌握一個 proof assistant。。。

最好還要會一門函數式，最好是 idris

和字體方面的基本知識。。

真是越來越難了

USTC LUD的時候和Belleve兄聊過，感覺Belleve兄所知甚廣。

Belleve兄現在應該還在科大讀化學碩士，準備讀完出國CS。

所以想讀懂他的答案，離散數學/Chem/HPC/Node都得懂一些，至於紮實的編程基礎這個就不用說了。

啊咧，我贊同他 129 次，感謝他 5 次，然後被他拉黑了……

搬運評論:

如果有一些基本的數理邏輯的基礎，可以從這個開始：

程序設計語言的形式語義 (豆瓣)

然後看

Types and Programming Languages

你自己的命得是能成為一條數學家或者演算法大拿的命。

不然的話，告訴你相關知識了，你也學不會。

我就不是學數學的命，所以很遺憾地沒能看懂任何 Belleve 秀給我看的程式碼。

# EOF.

等你能像他一樣寫一個編譯器的時候，你就能理解他在計算機領域的回答了