smlnj - polymlで関数の引数に型を設定するには?

Question

ml の型検出をオーバーライドし、指定された型を引数に許可したいと考えています。

Answer 1

これを行う方法は、使用することです

Unsafe.cast

、タイプは'a -> 'b.

これは絶対に使用しないでください。使用する必要があると思われる場合は、代わりに、実行しようとしていることが本当に良いアイデアかどうかを検討する必要があります。ある理由で安全でないと呼ばれます。