We are accustomed to saying that in

We are accustomed to saying that instances of a class can only have certain valid states
and state transitions. Notice that algebraic data types are making the same kinds of
assertions about types themselves, imposing a rigor that helps us think about allowed
representations of state and transitions from an instance representing one state to an
instance representing another state.

Kết quả (Việt) 1:

Chúng tôi là quen với nói rằng trường hợp của một lớp học có thể chỉ có một số kỳ hợp lệvà nhà nước quá trình chuyển đổi. Thông báo rằng kiểu dữ liệu đại số đang làm cho các loại tương tự củakhẳng định về loại bản thân, áp đặt một sự chặt chẽ giúp chúng ta suy nghĩ về cho phépđại diện của nhà nước và quá trình chuyển đổi từ một thể hiện đại diện cho một nhà nước để mộtVí dụ đại diện cho tiểu bang khác.

Kết quả (Việt) 2:

Chúng tôi đã quen với việc nói rằng trường hợp của một lớp chỉ có thể có một số tiểu bang hợp lệ
và chuyển trạng thái. Chú ý rằng các loại dữ liệu đại số đang làm cho các loại cùng một
khẳng định về kiểu tự, áp đặt một sự chặt chẽ giúp chúng ta suy nghĩ về cho phép
đại diện của nhà nước và quá trình chuyển đổi từ một thể đại diện cho một nhà nước với một
ví dụ đại diện cho tiểu bang khác.