SML演算子とオペランドがfoldrで一致しない

Question

私はリストの長さを取得する関数を書く必要がある代入に取り組んでいます。これは簡単な作業ですが、わからないことがあります。

私の単純なコード

val len = foldr (fn(_, y) => y + 1) 0 

は

警告この警告生成：型がダミーの型にインスタンス化されるための 値の制限を一般化しませVARS（X1、X2を、...）

これをREPLで実行しようとすると、次のようになります。

len [1, 2, 3, 4]; 
stdIn:18.1-18.17 Error: operator and operand don't agree [overload conflict] 
operator domain: ?.X1 list operand:  
[int ty] list in expression: 
    len (1 :: 2 :: 3 :: <exp> :: <exp>) 

なぜこれが機能しないのかわかりません。私はいくつかの関数型プログラミングの原則を知っています。もちろん

私はこの

fun len xs = foldr (fn(_, y) => y + 1) 0 xs 

のように、一部のアプリケーションなしでそれを動作させることができますが、私は最初のバージョンが動作しない理由を理解したいと思います。

Answer 1

これはvalue restrictionルールアプリケーションのインスタンスである：

要するに

、値制限は、式の右辺の構文値であれば一般にのみ発生する可能性があることを述べています。

構文的には、

foldr (fn(_, y) => y + 1) 0 

は値ではない、それは多型タイプが割り当てられていない理由です、関数適用です。ダミータイプでインスタンス化されました。これは動作します：

len [] 

が、ほとんどのケースでlenがvalのように定義は無用です。

この制限は、変数割当（参照による）の存在下で型の安全を保証するために存在します。詳細は、リンク先のページを参照してください。