Algebraic Data Types and Abstract D

Algebraic Data Types and Abstract Data Types
In the previous discussion the Option interface has only two valid implementing types:
Some and None. Mathematically, Option is an algebraic data type, which for our purposes
means that there can be only a few well-defined types that implement the abstraction
. It also means that there are well-defined rules for transitioning from an
instance of one type to another. We’ll see a good example of these transitions when we
discuss to confuse) concept is the abstract data type. This is already familiar from object-oriented programming, where you define an interface for an
abstraction and give it well-defined semantics. The abstraction is implemented by one
or more types. Usually, abstract data types have relatively little polymorphic behavior.
Instead, the sub types optimize for different performance criteria, like search speed vs.
update speed. Unlike algebraic data types, you might make these concrete classes private and hide them behind a factory, which could decide which class to instantiate
based on the input arguments, for example.
A good example of an abstract data type is a map of key-value pairs. The abstraction
tells us how to put new pairs in the map, query for existing pairs, remove pairs, etc.
To compare these two concepts, an algebraic data type like Option constrains the number of possible sub types that implement the abstraction. Usually these sub types are
visible to users. In contrast, an abstract data type imposes no limit on the possible
sub types, but often those sub types exist only to support different implementation goals
and they may be hidden behind a factory.

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

Kiểu dữ liệu đại số và dữ liệu trừu tượng loạiTrong các cuộc thảo luận trước đó giao diện tùy chọn có chỉ có hai loại hợp lệ thực hiện:Một số và không có. Toán học, tùy chọn là một dữ liệu đại số nhập, mà cho các mục đích của chúng tôicó nghĩa là rằng có thể có chỉ một vài được xác định rõ loại mà thực hiện trừu tượng. Nó cũng có nghĩa là rằng không có các quy tắc được xác định rõ cho chuyển tiếp từ mộttrường hợp của một loại khác. Chúng ta sẽ thấy một tốt ví dụ về các quá trình chuyển đổi khi chúng tôithảo luận về để gây nhầm lẫn) khái niệm là kiểu dữ liệu trừu tượng. Điều này là đã quen thuộc từ lập trình hướng đối tượng, nơi bạn xác định một giao diện cho mộttrừu tượng và cung cấp cho nó cũng xác định ngữ nghĩa. Trừu tượng được thực hiện bởi mộthoặc thêm các loại. Thông thường, các loại dữ liệu trừu tượng có tương đối ít các hành vi bướu.Thay vào đó, các loại tiểu tối ưu hóa cho hiệu suất khác nhau tiêu chuẩn, như tìm kiếm tốc độ vs.Cập Nhật tốc độ. Không giống như kiểu dữ liệu đại số, bạn có thể làm cho các lớp học cụ thể riêng và ẩn đằng sau nhà máy có thể quyết định mà lớp để nhanh chóngDựa trên đầu vào đối số, ví dụ.Một ví dụ của kiểu dữ liệu trừu tượng là một bản đồ của các khóa-giá trị cặp. Trừu tượngcho chúng ta biết làm thế nào để đặt cặp mới trong bản đồ, truy vấn cho hiện tại cặp, loại bỏ cặp, vv.Để so sánh hai khái niệm, một kiểu dữ liệu đại số giống như tùy chọn buộc số tiểu thể loại mà thực hiện trừu tượng. Thông thường các loại phụ làHiển thị cho người dùng. Ngược lại, kiểu dữ liệu trừu tượng áp đặt có giới hạn về có thểtiểu loại, nhưng thường các loại phụ tồn tại chỉ để hỗ trợ mục tiêu khác nhau thực hiệnvà họ có thể được ẩn đằng sau một nhà máy.

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

Các loại đại số dữ liệu và các loại dữ liệu Tóm tắt
Trong các cuộc thảo luận trước đó giao diện Tùy chọn có chỉ có hai loại thực hợp lệ:
Một số và None. Về mặt toán học, Option là một kiểu dữ liệu đại số, mà mục đích của chúng tôi
có nghĩa là chỉ có thể có một vài loại được xác định rõ rằng thực hiện trừu tượng
. Nó cũng có nghĩa là có những quy tắc được xác định rõ việc chuyển đổi một
thể hiện của một loại khác. Chúng ta sẽ thấy một ví dụ tốt về những hiệu ứng chuyển tiếp khi chúng ta
thảo luận để gây nhầm lẫn) khái niệm là các kiểu dữ liệu trừu tượng. Điều này đã quen thuộc với lập trình hướng đối tượng, nơi bạn định nghĩa một giao diện cho một
khái niệm trừu tượng và cung cấp cho nó ngữ nghĩa được xác định rõ. Sự trừu tượng hóa được thực hiện bởi một
hoặc nhiều loại. Thông thường, các kiểu dữ liệu trừu tượng có hành vi đa hình tương đối ít.
Thay vào đó, các loại phụ tối ưu hóa cho hiệu suất tiêu chí khác nhau, như tốc độ tìm kiếm so với
tốc độ cập nhật. Không giống như các kiểu dữ liệu đại số, bạn có thể làm cho các lớp bê tông tin và giấu chúng đằng sau một nhà máy, trong đó có thể quyết định đó cấp để nhanh chóng
dựa trên các đối số đầu vào, ví dụ.
Một ví dụ điển hình của một kiểu dữ liệu trừu tượng là một bản đồ các giá trị quan trọng cặp. Sự trừu tượng
cho chúng ta biết làm thế nào để đưa cặp mới trong bản đồ, truy vấn cho các cặp hiện có, loại bỏ cặp, vv
Để so sánh hai khái niệm này, một kiểu dữ liệu đại số như Lựa chọn làm hạn chế số lượng các loại phụ có thể là thực hiện trừu tượng. Thông thường, những loại phụ là
có thể nhìn thấy người sử dụng. Ngược lại, một kiểu dữ liệu trừu tượng không áp đặt giới hạn về thể
loại tiểu, nhưng thường là những loại phụ chỉ tồn tại để hỗ trợ các mục tiêu thực hiện khác nhau
và chúng có thể được ẩn đằng sau một nhà máy.