怎麼看待王垠對 Haskell 的評價?

時間 2021-05-11 20:15:45

1樓:楓華螢火

在一段時間認為是錯的東西,可能卻是對的。所以不用盲目的排斥一些語言,把它們都拿來看一下,互相對比,才會知道到底什麼是好的。

君子不器。他要表達的核心其實是這個。

2樓:沈哲宇

一邊口口聲聲說haskell不適合平行計算,一邊只口不提haskell的軟事務記憶體(STM)。建議王某人有空認真學習一下STM,體會一下lock-based concurrency 的deadlock有多麼痛苦,composability有多麼的爛,維護起來有多麼的費事,順便再反思一下自己之前是不是太小看monadic IO了。

3樓:陳劫持

他根本沒有用Haskell解決過實際問題,所以根本不懂haskell, 他就是個看看這個語言看看那個語言的"博學家", 而他列舉的那些缺點,都是haskell故意設計. 為了解決實際問題的. 總結就是他連門都沒入, 很多也不懂的人會受他的言論影響, 我建議你們用個幾年,來解決實際問題, 然後再來思考haskell的那些特性.

4樓:

王垠說的原話是"可是學習程式設計總要從某種語言開始。那麼哪種語言呢?就我的觀點,首先可以從 Scheme 入門,然後學習一些 Haskell (但不是全部),之後其它的也就觸類旁通了。"

後來他也覺得Haskell不適合沒有程式設計經驗的初學者.

對於沒有學過程式設計的人來說Haskell的確不是乙個好的選擇. 但對於有Imperative程式設計經驗但沒有Funtional Programming經驗的人,Haskell是一門值得學習的非常優美的FP語言.

5樓:石志尹

對於Haskell,我是這樣想的:只有走到A的極端的人,才能真正掌握A。若果不是,那麼就是要麼是片面,要麼是人云亦云的。

Haskell是函式式的極端,對比於現界流行的語言,還是很值得學習的。所以對於「不再推薦Haskell"的觀點,我是持相反態度。

6樓:Liigo

支援陳甫鵃的答案,選擇傾向於王垠的觀點。本來想學Haskell的,等等吧。我認為,無論學什麼東西,都要以實用性為目標。

不利於解決實際問題的程式語言,我不支援。學著玩兒?您開玩笑吧。

7樓:陳甫鵃

作為乙個老牌 Haskell 黑,我得說王垠的看法我基本認同。五六年前,我就一直說Haskell的語法和型別系統是走了一條不求解決問題但求彰顯思想的邪路。對乙個嚴肅的工程師來說,如果目的不是學習而是工程,那麼Haskell不是他/她應該去關注的語言和社群。

如果真的關注實用化函式式程式設計,Scheme是更好的選擇。

不過反過來說,我認為咱們大多數人在型別系統的研究上根本達不到王垠的深度,他的很多指責恐怕很多人都不會真的理解。比如他說的惰性求值和平行計算的矛盾,我就不甚了了。站在這個立場看,我的態度是:

如果你已經選擇了Haskell,那就接著學好了。如果你想捍衛你心目中的完美語言,起碼得比你的對手更了解它。

如果你還沒選擇Haskell,而你認為王垠的學識是你信得過的,那麼我建議你遠離Haskell。世上程式語言很多,沒必要在一棵樹上吊死。

如果你還沒選擇Haskell,而你認為王垠的學識你又信不過,那麼就看你自己有沒有時間去學。這裡沒有信條沒有宗教,做自己的決定比信什麼結論都重要。

8樓:

王垠的這篇文章並不適合作為初學者的參考。因為王的理由涉及PLT學術爭端,而爭端必然有不同的意見,而王垠的文章只有他自己的一面說法。對於這些學術爭端,也只有你去深入學習了解,才可能明白。

這樣初學者就陷入乙個悖論,如果你要分析評價王的文章,必然需要對haskell和type theory有一定了解。但你如果聽王垠的結論,則又放棄在這兩方面的學習。

所以,把王垠文章涉及的理論關鍵字挑出來自己去了解,忽略他(和上面其他人)的結論。

如何看待王垠的2020新年寄語?

2gua 追求內心強大的人,有自己的活法,執著堅持,讓自己感到心安,那就可以了。至於別人怎麼看?幹嘛這麼多人自己還有諸般問題沒解決卻去操這般閒心呢? 他的思想體系還沒理順。還需再碰個一二鼻頭,吃個一二只鱉。要麼資本教他做人,要麼他降伏資本功德圓滿。現在他還沒認清資本每個毛孔裡都他娘的是啥。 雖然邏輯...

如何看待王垠的文章 《所謂「成功」》

sinfere 我看到了乙個高票評價的最後兩段話,忍不住說幾句 我說王垠要等到他自己死去,是因為他自己其實也很不幸地屬於他自己劃定的愚昧的人。他一方面不喜歡被別人打分,但另一方面又忍不住要用自己的價值尺度去衡量別人給別人打分。用自己的尺度評價其他人是很正常的,這簡直是乙個基本常識,包容不是不評價。他...

怎麼看待王源人設?

sky 團粉了這麼多年,要說人設可能前幾年有但不成功,後來他開始自己打破人設,成熟了,也有底氣做自己了,就開始關注他,發現真的很不錯,都快成團粉中的唯粉了 烊烊很OK 我花了七年時間陪他長大都不敢說自己有多麼了解他更不敢說他的真實性格是什麼樣的 你憑乙個動作乙個眼神一句話一件事去了解他然後把他定義成...