什麼是榆樹中的不透明類型，爲什麼它很有價值？

Question

我以前使用過類型，但不知道不透明類型是什麼。我也看到它也被提及。公開不透明類型比類別別名更好？

Answer 1

讓我們首先看類型別名回答這個問題：

類型別名是完全透明的。這意味着任何其他導入它的模塊都可以完全訪問其內部工作。比方說，我們已經有了一個User模塊露出User類型：

module User exposing User 

type alias User = 
    { userName : String 
    , age : Int 
    } 

任何人進口User可以操縱數據，例如newUser = { oldUser | age = 25 }。或者做someUser = User "Bill" 27。當您控制它們存在的上下文時，這些操作很好。

但是，如果User是庫的一部分，那麼對User類型的每次更改都會對使用該庫的人造成重大改變。例如，如果在User中添加了email字段，則構造函數示例（someUser = User "Bill" 27）會給出編譯器錯誤。

即使在項目代碼庫的內部，類型別名也可以向其他模塊提供太多信息，從而導致難以維護和發展的代碼。在某些時候，User可能會發生急劇變化，並具有一組全新的屬性。無論代碼如何處理User s，都需要進行更改。

不透明類型是有價值的，因爲它們可以避免這些問題。下面是User不透明版本：

module User exposing User 

type User = 
    User 
     { userName : String 
     , age : Int 
     } 

在這個版本中，其他模塊不能直接訪問或操縱數據。通常情況下，這意味着你將和揭露一些getter和功能：

initUser : String -> Int -> User 
userName : User -> String 
age : User -> String 
setAge : Int -> User -> User 

這是更多的工作，但它的優點：

• 其它模塊只關心User功能，不需要知道的是在類型
• 類型可以不破壞模塊包含

---

之外的代碼更新哪些數據210

這在很大程度上解釋來自@wintvelt：elmlang.slack.com