代码之家 › 专栏 › 技术社区 › hitish

如何在polyml中将类型设置为函数的自变量?

ml smlnj

hitish · 技术社区 · 12 年前

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

1 回复 | 直到 12 年前

qaphla 12 年前

这样做的方法是使用

Unsafe.cast

,具有类型 'a -> 'b .

你永远不应该使用这个——如果你认为需要的话,你可能应该考虑你想做的事情是否真的是个好主意。它被称为不安全是有原因的。

推荐文章

SkyWalker · 如何指定使用集成分类器在网格搜索中迭代的级别?

11 月前

Priyanshu Sinha · Django内存泄漏/工人人数减少

2 年前

rohini dingankar · 如何在jenkins日志中对测试用例失败进行分类

2 年前

Chandragupta Iswaracharya · 从高斯-泰勒分布导出的标准化损失类别是什么?[已关闭]

2 年前