Tại sao F # Set không triển khai ISet <T>?

Question

Khuôn khổ .NET đang thêm giao diện ISet<T> với bản phát hành 4.0. Trong cùng một phiên bản, F # đang được thêm vào như là một ngôn ngữ hạng nhất. F # cung cấp lớp Set<'T> không thay đổi.

Có vẻ hợp lý với tôi rằng bộ không thay đổi được cung cấp sẽ thực hiện giao diện ISet<T>, nhưng không. Có ai biết tại sao không?

Tôi đoán là họ không muốn triển khai giao diện có thể thay đổi được, nhưng tôi không nghĩ rằng giải thích này được duy trì. Rốt cuộc, lớp học Map<'Key, 'Value> của họ thực hiện IDictionary, điều này có thể thay đổi. Và có những ví dụ ở nơi khác trong khuôn khổ các lớp thực hiện các giao diện chỉ thích hợp một phần.

suy nghĩ khác của tôi là ISet<T> là mới, vì vậy có thể họ không có được xung quanh với nó. Nhưng điều đó có vẻ khá mỏng.

Thực tế là ISet<T> là chung chung (v. IDictionary, không phải là) có liên quan gì đến nó?

Bất kỳ suy nghĩ nào về vấn đề này sẽ được đánh giá cao.

Answer 1

Ngoại ý Tôi không nghĩ rằng Tôi trước đây đã biết về ISet. (Thực ra tôi đã nhìn lại qua email cũ, và tìm thấy một đề cập đến các kế hoạch của BCL cho nó - từ năm 2008 - nhưng đó là nó. Vì vậy, tôi nghĩ nó không nằm trên radar của chúng tôi.)

Điều đó nói rằng, F # phấn đấu tương thích với mã nguồn giữa các .NET 2.0 và .NET 4.0 bit của nó, đến điểm quay lại các thực thể .NET 4.0 thành phiên bản FSharp.Core.dll 2.0. Ví dụ: 2.0 FSharp.Core chứa System.Tuple, System.BigInteger, System.Threading.CancelationTokenSource (một phần của mô hình lập trình không đồng bộ), v.v. và ISet có khả năng sẽ là một công việc khác để quay lại (không rõ tôi có cần thiết không) 'để cổng nó, mặc dù).

Tôi sẽ gửi một vấn đề để xem, mặc dù nó có thể được khắc phục vào thời điểm này.

Answer 2

Vì không có ai khác nhảy vào, tôi sẽ thêm suy đoán của tôi. Trước hết, phần lớn giao diện IDictionary<'k,'v> vẫn có ý nghĩa đối với từ điển bất biến; nó thực sự chỉ thêm hoặc loại bỏ các yếu tố riêng lẻ sẽ không hoạt động. Thứ hai, có một số lượng phong nha của mã đã được viết mà dựa trên IDictionary, do đó, có thể sử dụng các giá trị F # với mã đó là một cộng thêm tốt đẹp.

Mặt khác, một số phương pháp của ISet<'t> yêu cầu đột biến, bao gồm không chỉ thêm các phần tử riêng lẻ, mà còn một số toán tử thay đổi bộ như công đoàn và giao lộ. Ngoài ra, nhiều trường hợp sử dụng được thiết lập đã được bao gồm bởi giao diện IEnumerable<'t> - Tôi nghĩ rằng sẽ hiếm khi mọi người dựa vào việc triển khai ISet<'t> cho mã dựa trên không thay đổi.

Tôi không nghĩ rằng genericity có bất cứ điều gì để làm với nó - lưu ý rằng mặc dù các tài liệu MSDN, F # bản đồ thực hiện giao diện IDictionary chung, không phải là không chung chung.