在 F# 中将向量与测量单位相乘

Question

我已经编写了以下内容

[<Measure>]
type m

[<Measure>]
type s

[<Measure>]
type v = m/s

type Vector3<[<Measure>] 'a> =
    {
    X : float<'a>
    Y : float<'a>
    Z : float<'a>
    }
    static member (*)
        (v:Vector3<'a>,f:float<'b>):Vector3<'a*'b> =
        { X = v.X*f; Y = v.Y*f ; Z = v.Z * f}

现在我尝试以这种方式使用它：

let next_pos (position:Vector3<m> , velocity: Vector3<m/s> ,dt : float<s>  ->  Vector3<m>) =
     position + (velocity * dt)

它给了我一个编译器错误，但我很确定度量单位的表达是正确的。 我有什么错？

Answer 1

您尝试用于指定返回类型的语法不正确。它应该如下所示：

let next_pos (position:Vector3<m>, velocity:Vector3<m/s>, dt:float<s>) : Vector3<m> = 
  position + (velocity * dt) 

要指定函数返回 Vector3 类型的值，您需要向结果添加类型注释，这是通过编写 let foo来完成的。论据> : T = <表达式>。当向参数添加类型注释时，需要将它们放在括号中（这样语法才不会产生歧义）。正如 Paolo 在评论中指出的那样，您使用 -> 是说 dt 是一个函数，因为注释 float -> Vector3附加到参数dt。

为了使代码编译，我还必须将 (+) 运算符的实现添加到您的 Vector3 中，但我假设您已经有了（并且在发布问题）。

Answer 2

我是这样解决的（但我不确定原因）。

let next_pos (position:Vector3<m> , velocity: Vector3<m/s> ,dt : float<s> ) =
     position + (velocity * dt)

如果我显式定义返回类型，编译器似乎会失败。如果我删除它似乎无论如何都能推断出正确的类型。
但为什么会这样呢？

除此之外，在某些情况下，类型声明中的名称冲突迫使我明确指定返回类型。所以我认为这最终不是正确的解决方案。