Does/Will Rust có hỗ trợ các thành ngữ lập trình chức năng không?

Question

Khi Rust bị ăn thịt nhiều hơn và nhiều hơn nữa, sự quan tâm của tôi đối với nó bắt đầu châm biếm. Tôi thích thực tế là nó hỗ trợ các loại dữ liệu đại số và kết hợp cụ thể của những người, nhưng có bất kỳ suy nghĩ được thực hiện trên các thành ngữ chức năng khác?

1. Ví dụ: Có một bộ sưu tập các chức năng lọc/bản đồ/giảm tiêu chuẩn trong thư viện chuẩn hay không và quan trọng hơn, bạn có thể chuỗi/soạn chúng theo cách dễ hiểu cú pháp [1] không?

2. Vì đã có các phương tiện thanh lịch để sử dụng ADT, làm thế nào về monads, đặc biệt là một số đường cú pháp cho chúng?

[1] Haskell có (.) Và (>>>), phương pháp mở rộng C# và tùy chọn LINQ, D có cú pháp gọi hàm thống nhất.

Answer 1

Rust không có HKT, nhưng lặp của nó làm hỗ trợ mã hóa trong một phong cách chức năng với chức năng bậc cao (HOF) như map, filter, fold vv với chaining thuận tiện.

Chi tiết khác so với ngôn ngữ chức năng - thường được thu thập rác, trong khi các chương trình Rust xử lý bộ nhớ theo cách xác định, tương tự như C++ RAII - như một phần của luồng chương trình.

Để cho phép chuỗi hiệu quả, các mẫu biểu thức lười trở lại hỗn hợp của HOF riêng lẻ và bạn có thể chuyển kết quả cuối cùng thành dữ liệu (phân bổ và đánh giá trong một bước) bằng cách kết thúc với .to_owned_vec() hoặc .collect() hoặc bất kỳ thứ gì.

Trong một số trường hợp, điều này không cần thiết, mẫu biểu thức được trả lại là bản thân trình lặp và có thể là đủ. Ví dụ, bạn có thể lặp lại điều đó bằng một vòng lặp for hoặc chuyển nó thành một đối số cho một hàm chung.

Xem:

• http://static.rust-lang.org/doc/master/std/iter/index.html

• http://static.rust-lang.org/doc/master/std/iter/trait.Iterator.html

mẫu tương tự có thể xảy ra ở cả C++ 11 (với các thư viện bổ sung) và Rust. Các generics của Rust không mạnh bằng các mẫu C++, nhưng bất biến theo mặc định, cú pháp định hướng biểu thức, các lambdas đa hình, và suy luận kiểu hai chiều tạo cho nó cảm giác gần gũi hơn với một ngôn ngữ chức năng.

Về 'phương pháp mở rộng' và cú pháp cuộc gọi thống nhất, Rust cho phép cách tổ chức mã 'thế giới mở' tương tự. Bạn có thể thêm impl s với nhiều phương thức hơn cho bất kỳ loại nào ở bất kỳ đâu trong thư viện hoặc chương trình hoặc mở rộng các loại hiện có từ các thư viện khác bằng cách triển khai các phương pháp của riêng bạn.

Điều này làm cho việc sử dụng kiểu gọi phương thức có thể chuỗi dễ dàng hơn so với trong C++ (nghĩa là ít cần phải sửa đổi hoặc lấy được các loại).

Ghi nhớ rất nhiều thành ngữ của Haskell phải làm với độ tinh khiết (ví dụ: đơn nguyên IO, thấu kính ..) và Rust là đa mô hình, không thuần túy. Bạn có thể có một hàm thuần túy cho các lợi ích của tính minh bạch tham chiếu ở cấp chương trình, và việc thực hiện nó được đơn giản hóa bởi các biến cục bộ có thể thay đổi được.

Answer 2

Ngôn ngữ phải có "loại có loại cao hơn" để hỗ trợ các khái niệm như Functors, Applications và Monads. Nói cách khác, ngôn ngữ phải có khả năng trừu tượng hóa trên các loại * -> *, hoặc các hàm từ kiểu này sang kiểu khác. Rust hiện không hỗ trợ mức trừu tượng này. Nó đã được discussed như một hướng tương lai có thể, nhưng tôi sẽ không mong đợi nó sẽ là một trọng tâm bất cứ lúc nào sớm.