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

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

ml smlnj

hitish · 技术社区 · 12 年前

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

1 回复 | 直到 12 年前

qaphla 12 年前

这样做的方法是使用

Unsafe.cast

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

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

推荐文章

Jordan · 函数返回TextIO。elem选项,当它应该是字符串选项时

8 年前

Jordan · 具有(a)list(b)list[重复]的函数的语法

8 年前

A Israfil · 错误:案例对象和规则不一致[重载冲突]

8 年前

patyx · SMLNJ将字符串列表解析为具有多个数据类型的元组列表

8 年前

Rorschach · 转换Word8Vector。矢量到Word8VectorSlice.slice

8 年前

Saeed Mousazadeh · 如何在SML中实现LPT(最长处理时间)调度算法功能

9 年前