F＃値制限エラーの理解

Question

F＃の値制限がどのように機能するのか分かりません。私はwikiとMSDN documentationの説明を読んだ。私は理解していないことである。

1. 例えば、これは私に（this質問から撮影）値の制限のエラーを与えるなぜ、：

   let toleq (e:float<_>) a b = (abs (a - b)) < e 
   

   しかし、THSはしていません：

   これは、すべての権利を一般化され

   let toleq e (a:float<_>) b = (abs (a - b)) < e 
   

2. ...

   let is_bigger a b = a < b 
   

   これは（これはintとして指定されている）ではない：

   let add a b = a + b 
   

3. 暗黙のパラメータを持つ関数は、値の制限を生成する理由：

   これ：このVS

   let item_count = List.fold (fun acc _ -> 1 + acc) 0 
   

   ：

   let item_count l = List.fold (fun acc _ -> 1 + acc) 0 l 
   

   それは動作しませんどのように

）VRエラーが消えてしまいますが、その後の機能は、私はそれを使用するタイプに指定され、私はそれが一般化することにしたいコードの一部では、この機能を使用できますか？

（私は、v1.9.6.16を最新のF＃を使用しています）

Answer 1

EDIT

ベター/最近の情報はここにある：Keeping partially applied function generic

（以下オリジナル）

私は思いますここでの実用的なことは、これをあまり深く理解しようとするのではなく、むしろVRを過ぎてあなたの仕事に進むための一般的な戦略を知ることです。これはちょっとしたコップアウトの答えですが、ここではF＃タイプのシステム（リリースからリリースにかけて少しずつ変わり続けています）の内部構造を理解するのに時間を費やすことは意味がありません。

私が主張する2つの主な戦略は次のとおりです。あなたは（「 - >」矢印付きタイプ）関数型と値を定義している場合、最初に、そしてeta-conversionを行うことによって、それは構文上の機能であることを確認：

// function that looks like a value, problem 
let tupleList = List.map (fun x -> x,x) 
// make it a syntactic function by adding argument to both sides 
let tupleList l = List.map (fun x -> x,x) l 

第二に、あなたはまだVRが発生した場合/問題を一般化（F＃が許す限り「バックオフ」当時と）、その後、あなたが欲しいものを言って全体の型シグネチャを指定します。

// below has a problem... 
let toleq (e:float<_>) a b = (abs (a - b)) < e 
// so be fully explicit, get it working... 
let toleq<[<Measure>]'u> (e:float<'u>) (a:float<'u>) (b:float<'u>) : bool = 
    (abs (a - b)) < e 
// then can experiment with removing annotations one-by-one... 
let toleq<[<Measure>]'u> e (a:float<'u>) b = (abs (a - b)) < e 

私はそれらの2つの戦略が最善の実践的なアドバイスだと思います。それは、あなたの特定の質問に答える私の試みです。

1. 私は分かりません。

2. '>'は、すべての型で機能する完全な汎用関数（ 'a - >' a - > bool）です。したがって、is_biggerは一般化します。一方、 '+'は、いくつかのプリミティブ型とある種の他の型で動作する「インライン」関数です。他のインライン関数内でのみ一般化することができます。そうでなければ、特定の型に固定する必要があります（またはデフォルトは 'int'になります）。 （アドホック多型の 'インライン'メソッドは、F＃の数学演算子が "型クラス"の欠如を克服する方法です。）これは私が上で議論した '構文関数'の問題です。 '関数とは異なり、汎用的ではないフィールド/プロパティにコンパイルしましょう。だから、それを汎用的にしたいのであれば、それを関数にしてください。 （この規則の別の例外のためにもthis questionを参照してくださいません。）

Answer 2

のF＃チームの人を含む誰もが、意味のある方法でこの質問への答えを知っています。

F＃型の推論システムは、コンパイラが真実を定義する意味でVB6文法とまったく同じです。

残念ですが、本当です。

Answer 3

副作用の存在下で多型に関するいくつかの問題に対処するために、値の制限が導入されました。 F＃はOCamlからこれを継承しています。私は、すべてのMLバリエーションに値の制限があると信じています。あなたが引用したリンクの他に、あなたが読むためのfewmorelinksがあります。ハスケルは純粋なので、この制限を受けません。

あなたの質問については、質問3は本当に価値の制限に関係していると思いますが、最初の2つは価値の制限ではありません。