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

Question

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

Answer 1

这样做的方法是使用

Unsafe.cast

，其类型为'a -> 'b。

你永远不应该使用它 - 如果你认为你需要，你可能应该考虑你想要做的事情是否真的是个好主意。由于某种原因，它被称为不安全。