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 #에서 다른 서명 (다른 수의 매개 변수 포함)이있는 함수는 고유 한 유형으로 간주됩니다. 그리고 함수에 두 개의 고유 한 유형 (또는 심지어 12 개의 고유 한 유형)이 될 수있는 매개 변수를 가져 오려면 언제든지 discriminated unions을 사용해야합니다. 그냥 차별 노동 조합에 Quad of ('a -> 'a -> 'a -> 'a -> 'a) 케이스를 추가, 당신은 네 개의 파라미터 버전을 추가하고 싶다면

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 type '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