1樓：左元
Haskell的語法比OCaml要漂亮一些。type class也比module語法看著更舒服。還有比如list comprehension這樣的語法糖。
2樓：藥罐子千里冰封
因為 modular implicits 還！沒！合！並！而且現在的 OK 貓加上這功能，社群也要花一定的時間遷移 (參考 C++ 引入模組系統)。
都是辣雞，不如 Arend
3樓：祖與佔
不確定 OCaml 是否比 Haskell 流行, 但是在工具鏈和社群發展時間點上 OCaml 肯定是比 Haskell 落後了一步, 雖然現在哪個更好也不好說 (
Haskell 的 build system 和包元資訊規範 Cabal (勉強算包管理工具), 還有中心化包託管 Hackage 分別在 2005 年和 2007 年出現. 而 OCaml 相對應的 dune 和 OPAM 2013 年才發布, 中間還有 GODI 這種"內耗".
不過這幾年 Jane Street 和 Facebook 在 OCaml 社群影響力逐漸變大, dune 沒記錯的話也是 Jane Street 開發貢獻給社群的, Rescript (之前的 ReasonML + BuckleScript) 也會吸引不少新使用者. 還有OCaml Labs (也是 Jane Street 贊助) 開發各種前沿專案, OCaml 的多核支援也在路上. 完全有種迎頭趕上的節奏.
作為乙個 Haskell fanboy 想說: 有錢真好啊.
4樓：遊客賬戶0x0
哪門語言寫著舒服是個視乎個人感覺和信條，以及應用場景的事情。像我就覺得OCaml寫著更爽，因為OCaml的語義（核心部分）和執行順序等都是所有語言裡最deterministic和清晰的之一，加上我不是anti-mutability-ism，而是支援mutability的適度使用的，所以OCaml就很對我胃口。但是另乙個人完全可以覺得Haskell更強的type system表達抽象更加愉快，laziness支援無限結構寫起來更優雅，這是個人口味的問題。
但Haskell有個額外的bonus，那就是Haskell的設計理念裡「先進」的比重是更大的，對於各種新技術新特性的態度是更激進的，整體離最前沿的成果也是更近的（尤其在type system方面。OCaml也有type system上的先進功能，但一般是Inria的人根據反饋自產自用，或者比Haskell稍滯後一些，比如GADT）。所以Haskell更「酷」，在使用體驗相近的情況下，Haskell更刺激，更能開拓你的眼界。
究竟有沒有學習OCaml的必要？
題主真是身在福中不知福啊，之前有關注過這門課，要知道前兩年這門課還是 Robert Lee Constable上的。CS 3110 Fall 2013 Robert L.Constable是誰呢？Robert L.Constable的老師叫 Stephen Kleene，Stephen Kleene...
為什麼沒有文采？
飛仙 口語表達與書面表達，還是有很大區別的。人們一般認為，那些生活中能說會道，甚至伶牙俐齒的人，反應機警，思維靈敏，甚至語言風趣幽默，被認為很有語言表達的天賦。其實，孰不知，話嘮一旦落筆，形成文字表達，就相形見絀了。這是因為 話嘮重在表達的口語快感，像機關槍一樣 突突 只顧快了，其實仔細品味他講的話...
為什麼沒有對比就沒有傷害
愛吃魚的貓 因為你自己沒有知足常樂，也沒有接受自己自身所有的優缺點，沒有把目光放在自己身上。沒有準備成為最好的自己的勇氣。所以才會對比。 尋找123 你為什麼會認為他對待你和對待別的女生是一樣的了？其實不在男生如何做，而是你要覺知到你的內心對他公升起了期望他對你好的慾望。當這種慾望得不到滿足的時候你...