Các đối số nào cho và chống lại cả hai tên tương đương và tương đương cấu trúc?

Question

Trong vòng kết nối thiết kế ngôn ngữ, có một cuộc tranh luận kéo dài về việc liệu ngôn ngữ có nên sử dụng structural equivalence hoặc name equivalence hay không. Các ngôn ngữ như ALGOL hoặc ML hoặc Modula-3 sử dụng tương đương cấu trúc trong khi ... tốt, hầu hết các ngôn ngữ lập trình sử dụng tên tương đương (bao gồm Modula-2).

Các đối số tiêu biểu có lợi cho tương đương cấu trúc là gì? Các đối số tiêu biểu đối lập với nó là gì? Các đối số điển hình có lợi cho tương đương tên là gì? Các đối số tiêu biểu đối lập với nó là gì?

Answer 1

Tôi nghĩ rằng lợi thế của các hệ thống kiểu cấu trúc là chúng khuyến khích bạn tạo các giao diện chi tiết theo hướng mà người dùng giao diện cần, thay vì những gì người triển khai cung cấp.

Trong hệ thống kiểu đề cử, bạn cần một sự phụ thuộc chung trên giao diện. Trong một hệ thống kiểu cấu trúc mà yêu cầu được loại bỏ: bạn có thể xây dựng một hệ thống ghép đôi lỏng lẻo mà không cần phải tạo ra thư viện chung mà bạn đặt tất cả các giao diện. Mỗi khách hàng có thể độc lập khai báo giao diện mà nó mong đợi từ một cộng tác viên.

Điểm bất lợi của hệ thống kiểu cấu trúc là chúng khớp với các lớp để giao diện có thể không thực sự thực hiện đúng hợp đồng. Ví dụ: nếu bạn có giao diện này:

public interface IBananaProvider 
{ 
    /// Returns a banana, never null. 
    Banana GetBanana(); 
} 

thì lớp sau sẽ được xem xét để triển khai IBananaProvider trong hệ thống kiểu cấu trúc. Tuy nhiên, lớp vi phạm điều kiện bài đăng mà chuối đã trả lại không bao giờ là rỗng:

public class SomeBananaProvider 
{ 
    // returns a banana or null if we're all out 
    public Banana GetBanana() 
    { 
     if (bananas.Count > 0) 
     { 
      return bananas.RemoveLast(); 
     } 
     else 
     { 
      return null; 
     } 
    } 
} 

Điều này có thể được khắc phục nếu hợp đồng được quy định một cách chính thức và được coi là một phần của cấu trúc kiểu. Tôi nghĩ mọi thứ đang chuyển động theo hướng đó, ví dụ: System.Diagnostics.Contracts trong .NET 4.0.

Answer 2

Một đối số thích hợp với tên tương đương nghiêm ngặt (như có sẵn trong Ada chẳng hạn) là nó làm cho trình biên dịch có thể từ chối mã vô tình trộn các đơn vị khác nhau, ví dụ như cm và inch, hoặc c và f .

Trong một ngôn ngữ với tên nghiêm ngặt tương đương bạn có thể có hai loại

type celsius based on float; 
type fahrenheit based on float; 

var c : celsius; var f : fahrenheit; 

c := f; /* compile time error: incompatible types */ 

Trong khi, bằng một ngôn ngữ với tên mất tương đương và trong một với tính tương đương về cấu trúc ...

type celsius is float; 
type fahrenheit is float; 

c := f; /* no error and no warning here */ 

.. bạn sẽ kết thúc với một tính toán sai lầm sẽ dẫn đến hành vi không thể đoán trước, tùy thuộc vào loại ứng dụng và hệ thống này có thể dẫn đến mất mát tài chính nghiêm trọng hoặc thậm chí tử vong. Một lỗi logic như vậy cũng rất khó để theo dõi mà không có tên tương đương nghiêm ngặt tại chỗ.