なぜこのf＃コードはコンパイルされませんか？

Question

私はそれが2つの文字列を受け取り、整数のオプションを返す関数であると考えています。

let helper (f : string -> string -> bool * int) = f >> function 
    | (true, item) -> Some item 
    | (false, _) -> None 

Answer 1

fは2つのパラメータを受け入れます。 >>は、1つのパラメータだけをカレーします。あなたはそれを書き込むことによって、このようにコンパイルするために取得することができます。

let helper (f : string -> string -> bool * int) = 
     fun a -> f a >> function 
         | (true, item) -> Some item 
         | (false, _) -> None 

それとも、このような関数のシグネチャ自体でその最初のパラメータを含めることができます：

let helper (f : string -> string -> bool * int) a = f a >> function 
    | (true, item) -> Some item 
    | (false, _) -> None 

Answer 2

これはによって説明することは簡単ですコードを拡張して関数の受け渡し/合成が少なくなっています。

のは、コンオペレータ>>を削除して、明示的なaStringパラメータを追加し、代わりにパイプ|>を使用してみましょう：

let helper (f : string -> string -> bool * int) aString = 
    f aString |> function 
    | (true, item) -> Some item 
    | (false, _) -> None 

今度は、明示的なパラメータxでfunの代わりfunctionを使用してみましょう：

let helper (f : string -> string -> bool * int) aString = 
    f aString 
    |> fun x -> 
     match x with 
     | (true, item) -> Some item 
     | (false, _) -> None 

今度は、funをインライン展開してパイプを完全に削除しましょう：

let helper (f : string -> string -> bool * int) aString = 
    match (f aString : string -> bool * int) with 
    | (true, item) -> Some item 
    | (false, _) -> None 

このコードは、あなたが使い始めたものと同等です。 f aStringは、1つの文字列だけが適用されたf関数です。カレー化のために、この式のタイプはstring -> bool * intです。これを証明するために上記のコードで型注釈を追加しました。 bool * intの結果を生成する前に、別の文字列を指定する必要があります。