摆弄数字转换的类型推断答案

【问题标题】：Fiddling type inference on number conversion摆弄数字转换的类型推断
【发布时间】：2010-02-23 13:50:31
【问题描述】：

我有一个接受类型输入的函数

('a * (float * 'b * float)) list

我显然希望避免显式包含类型。

问题是我使用十进制函数将第二个浮点数转换为十进制。

let v2 (_,(_,_,v)) = decimal v

所以类型推断默认会看到这个：

('a * (float * 'b * int)) list

有什么聪明的办法可以避免显式包含函数的类型签名吗？

【问题讨论】：

【解决方案1】：

这样做有什么问题吗？

let v2 (_,(_,_,v:float)) = decimal v

【讨论】：