Loại đục trong Elm là gì và tại sao nó có giá trị?

Question

Tôi đã sử dụng các loại trước đây nhưng không biết loại đục là gì. Tôi đã nhìn thấy nó được đề cập là tốt. Tốt hơn là để lộ một loại đục hơn là một loại bí danh?

Answer 1

Hãy trả lời câu hỏi này trước tiên bằng cách xem bí danh loại:

Bí danh loại là hoàn toàn minh bạch. Điều này có nghĩa là bất kỳ mô-đun nào khác nhập khẩu nó sẽ có quyền truy cập đầy đủ vào các hoạt động bên trong của nó. Hãy nói rằng chúng tôi đã có một module User phơi bày một loại User:

module User exposing User 

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

Bất cứ ai nhập khẩu User có thể thao tác dữ liệu, ví dụ newUser = { oldUser | age = 25 }. Hoặc làm someUser = User "Bill" 27. Các thao tác này là tốt khi bạn kiểm soát được ngữ cảnh mà chúng tồn tại.

Tuy nhiên, nếu User là một phần của thư viện thì mọi thay đổi đối với loại User là sự thay đổi đột phá đối với những người sử dụng thư viện. Ví dụ: nếu trường email được thêm vào User, thì ví dụ về hàm tạo (someUser = User "Bill" 27) sẽ cung cấp lỗi trình biên dịch.

Ngay cả bên trong một codebase của dự án, một bí danh loại có thể cung cấp quá nhiều thông tin cho các mô-đun khác dẫn đến mã khó duy trì và phát triển. Có lẽ User thay đổi đáng kể tại một số điểm và có bộ thuộc tính hoàn toàn mới. Điều này sẽ yêu cầu thay đổi bất cứ nơi nào mã thao tác User s.

Loại đục có giá trị vì chúng tránh những vấn đề này. Dưới đây là phiên bản mờ của User:

module User exposing User 

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

Với phiên bản này, các mô-đun khác không thể truy cập hoặc thao tác trực tiếp dữ liệu. Thông thường, điều này có nghĩa là bạn sẽ thực hiện và phơi bày một số phương thức getter và chức năng:

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

Đây là công việc nhiều hơn, nhưng nó có ưu điểm: module

• khác chỉ quan tâm đến các User chức năng và không cần phải biết những gì dữ liệu trong các loại
• các loại có thể được cập nhật mà không phá vỡ mã bên ngoài module chứa

---

Hầu hết lời giải thích này xuất phát từ @wintvelt: elmlang.slack.com