Làm cách nào để ẩn các phương thức trong F #?

Question

Tôi hiện đang triển khai một khuôn khổ Spec trong F # và tôi muốn ẩn các phương thức Equals, GetHashCode vv trên loại should của mình, để API không bị lộn xộn với các loại này.

Tôi biết trong C# nó được thực hiện bằng cách làm cho lớp thực hiện một giao diện như thế này:

using System; 
using System.ComponentModel; 

public interface IFluentInterface 
{ 
    [EditorBrowsable(EditorBrowsableState.Never)] 
    bool Equals(object other); 

    [EditorBrowsable(EditorBrowsableState.Never)] 
    string ToString(); 

    [EditorBrowsable(EditorBrowsableState.Never)] 
    int GetHashCode(); 

    [EditorBrowsable(EditorBrowsableState.Never)] 
    Type GetType(); 
} 

tôi đã cố gắng làm điều tương tự trong F #:

type IFluentInterface = interface 

    [<EditorBrowsable(EditorBrowsableState.Never)>] 
    abstract Equals : (obj) -> bool 

    [<EditorBrowsable(EditorBrowsableState.Never)>] 
    abstract ToString: unit -> string 

    [<EditorBrowsable(EditorBrowsableState.Never)>] 
    abstract GetHashCode: unit -> int 

    [<EditorBrowsable(EditorBrowsableState.Never)>] 
    abstract GetType : unit -> Type 
end 

thực hiện nó trong loại của tôi:

 interface IFluentInterface with 
     member x.Equals(other) = x.Equals(other) 
     member x.ToString() = x.ToString() 
     member x.GetHashCode() = x.GetHashCode() 
     member x.GetType()  = x.GetType() 

nhưng không thành công.

Tôi cũng đã cố gắng ghi đè các phương thức trong loại của tôi và thêm thuộc tính theo cách đó, nhưng điều đó cũng không thực hiện được.

Vì vậy, câu hỏi vẫn còn, làm cách nào tôi có thể xóa API của mình?

Edit:

Nhờ sự giúp đỡ (xem dưới đây) tôi đã có thể giải quyết vấn đề của tôi.

Tóm lại, .Equals và .GetHashCode có thể bị ẩn qua [<NoEquality>][<NoComparison>] nhưng điều đó cũng sẽ thay đổi ngữ nghĩa.

Ẩn thông qua thuộc tính EditorBrowsable không hoạt động.

Cách duy nhất để có API sạch và vẫn có khả năng quá tải phương pháp là làm cho các thành viên phương pháp này tĩnh.

Lớp kết quả có thể được tìm thấy bằng cách duyệt bên trong dự án của tôi FSharpSpec.

Loại trong câu hỏi có thể được tìm thấy here.

Nhờ mọi người giúp tôi giải quyết vấn đề này.

Chúc mừng ...

Answer 1

Hoặc, bạn có thể thiết kế thư viện bằng cách sử dụng kiểu thay thế bằng các hàm được đính kèm trong mô-đun. Đây là cách thông thường để viết chức năng mã trong F # và sau đó bạn sẽ không cần phải ẩn bất kỳ phương thức .NET chuẩn nào. Để hoàn thành ví dụ đưa ra bởi 'kvb', đây là một ví dụ về giải pháp hướng đối tượng:

type MyNum(n:int) = 
    member x.Add(m) = MyNum(n+m) 
    member x.Mul(m) = MyNum(n*m) 

let n = new MyNum(1) 
n.Add(2).Mul(10) // 'ToString' shows in the IntelliSense 

Cách chức năng của văn bản mã có thể trông như thế này:

type Num = Num of int 
module MyNum = 
    let create n = Num n 
    let add m (Num n) = Num (m + n) 
    let mul m (Num n) = Num (m * n) 

MyNum.create 1 |> MyNum.add 2 |> MyNum.mul 10 

Nếu bạn gõ MyNum. , F # IntelliSense sẽ hiển thị các chức năng được xác định trong mô-đun, vì vậy bạn sẽ không thấy bất kỳ nhiễu nào trong trường hợp này.

Answer 2

Tôi không nghĩ rằng có cách nào để làm điều đó trong F # nói chung. Trong trường hợp cụ thể là .Equals và .GetHashCode, bạn có thể làm cho chúng không sử dụng được bằng cách đặt thuộc tính [<NoEquality>] vào loại của bạn, nhưng điều này thực sự có tác dụng ngữ nghĩa ngoài việc ẩn các phương thức đó.

EDIT

Nó cũng có thể là đáng nói đến là giao diện thông thạo ít khi được sử dụng trong F #, vì nó nhiều hơn nữa thành ngữ sử dụng combinators và pipelining để thay thế. Ví dụ, hãy tưởng tượng rằng chúng ta muốn tạo một cách để tạo ra các biểu thức số học.Thay vì

let x = Expressions.MakeExpr(1).Add(2).Mul(3).Add(4) 

Tôi nghĩ rằng hầu hết # người dùng F muốn viết

open Expressions 
let x = 
    1 
    |> makeExpr 
    |> add 2 
    |> mul 3 
    |> add 4 

Với phong cách này, không cần phải che giấu các thành viên vì biểu thức được đường ống để combinators, thay vì gọi phương pháp của một biểu thức người xây dựng.

Answer 3

Lặp đi lặp lại câu trả lời của tôi từ

http://cs.hubfs.net/forums/thread/13317.aspx

Trong F # bạn có thể không cho phép bằng & GetHashCode (và loại bỏ chúng khỏi IntelliSense) bằng cách chú thích loại với NoEquality và NoComparison thuộc tính, như hình dưới đây. Các phương thức do người dùng định nghĩa cũng có thể được ẩn khỏi danh sách intellisense thông qua thuộc tính Obsolete hoặc thuộc tính CompilerMessage với IsHidden = true. Không có cách nào để ẩn các phương thức System.Object GetType và ToString khỏi F # intellisense.

[<NoEquality; NoComparison>] 
type Foo() = 
    member x.Bar() =() 
    member x.Qux() =() 
    [<System.Obsolete>] 
    member x.HideMe() =() 
    [<CompilerMessage("A warning message",99999,IsError=false,IsHidden=true)>] 
    member x.WarnMe() =() 

let foo = new Foo() 
foo. // see intellisense here