"_"がアクティブなパターンで使用されているのはなぜですか？この<a href="https://fsharpforfunandprofit.com/posts/convenience-active-patterns/" rel="nofollow noreferrer">link</a>から

Question

は、私は、彼らがアクティブパターンに「_」を使用していることがわかります。

let (|Int|_|) str = 
    match System.Int32.TryParse(str) with 
    | (true,int) -> Some(int) 
    | _ -> None 

私はアンダースコアが表示されていない別のlinkからの例を見てみましょう。

let (|Even|Odd|) input = if input % 2 = 0 then Even else Odd 

これら2つの実装の違いは何ですか？

Answer 1

これはthis doc pageに書かれています。
(|Int|_|) str =...部分アクティブパターンです。 let (|Even|Odd|) input =...はアクティブパターンです。下記参照。

// From doc link 
module ActivePatternSample = 
    let (|Even|Odd|) input = if input % 2 = 0 then Even else Odd 

    let TestNumber input = 
    match input with 
    | Even -> printfn "%d is even" input 
    | Odd -> printfn "%d is odd" input 

// Rewrite to partial Active Pattern 
module PartialActivePatternSample = 
    let (|Even|_|) input = 
    match (input%2) with 
    | 0 -> Some input 
    | _ -> None 

    let (|Odd|_|) input = 
    match input%2 with 
    | 1 -> Some input 
    | _ -> None 

    let TestNumber input = 
    match input with 
    | Even input -> printfn "%A is even" input 
    | Odd input -> printfn "%A is odd" input 
    | _ -> printfn "can not come here"