Poly ML で、x が 'a 型の場合に「true」を返し、そうでない場合に false を返す関数をどのように記述しますか?
質問する
66 次
1 に答える
1
私はあなたの質問を誤解しているかもしれませんが、静的に型付けされた言語の要点全体を見逃しているようです。
つまり、宣言されているもの以外の型の引数で関数を呼び出すことはできません。それ以外のものは、インタープリター/コンパイラーによって拒否されます。
あなたが望むことをする1つの機能は次のとおりです。
> fun foo _ = true
val foo = fn : 'a -> bool
于 2012-11-16T10:58:16.270 に答える