F #에서 int 및 long (float, byte .etc)에 대한 함수 작업을 작성할 수 있습니까?

Question

사용

let add a b = a + b 

가 INT 작동합니다. 및

let add2 a b:float = a + b 

float에 대한 작업.

F #에서 int 및 long (float, byte .etc) 함수 작업을 작성할 수 있습니까?

let f a b = a >>> b 
let f (a:int64) b = a >>> b 

을가 F #으로 가능하다 :

내가 누구의 "A"일 인터넷 용 긴과 같은 기능을해야합니까?

Answer 1

여러 다른 숫자 형식을 사용할 수있는 함수를 작성하려면 inline과 "정적 멤버 제약 조건"을 사용해야합니다. 문제는 일반 .NET 제네릭은 "+ 연산자 지원"과 같은 제약 조건을 캡처 할 수 없다는 것입니다. 이것은 본질적으로 말한다

val inline add : 
    x: ^a -> y: ^b -> ^c 
    when (^a or ^b) : (static member (+) : ^a * ^b -> ^c) 

을 : 당신이 추론 유형을 볼 때,이 같은 것을 볼 수 있습니다

let inline add x y = x + y 

:

는 inline을 사용할 수 있습니다, 샘플 add 기능은 일반적인 만들려면 이 함수는 + 연산자를 지원하는 두 개의 인수에서 호출 할 수 있습니다. 이 함수는 inline이므로 F # 컴파일러는 제약 조건을 표현하기 위해 .NET에 의존 할 필요가 없기 때문에 작동합니다. >>> 연산자 같은 작품 :

let inline f a b = a >>> b 

기능은 이제 모두 int64 및 int 인수를 사용할 수 있습니다

f 1024L 2 
f 1024 2 

난 당신이 유용도 찾을 수있는 약 writing generic numeric code in F# 얼마 전에 기사를 썼다 .