F # : 이상 유형 유추 행동

Question

우선이 문제를 다루는 더 좋은 방법이 있으므로 문제가되지 않습니다.

그러나 이해할 수없는 부분입니다. 누군가 이것을 설명 할 수 있습니까? 나는이 잘 같은 스왑 기능을 사용할 수 있어요

namespace Utilities 
module Misc 

let Swap (left : 'a byref) (right : 'a byref) = 
    let temp = left 
    left <- right 
    right <- temp 

:

나는대로 스왑 함수를 정의합니다.

Misc.Swap (&s.[i]) (&s.[j]) 

하지만 같은 모듈 정의 할 때 :

This expression has type 'b byref but is here used with type 'a ref 

어떻게 발신자의 인수에 대한 형식 유추가 이동하여 변경 않았다 : 나는 두 인수에 다음과 같은 오류가

namespace Utilities 

type Misc = 
    static member Swap (left : 'a byref) (right : 'a byref) = 
     let temp = left 
     left <- right 
     right <- temp 

을 함수 유형에?

Answer 1

이것은 F # 컴파일러가 클래스 메서드에서 수행하는 튜플 변환과 상호 작용할 수 있습니다. 그래서 우리는 컴파일러가 tupled 형태로 카레 인수를 변형 것을 여기에서 볼 수 있습니다

public static void Swap<a>(ref a left, ref a right); 

:

리플렉터는 Misc.Swap의 유형을보고합니다. tupled 인수 방법을 정의

는

이 문제 방지 :이 질문에 대한

type Misc = 
    static member Swap(left : 'a byref, right : 'a byref) = 
     let temp = left 
     left <- right 
     right <- temp  

> let s = Array.init 3 (fun i -> i) 
> val s : int array = [|0; 1; 2|] 
> Misc.Swap (&s.[2], &s.[0]) 
> s;; 
> val s : int array = [|2; 1; 0|]