Fsharp：関数のNパラメータを渡す

Question

可変量のパラメータを取り込む関数を作成しようとしていますが、F＃の実行可能な解を見つけることができません。

let expression = (fun a b -> a || b) 
let expressionTriple = (fun a b c -> (a || b) && c) 

// This doesn't work because expression can either be a function that takes fixed arguments 
let truthTable numPredicates expression = 
    if numPredicates = 2 then 
     expression true true 
    else 
     expression true true false 


truthTable 2 expression 
truthTable 3 expressionTriple 

どのように表現関数にさまざまな引数を渡すことができますか？

Answer 1

F＃では、異なるシグネチャ（異なる数のパラメータを含む）を持つ関数は異なる型と見なされます。また、関数に2つの異なる型（または12種類の異なる型）を指定できるようにするには、discriminated unionsを使用する必要があります。ちょうどその区別組合にQuad of ('a -> 'a -> 'a -> 'a -> 'a)ケースを追加し、あなたは4パラメータのバージョンを追加したい場合は

type Expression<'a> = 
    | Double of ('a -> 'a -> 'a) 
    | Triple of ('a -> 'a -> 'a -> 'a) 

let expression = fun a b -> a || b 
let expressionTriple = fun a b c -> (a || b) && c 

// This works because expression is a discriminated union 
let truthTable expression = 
    match expression with 
    | Double f -> f true true 
    | Triple f -> f true true false 

truthTable (Double expression) 
truthTable (Triple expressionTriple) 

：ここでは、コンパイルして、あなたが何をしようとして行うような方法で、あなたのコードを書くことができる方法です、 等々。

boolではなくgenericタイプ'aでこれを書いたようなご質問がある場合は、お気軽にフォローアップの質問をしてください。

Answer 2

let expression = (fun [a; b] -> a || b) 
let expressionTriple = (fun [a; b; c] -> (a || b) && c) 

let truthTable numPredicates expression = 
    if numPredicates = 2 then 
     expression [true; true] 
    else 
     expression [true; true; false] 


truthTable 2 expression 
truthTable 3 expressionTriple