方法超载与计量单位

时间:2014-01-25 14:53:41

标签: f# trigonometry units-of-measurement

我正在努力创建F#试图创建接受单位角度的cos重载。

这是我的代码:

[<Measure>] type rad
[<Measure>] type deg
let toRad(x:float<deg>) =
    (float x) * 3.14159265 / 180.0
    |> LanguagePrimitives.FloatWithMeasure<rad>
let cos (angle: float<rad>) = cos(float angle)
let cos (angle: float<deg>) = cos(toRad angle) // get duplicate definition of cos here

编译器抱怨最后一行的cos重复定义。

1 个答案:

答案 0 :(得分:5)

测量类型被删除(请参阅specification),因此您实际上有两个导致错误的cos(angle: float)定义。

您可以为两种可能性创建联合类型

type Angle = Degrees of float | Radians of float

或赋予函数不同的名称。