Mở rộng mô-đun Core.Option trong F #

Question

tôi muốn mở rộng một trong những module "cốt lõi" hiện có, như Core.Option:

module Microsoft.FSharp.Core.Option 

    let filter predicate op = 
     match op with 
     | Some(v) -> if predicate(v) then Some(v) else None 
     | None -> None 

(tôi biết về bind chức năng, nhưng tôi nghĩ filter phương pháp để lựa chọn trong một số trường hợp thuận tiện hơn).

Nhưng unfortunetely tôi không thể sử dụng phương pháp filter mà không explicitely mở Microsoft.FSharp.Core namespace:

// Commenting following line will break the code! 
open Microsoft.FSharp.Core 

let v1 = Some 42 
let v2 = v1 |> Option.filter (fun v -> v > 40) 

printfn "v2 is: %A" v2 

Trong hầu hết các trường hợp chúng tôi không thể sử dụng chức năng từ mô-đun mà không cần mở không gian tên thích hợp. Trình biên dịch F # "mở" một số không gian tên xác định (lõi) tự động (như Microsoft.FSharp.Core), điều này sẽ không đưa vào các phương thức phạm vi từ "mở rộng mô-đun" và chúng ta vẫn nên mở các không gian tên lõi theo cách thủ công.

Câu hỏi của tôi là: Có cách giải quyết nào không?

Hoặc cách tốt nhất để mở rộng các mô-đun "cốt lõi" là tạo các tiện ích mở rộng như vậy trong không gian tên tùy chỉnh và mở không gian tên này theo cách thủ công?

// Lets custom Option module in our custom namespace 
module CustomNamespace.Option 

    let filter predicate op = ... 

// On the client side lets open our custom namespace. 
// After that we can use both Option modules simultaneously! 
open CustomNamespace 

let v1 = Some 42 
let b = 
    v1 |> Option.filter (fun v -> v > 40) // using CustomNamespace.Option 
    |> Option.isSome // using Microsoft.FSharp.Core.Option 

Answer 1

Để mở rộng một F # mô-đun tạo khác có cùng tên:

module Option = 

    let filter predicate op = 
     match op with 
     | Some v -> match predicate v with true -> Some v | false -> None 
     | None -> None 


let v1 = Some 42 
let v2 = v1 |> Option.filter (fun v -> v > 40) 

printfn "v2 is: %A" v2 

Answer 2

Liệu nó giúp đỡ nếu bạn thêm thuộc tính AutoOpen để module?

[<AutoOpen>] 
module Microsoft.FSharp.Core.Option 

    let filter predicate op = 
     match op with 
     | Some(v) -> if predicate(v) then Some(v) else None 
     | None -> None 

EDIT

này hoạt động, nhưng chỉ qua biên giới lắp ráp. Nó không làm việc trong cùng một assembly:

namespace Microsoft.FSharp.Core 
module Option = 
    let filter predicate op = 
     match op with 
     | Some(v) -> if predicate(v) then Some(v) else None 
     | None -> None 

[<assembly:AutoOpen("Microsoft.FSharp.Core")>] 
do() 

Để gọi nó từ lắp ráp khác:

[<EntryPoint>] 
let main args = 
    let f() = Some "" |> Option.filter (fun f -> true) 
    Console.WriteLine("Hello world!") 
    0 

Answer 3

Đối với mã sản xuất, tôi sẽ làm những gì câu trả lời của Taha gợi ý: tạo mô-đun của riêng bạn và mở/bí danh nó khi cần thiết. Phần lớn cuộc sống của bạn là lập trình viên sẽ được đọc mã. Nó có thể khá bực bội khi đọc mã F # nơi không rõ phương thức đến từ đâu.

Điều đó đang được nói, tôi đã rất ngạc nhiên khi thấy rằng công trình này:

namespace Microsoft.FSharp.Core 

module Option = 

    let filter predicate op = 
     match op with 
     | Some(v) -> if predicate(v) then Some(v) else None 
     | None -> None 

namespace USERCODE 

module Option = Microsoft.FSharp.Core.Option 

module M = 

    let test() = 
     Some 1 
     |> Option.filter (fun x -> x > 0) 
     |> Option.map (fun x -> x + 1) 

Nó không loại bỏ sự cần thiết phải viết một cái gì đó trong đầu của tập tin của bạn, nhưng nó không làm việc xung quanh cần phải mở một không gian tên . Không có liên quan cho Microsoft.FSharp.Core vì nó luôn luôn mở theo mặc định, nhưng hữu ích cho các không gian tên khác.