Hỗ trợ ngôn ngữ cho các toán tử so sánh xích (x <y <z)

Question

Một question được đăng về các toán tử so sánh xích và cách chúng được diễn giải bằng các ngôn ngữ khác nhau.

Các toán tử so sánh chuỗi có nghĩa là (x < y < z) sẽ được hiểu là ((x < y) && (y < z)) thay vì là ((x < y) < z).

Nhận xét về câu hỏi đó cho thấy Python, Perl 6 và Mathematica hỗ trợ chuỗi so sánh toán tử, nhưng những ngôn ngữ nào khác hỗ trợ tính năng này và tại sao nó không phổ biến hơn?

Xem nhanh tài liệu Python cho thấy tính năng này đã có từ ít nhất năm 1996. Có lý do nào khiến nhiều ngôn ngữ chưa thêm cú pháp này?

Ngôn ngữ được nhập tĩnh sẽ có vấn đề với chuyển đổi loại, nhưng có những lý do nào khác không phổ biến hơn không?

Answer 1

Nó nên phổ biến hơn, nhưng tôi nghi ngờ nó không phải là vì nó làm cho việc phân tích ngôn ngữ phức tạp hơn.

Lợi ích:

• duy trì những nguyên tắc tối thiểu ngạc nhiên
• Reads như toán học được dạy
• Giảm tải nhận thức (xem trước 2 điểm)

Nhược điểm:

• Ngữ pháp phức tạp hơn cho ngôn ngữ
• Trường hợp đặc biệt cú pháp đường

Là tại sao không, dự đoán của tôi là:

• Ngôn ngữ tác giả (s) đã không nghĩ về nó
• là trên 'tốt đẹp để có 'danh sách
• Đã được quyết định rằng nó không đủ hữu ích để biện minh cho việc triển khai

Answer 2

Lợi ích quá nhỏ để biện minh cho việc làm phức tạp ngôn ngữ.

Bạn không cần nó thường xuyên, và thật dễ dàng để có được cùng một hiệu ứng rõ ràng với một vài ký tự hơn.

Answer 3

Tôi nghĩ ICON là ngôn ngữ gốc để có điều này, và trong ICON nó rơi ra khỏi cách mà booleans được xử lý như thẻ 'thất bại' đặc biệt với tất cả các giá trị khác được coi là đúng.

Answer 4

Scheme (và có lẽ hầu hết ngôn ngữ gia đình Lisp khác) hỗ trợ nhiều so một cách hiệu quả trong ngữ pháp của nó:

(< x y z) 

này có thể được coi là một ứng dụng chức năng bình thường của < chức năng với ba đối số. Xem 6.2.5 Numerical Operations trong đặc điểm kỹ thuật.

Clojure cũng hỗ trợ chained comparison.

Answer 5

Chained co mparison là một tính năng của BCPL, kể từ cuối những năm 1960.