関数のパラメータとして機能する関数値を呼び出すにはどうすればよいですか？

Question

関数のパラメータとして機能する関数値を呼び出すにはどうすればよいですか？

具体的には、私の目標は、パラメータが実際に関数である関数のパラメータを利用することです。

私の場合、データを記録するためのインターフェイスを実装しようとしています。

は、ここに私のコードです：

let logToFile (filePath:string) (message:string) = 
    let file = new System.IO.StreamWriter(filePath) 
    file.WriteLine(message) 
    file.Close() 

let makeInitialDeposit deposit = 
    let balance = deposit |> insert [] 
    sprintf "Deposited: %f" balance 

let logDeposit deposit (log:'medium ->'data -> unit) = 
    deposit |> makeInitialDeposit 
      |> log 

注次の関数：

let logDeposit deposit (log:'medium ->'data -> unit) = 
    deposit |> makeInitialDeposit 
      |> log 

私は、ログ機能のコンパイルエラーを取得：

この原因を構築します指示よりも一般的でないコードタイプ注釈の タイプ変数 'medium'は タイプ 'string'に制限されています。

私はmakeInitialDepositが文字列を返すと理解します。 しかし、その文字列型はジェネリック型のデータにマップされます。 したがって、ジェネリックはどんなタイプのものでも構いませんか？

私はその後、培地（すなわちファイル）の引数を供給しようとした：

let logDeposit deposit (log:'medium ->'data -> unit) medium = 
    deposit |> makeInitialDeposit 
      |> log medium 

その後、私のエラーはにアップデートしまった：この構築物は、コードが示されているよりも、一般的なことになり

タイプ注釈の 型変数 'dataは 型' string 'に制限されています。

私の目標

最終的に、私は、ログと呼ばれるインタフェースを持っており、そのインターフェイス（すなわちlogToFile）の実装に渡したいです。

最初の解釈に基づいてコンパイルエラーをどのように解釈するべきかに関するガイダンスはありますか？

挿入機能の依存関係

let getBalance coins = 
    coins |> List.fold (fun acc d -> match d with 
            | Nickel   -> acc + 0.05 
            | Dime   -> acc + 0.10 
            | Quarter  -> acc + 0.25 
            | OneDollarBill -> acc + 1.00 
            | FiveDollarBill -> acc + 5.00) 0.00 

let insert balance coin = 
    coin::balance |> getBalance 

Answer 1

問題はlog :'medium ->'data -> unitと定義されています。

次に、タイプstringのdeposit |> makeInitialDepositの結果を取り出し、log関数にパイプします。論理的にコンパイラは、'medium = stringを推論します。

あなたlogDeposit機能で'medium引数を受け入れるなら、あなたは、単に手順に沿ってその推論を移動し、deposit |> makeInitialDepositは今もそうstring'data = stringです。

---

は、私はあなたがこれらの機能はよくあなたのドメインをモデル化していないし、あなたのロギングロジックはあなたのコードの残りの部分に出て出血しているのでかかわらず、苦労していると思います。

なぜmakeInitialDepositはstringを返しますか？

なぜgetBalanceはfloatを返すが、そのbalance引数としてCoin listをinsert受け付けていますか？

私は3つの引数を受け入れロギング機能を作ることから始めます：

let logToFile (filePath:string) (formatf : 'data -> string) data = 
    use file = new System.IO.StreamWriter(filePath) 
    file.WriteLine(formatf data) 
    data 

それはfilePath : string -> (formatf : 'data -> string) -> (data : 'data) -> dataを入力しています。ログへのパスを受け取ります。タイプは'data、文字列は'dataとなり、ファイルに記録されます。最後に、あなたが変更しなかった引数dataを返します。つまり、原則として、コード内の任意の値のロギングを任意の場所に挿入できます。

私は、このようなドメイン内の一部の機能を設定します。

let valueOf = function 
    | Nickel   -> 0.05m 
    | Dime   -> 0.10m 
    | Quarter  -> 0.25m 
    | OneDollarBill -> 1.00m 
    | FiveDollarBill -> 5.00m 

let totalValue coins = 
    coins |> List.fold (fun acc coin -> acc + valueOf coin) 0.0m 

let insert coins coin = coin::coins // returns Coin list 

let makeInitialDeposit deposit = insert [] deposit // returns Coin list 

私はその後、任意の時点でロギングを挿入し、これらの機能を使用することができます。

let balance = 
    makeInitialDeposit OneDollarBill 
    |> logToFile "file.txt" (sprintf "Initial Deposit: %A") 
    |> totalValue 
    |> logToFile "file2.txt" (sprintf "Balance : $%M") 

このアプローチは、あなたがログをフィットすることができますロギングの周りにドメインを構築するのではなく、ドメインの周りに

Answer 2

まず第一に、あなたがあなたのパス名として"Deposited: 0.25"ような文字列で渡していることを奇妙に思えます。おそらく、最初のパラメータにmessageを、logToFileの2番目のパラメータにfilePathを設定します。したがって、logは'data -> 'medium -> unitとなります。

コンパイルエラーの問題は、makeInitialDepositが文字列を返し、その結果をlogにパイプしたときに制約が発生するということです。それが動作するように取得するための一つの方法は、このような'dataに文字列を変換するためにlogDepositに別のパラメータを追加することです：

let logDeposit deposit (log: 'data ->'medium-> unit) (stringConverter: string -> 'data) = 
    deposit |> makeInitialDeposit 
      |> stringConverter 
      |> log 

let dummyLog (a:int) (b:string) =()のように、この何かを使用すると、intに文字列から適切なコンバータに渡すと仮定していきます。