Tại sao Elm sử dụng toán tử '++' để nối chuỗi?

Question

Tôi đang học Elm và tôi tìm thấy rất nhiều thứ hấp dẫn về nó, chẳng hạn như sự thanh lịch và đơn giản của nó. Tuy nhiên, một khía cạnh mà tôi thấy khó hiểu là việc sử dụng "++" để nối chuỗi. Ví dụ:

> "hello" ++ " world" 
"hello world" 

Tính năng bổ sung hoạt động theo cách bạn mong đợi.

> 2 + 3 + 9 
14 

Đa số các ngôn ngữ cấp cao như C#/Java/JavaScript/Python sử dụng một dấu cộng "+" trong chuỗi nối theo cách tương tự với nhiều số sẽ được tổng hợp. Nó có vẻ trực quan hơn nhiều, vì có một sự nhất quán nhất định trong việc nối chuỗi như tổng số.

Có ai biết logic đằng sau quyết định thiết kế sử dụng ++ thay vì + trong ngữ cảnh này không?

Answer 1

Elm cho phép bạn xác định các chức năng đa hình.

polymorphism Parametric là khi một chức năng có thể được áp dụng cho các yếu tố của bất kỳ loại:

f : (a, b) -> (b, a) 
f (x, y) = (y, x) 

Ad-hoc đa hình là khi một chức năng có thể được áp dụng cho các yếu tố của một số loại:

g : appendable -> appendable -> appendable -> appendable 
g x y z = x ++ y ++ z 

h : number -> number -> number 
h x y = (x + 2) * y 

Các biến kiểu number và appendable là đặc biệt bởi vì chúng đại diện cho một tập con của tất cả các loại Elm. List và String là appendable loại trong khi Float và Int là các loại số.

Nó về mặt lý thuyết có thể là có thể thay vì định nghĩa một biến hasPlus loại trong đó sẽ bao gồm List, String, Float và Int, nhưng sau đó khi xác định một chức năng đa hình, bạn sẽ cần phải nhận thức được rằng nó có thể là x + y khác với y + x và đó sẽ là một gánh nặng nếu bạn đang thực sự suy nghĩ về các con số ...

Answer 2

Điều này có thể tránh tình trạng quá tải người vận hành. Có thể hữu ích khi suy luận kiểu tĩnh hoặc thậm chí cải thiện khả năng đọc khi các biến được sử dụng, vì nó sau đó rõ ràng những gì đang được thực hiện (chuỗi nối nếu ++ hoặc arithmetics nếu +).

Trong ngôn ngữ không được nhập mạnh (Tôi không biết nếu đây là trường hợp trong ELM), sử dụng cùng một ký hiệu có thể làm cho nó không thể biết những gì đang được thực hiện trên các biến trước khi thực sự chạy chương trình, mà làm cho nó chậm hơn.

XQuery sử dụng || thay vì + quá, một số ngôn ngữ thậm chí sử dụng ký hiệu khác nhau cho số thập phân, như +. trong CAML.

Answer 3

Theo docs, các nhà điều hành ++ được sử dụng cho các danh sách phụ thêm:

-- alias for appending lists and two lists 
append xs ys = xs ++ ys 
xs = [1,2,3] 
ys = [4,5,6] 

-- All of the following expressions are equivalent: 
a1 = append xs ys 
a2 = xs ++ ys 

b2 = (++) xs ys 

c1 = (append xs) ys 
c2 = ((++) xs) ys 

Trước khi phiên bản 0.9, chuỗi được biểu diễn dưới dạng một danh sách Haskell lấy cảm hứng từ các nhân vật. Phiên bản 0.9 đã giới thiệu một thư viện chuỗi mới (xem announcement ở đây), vì vậy có vẻ như toán tử ++ vẫn tồn tại mặc dù các chuỗi không còn được biểu diễn dưới dạng danh sách nữa.

Answer 4

Kết hợp và bổ sung là các hoạt động hoàn toàn khác với các thuộc tính khác nhau. Ví dụ, bổ sung là giao hoán (trên số nguyên, phao nổi là những con thú khác nhau), trong khi nối chắc chắn nhất là không. Quyết định tùy ý để tái sử dụng các toán tử bởi một số ngôn ngữ là kết nối mạnh nhất giữa chúng mà bạn có thể tìm thấy.

Và ngay cả khi quá tải có ý nghĩa, bạn sẽ nhấn bản chất tĩnh của ngôn ngữ - loại nhà khai thác như vậy nên là loại nào?

Hiện nay các nhà điều hành hoạt động trên ma thuật loại number:

(+) : number -> number -> number 

Trong khi bạn có thể có một loại ma thuật mới numberorstring và + chức năng sẽ là đa hình với hai ngữ nghĩa khác nhau, điều này sẽ chỉ được giới thiệu nhiều hơn ma thuật vào ngôn ngữ.