讓我在這篇文章總結一下前面對物件導向設計的討論，我們討論了物件導向的四個特性：繼承、抽象、多型、封裝，分析了它們的問題，並跟函數式編程的思維做比較。我們引入了與之相對應的特性：泛型、特性系統、模組化，有些特性雖然跟那四個特性很像，但在一些細微的地方有不同的詮釋，使得整體思考方式很不一樣。



「繼

學習

職場

音樂藝文

以行動支持創作者！付費即可解鎖

軟體開發

物件導向不好用

承接上一篇文章，現代的物件導向已經走偏了，他就像null pointer，很容易出現不好的設計。自從我深入學習函數式編程後，漸漸發現物件導向的不合理的設計，而學習rust之後更讓我開始討厭物件導向，rust幾乎把所有我認為不好的地方都修正了。這個系列的文章我將會一一比較物件導向與rust的差異。這篇

少用繼承，多用介面

物件導向程式語言的類型系統總是不合理的，這些程式語言承襲至舊的語言不好的特性，而人們並沒有意識到它的問題，或者比起健全(soundness)它們更注重熟悉(familiarity)。多數的物件導向程式語言都源自c/c++，而c++有太多糟糕的設計，然而同一時期出來的Haskell卻很少有類似的問題。

閱讀書評

悅耳的類型系統

寫上一篇文章時我意識到，類型，類別，型別這幾個詞在物件導向當道的現代變得有些模糊，常常會不小心當成是物件導向的類，但我指的其實是資料類型。在英文中，我常常這樣區分它們：物件導向的類是class，代表的是抽象的物件模型，而類型是type/data type，代表的是實際的資料結構。正如上一篇文章所說，

定義資料類型而非類別

在現代，物件導向雖然仍是主流，函數式慢慢得到關注。物件導向並不適合所有的程式邏輯，但在像是Java的物件導向的程式語言中，幾乎所有值都被當作物件，因此在一些情境下Java寫起來會非常冗余。物件導向流行的原因大概是因為它的思考方式比較符合我們對於世界的認知，但邏輯推理與解決問題的方式卻不一定符合我們的

物件導向是什麼

物件導向設計的一個重點就是封裝，這有很多層面上的意義，但基本上就是控制物件的成員變數和方法的存取權。物件導向的封裝還跟繼承機制有關，這使得有一些時候我們逼不得已必須把函式定義在類別上，這種做法使得物件的功能變得難以拆解。封裝應該是模組的職責，並不需要再給物件相同的能力。



一般的模組系統就是把相

封裝與依賴隔離

前面談了那麽多函數式編程與物件導向的差異，但我們還沒定義函數式編程。就像物件導向，函數式編程沒有明確的定義，每個人對於什麼是函數式編程都有不同的看法。在這裡我會總結前面的討論，給出我對於函數式編程的觀點。



物件導向注重封裝與延展性，因此一般基於三個機制：繼承、多型、封裝，它們代表了物件導向所重

所以函數式編程是什麼（ㄧ）

這個系列的文章主要專注於物件導向到函數式編程的差異與分析，並針對概念與機制上的不同進行比較。很多人說物件導向和函數式編程沒有哪個比較好的問題，只有哪個比較適合的問題，然而我並不這麼認為，我透過這一系列的文章從各個角度討論它們之間的優缺點就是為了闡述我的觀點。物件導向錯在沒有理論基礎，但它贏在熟悉性，

函數式編程之後

前一篇文章中所提的函數式的三個機制明確說明了它關注的規則與能力具體是什麼。然而這套對於函數式編程的定義主要基於特定的類型系統，作為一個編程範式來說過於狹隘（物件導向的定義也是這樣）。更廣義的，我認為函數式編程主要依循三個原則，它們可以應用於任何程式語言，就算沒有靜態類型系統的支援也可以。例如在不管類

所以函數式編程是什麼（二）

說到物件導向就必須提五個原則，統稱SOLID，它被認為是物件導向的重要概念。這五個原則並不只適用於物件導向，事實上它很像函數式編程的習慣。它的命名很奇怪且容易讓人混淆，所以我會用我自己的翻譯解釋。



Single Responsibility Principle 是「單一職責原則」，認為一個模組

物件導向的SOLID

這不是教你如何從物件導向到函數式編程的入門教程。我會深入探討物件導向與函數式編程的差異，並討論為什麼你應該使用函數式編程並徹底放棄物件導向。

從物件導向到函數式編程的深入解析

目前尚無內容