1樓：小熊貓轟炸機
@邵成 說的 type class問題，個人覺得是因為OCaml 暫時不支援higher-kinded polymorphism，不過去年出了這篇文章：https://
ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf
。OCaml 的 module language是可以用來模擬 type class 的，因為 module language 需要 explicit type annotation。這篇文章是講怎麼往core language上加higher-kinded polymorphism。
2樓：naizhengTan
我覺得區分整數加法和浮點加法其實是乙個優勢，嚴格的type系統大大降低了出現bug的可能性，大大的！如果你寫過較大的程式就會懂，編譯過就不用debug的舒爽ˊ_>ˋ
要說OCaml的缺點的話，就是有點慢吧……
MeeGo 系統有什麼缺陷？
個人覺得Meego在體驗上是不錯的。但是諾基亞主推WP，Meego不知道還能不能被支援下去。另外，從N900不錯的使用者體驗反響，我個人推測諾基亞還是猶豫Meego和WP的。所以猜測這次N9在一方面是試水系統，另一方面是手機外觀的先入為主。Meego這尊貴族系統在應用上再積蓄一兩年，估計其優勢才能顯...
德語有哪些缺陷？
Ollebocip 所謂缺陷都不是缺陷。隨便舉幾個例子。1.Sie sind freundlich.看似sie和Sie沒法區分。那麼既然沒法區分，沒有語境時就要變換行文以求精準 Die sind freundlich.Es ist freundlich von Ihnen.2.Das Kind si...
intp的性格缺陷有哪些？
克服性格缺陷 1.感知他人的情緒 這點非常重要的 對我來說就是路漫漫其修遠兮 要把握住那個人是想要你的情緒安慰還是你分析問題的能力2.某些時刻要拒絕自己的完美主義 因為完美主義喜歡把事情做好充足準備再開始動工，而此時往往會被死線追趕 所以我就提醒自己，先做完比做一半更好，沒動工的完美準備還不如你做一...