1樓：
在學習 PL 理論時，Parsing，AST， ABT 之類的語法層面的知識自然是值得學習的，例如 PFPL 裡就花了兩小節講解了 Abstract Syntax 的定義及性質（
2樓：捉木馬的藍胖紙
為Coq過來說一下，Coq不是個語言，不能跟Haskell並列。Coq是用Ocaml寫出來的乙個平台，比較常見的應用是做verification。如果真的說Coq裡面用的語言，那麼應該是Gallina (A specification language of Coq).
額，都是雞雖然（霧）。
至於Gallina麼，Coq是乙個來自數學領域的工具，驗證乙個系統必然涉及到建模。描述系統最好是自己去定義語法，因為每種系統特點不一樣，比如驗證電路和驗證web應用適合建模的語法肯定會有所差異。
3樓：DeepDiver
寫過幾門語言的paser，包括ttcn3，asn.1，verilog，c等，覺得王垠說得很有道理。parser實在不能算是個多麼高門檻的東西。
4樓：Horky
文章裡說錯什麼了嗎？只是換了個巨集觀的角度看問題。設計抽象實現，從整體看問題，定下策略。
實現中完善設計，豐富對問題的理解，當然也可以修改設計。如果直接陷入技術細節，很容易陷入只見樹木，不見森林的境況。
兩者之間沒有衝突，應該是互為補充。
5樓：技術人成長
王垠google實習的領導對他的評價、清華退學時老師對他說的話、美國博士導師對他的評價等等都讓我覺得他太牛，一般人根本沒有能力評價他，難道那些評價是王自己杜撰的？還是那幾個近距離接觸他的人腦子進水？
6樓：
我想他的意思是很多語言的無意義的功能導致無意義的複雜的Parser，看看他就要出的yin語言，才不需要這樣複雜的Parser呢。
7樓：
Parser 表面看是計算機語言解析的第一步，長遠點看則是語言包括人類自然語言解析的一種方法。更根本的，基於BNF甚至更低層次的各種正規化的解析和構造，可以用在包括計算機、自動化、語言學等很多領域。只看到計算機語言解析，將其與ZIP相提並論，只能說作者的格局太受限了。
8樓：Belleve
既然王先生說寫出了 js 的 parser，那他能不能說明下分號插補他是怎麼處理的。
別以為 Corner Case 就好做，有時候這些東西才要人老命。
9樓：白喬
原文說:
能寫parser並不是什麼了不起的事情，其實它是非常苦逼，真正的程式語言和編譯器專家根本不屑於做的事情。
那就用antlr好了，說半天幹嘛呢？？？
我真的覺得，寫乙個專用的analyzer沒什麼意義，除了練手，或者語法確實足夠奇怪╭(￣▽￣)╮
10樓：四月一日君尋
他所推崇的理念，簡單就是美。他了解計算機的運轉本質，他嘗試從設計的角度，告訴你乙個好的parser應該如何如何…這其實是一種突破…
11樓：
其實我是不太明白了，乙個 PhD 水平的人，整天拿著本科的書說事，是幾個意思……？要不我把我的 Peskin 改個名叫普通物理然後給他看看？
12樓：羅宸
1. 不管你們怎麼噴，王垠對大學編譯原理課的吐槽是真的一針見血。
2. 文人相輕，大家熱鬧看夠了就散了吧，沒必要挖苦別人。
3. 不知你們讀過他的那篇關於一場車禍的文章沒有，我覺得我從這篇文章讀到的是乙個有社會責任感，能看到問題癥結的王垠。我覺得噴他的很多人裡並沒有這些值得我讚嘆的品質。
4. 人都會遇到自己能看見卻無力解決的問題。看到了，雖然不一定能以當前的能力去解決問題，但說出來總歸是好的，好歹比那些看著別人往坑里走也不吭聲的人強...
5. 記得魯迅曾經評價屈原是「不得幫忙的不平」，王垠又何嘗不是呢。雖然先生的原意是諷刺屈原的，但我覺得因「不得幫忙」而「不平」的人，是真性情的人，至少比「不得利益而不平」的人好得多...
6. 最後雞湯一下。上帝把每個人的缺點裝進乙個口袋掛在了每個人的背後，於是我們每個人總是先看到別人的缺點。共勉
13樓：
毫無新意，這篇文章裡面所有的觀點，都是他已經重複了不知道多少次的。
作為乙個方向完全不在PL或者編譯的鶸，在我看來，parser並不只是針對程式語言的，在更廣泛的意義上，更複雜的語法帶來的表達能力或表達難度確實是有實際意義的（至少看上去有）。我無根據地相信這些成果是和早期對PL方面的認識有關的，並且不是持有wy這種信仰的那些人搞出來的。
至於龍書，我不是這個方向的，不知道到底好不好，但是：
龍書正文裡面似乎確實沒有很難很深的東西，或者我沒注意或者見識淺薄看不出來？
龍書留給parser的部分似乎只有前1/3，如果真的是以龍書為教材，為什麼會把2/3的課程時間放在parser上？
如果編譯原理課需要把大量的時間都浪費在各種自動機上，老師和學生至少有一方能力或者態度似乎有問題。實現DFA,NFA,NFA to DFA, LL(1), LR(0), SLR之類的「演算法」是純粹的體力活。
我上z老師課的時候，感覺老師確實講的比龍書上透徹清晰很多，當然也可能只是我更適應z老師的講課風格。
14樓：RaoJi
大學的時候也研究過龍書山寨過lex，然後用它來生成parser交作業，大多數人不需要他文章裡描述的那種高度，又不是所有人是靠研究編譯器吃飯。寫好parser至少能提高自己理解抽象，實現抽象的能力，我覺得就夠了。
15樓：MaskRay
推薦 Parsing Techniques: A Practical Guide (2nd edition)
好玩的東西還是挺多的，不過確實像是邊角餘料少有人喜歡的樣子……
16樓：蕭井陌
那一段髒活丟給碼奴的想法還是很不錯的，不過我是覺得30多的老人還要寫這種文章澄清自己的想法有點憋屈……
但其實優化和機器碼生成也是雜活呀……
王垠的《談談Parser》是在回應 winter 嗎？
囧，難道沒人覺得王垠這篇文章寫的基本都是正確的嗎。寫Parser確實是非常煩人無聊的事情，幾乎就是體力活啊。拿到AST之後的事情對比Paring就是享受啊 毛草 這文章的論據煞筆麼。不同的程式語言 語法模式存在的目的是為了能更精確更簡潔的表達程式設計師需要的思路，什麼就叫做 多餘 沒用 增加學習難度...
王垠是個怎樣的人？
楊天 沒有linus的成就，跟linus乙個脾氣。牆上蘆葦，頭重腳輕根底淺 山間竹筍，嘴尖皮厚腹中空。熱愛技術，就認真做技術吧。 ga6840 我不是專業的，但想說一點自己的看法 可能上公升不到評價他的水平，所以有些偏題 雖然我不一定贊同王垠的觀點 很多都是與主流觀點背道而馳 但是他有個感悟我真的太...
王垠會怎樣度過他的一生？
現在的知乎全是無知的學生和低端人才濫竽充數。什麼人都能開專欄，找些新聞加工一下就想騙關注。這一切都為了一件事 發軟文賺錢。平台利慾薰心，言論管制，已經銅臭腐敗了，沒必要再繼續呆了。這裡遲早淪為軟文根據地，以及誤人子弟的網路教學課堂。 kidfruit 他智商較高，情商較低，乙個人可以是個戰神，但跟其...