传递元组时类型不匹配

Question

以下函数接受一个列表、一个元组 (a, b)，其中 'a' 是一个浮点元组和一个要测试的查询。

checkDist 是一个函数，它接受两个浮点数元组并返回所有点之间的距离。

现在，我的问题是我遇到了类型不匹配错误并且无法弄清楚原因。似乎将 infer 'a' 输入为单个浮点数，而不是 float * float。

let intoTp lst (a, b) qry = 
   let rec intoTpLoop lst prevMax =
      match lst with
      | [] -> []
      | (feat, value) :: t ->
         let curr = checkDist feat qry    // current max
         let prev = checkDist prevMax qry // prev max

         // Check to replace top
         if prev < curr then
            let nextMax = (feat, value)
            prevMax :: intoTpLoop t nextMax
         else
            (feat, value) :: intoTpLoop t prevMax

   intoTpLoop lst (a, b)

谢谢，

Answer 1

所以你调用了两次checkDist，第一次传递feat，这是一个单值，第二次传递prevMax，这是一个元组。有你的矛盾。

当对类型推断发生的情况有疑问时，添加类型注释有助于澄清应该是什么（对推理引擎、对您自己和对我们而言）。