静的に解決型パラメータの追加表現

Question

次のコード

let inline foo< ^T, ^U when ^T : (member foo : (^U -> ^T) -> ^T -> ^T)> 
    (f:(^U -> ^T)) (t:^T) : ^T = 
    (^T : (member foo : (^U -> ^T) -> ^T -> ^T) f,t) 

が

let inline foo< ^T, ^U when ^T : (member foo : (^U -> ^T) -> ^T -> ^T)> (f:^U) (t:^T) : ^T = (^T : (member foo : (^U -> ^T) -> ^T -> ^T) f,t);; 
-----------------------------------------------------------------------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 

/stdin(45,96): error FS0735: Expected 3 expressions, got 2 

このエラーを生成する期待し、私は本当に、その2式を期待し、なぜ取得いけませんか？ 誰でもとを解説することができますか？

THX

Answer 1

私はあなたが達成しようとしているかわからないんだけど、この作品：

let inline foo< ^T, ^U when ^T : (member foo : (^U -> ^T) -> ^T -> ^T)> 
    (f:(^U -> ^T)) (t:^T) : ^T = 
    (^T : (member foo : (^U -> ^T) -> ^T -> ^T) t, f, t) 

私はそれを理解するように、第一tからfooメソッドを抽出する必要があります^Tタイプのインスタンスです。

^Tのfooメソッドを静的にしたいとしますか？その場合には、次のコードは動作します：

このための

let inline foo2< ^T, ^U when ^T : (static member foo : (^U -> ^T) -> ^T -> ^T)> 
    (f:(^U -> ^T)) (t:^T) : ^T = 
    (^T : (static member foo : (^U -> ^T) -> ^T -> ^T) f, t)