F # 누락 형 제약

Question

, get_Zero의 형태 제약주의 : 이미 명시 적 타입 제약 조건이 있지만

type Wrapper<'t> = { Data : 't[] } 

let compute<'t 
    when 't : (static member get_Zero : unit -> 't) 
    and 't : (static member (~-) : 't -> 't) 
    and 't : (static member (+) : 't * 't -> 't)> 
     (wrapper : Wrapper<'t>) = 
    wrapper.Data 
     |> Seq.mapi (fun i value -> (i, value)) 
     |> Seq.sumBy (fun (i, value) -> 
      if i % 2 = 0 then value 
      else -value) 

을, 나는 아직도 서열에 대한 호출에 다음과 같은 컴파일러 오류를 받고 있어요 .sumBy :

A 형 파라미터는 제약 '(고정 부재 get_Zero ->^t)^때 t'누락

상관 여기서 무슨 일이 벌어지고 있는지 알아? 감사.

Answer 1

다운 스트림 정적 멤버 제약 조건을 명시 적으로 지정하면 좌절감을 느낄 수 있으며, 다행스럽게도 거의 필요하지 않습니다. 그냥 함수 inline을 표시하고 유추 할 수 있습니다.

let inline compute (wrapper : Wrapper<_>) = 
    wrapper.Data 
    |> Seq.mapi (fun i value -> (i, value)) 
    |> Seq.sumBy (fun (i, value) -> 
     if i % 2 = 0 then value 
     else -value) 

올바른 서명은 다음과 같습니다

let inline compute<'t 
      when 't : (static member Zero : 't) 
      and 't : (static member (~-) : 't -> 't) 
      and 't : (static member (+) : 't * 't -> 't)> 

이 (당신은 오류 메시지의 서명을 알 수있다조차 유효한 구문은 다음과 같습니다. when ^t : (static member get_Zero : -> ^t) 이것은 내가 좌절 무엇을 의미의 일부입니다.)