smlnj - 如何将类型设置为polyml中的函数参数？

Question

我想覆盖 ml 的类型检测，并希望参数是指定的允许类型。

Answer 1

这样做的方法是使用

Unsafe.cast

, 类型为'a -> 'b.

你永远不应该使用它——如果你认为你需要，你可能应该考虑你正在尝试做的事情是否真的是一个好主意。它被称为不安全是有原因的。