Question

我是F＃的新手，我正在尝试一些事情来解决这个问题。

我有两种类型几乎相同（坐标和矢量）。由于这种类型的推断无法正常工作，我很难在每个函数上指定正确的类型。

它在某种程度上不符合这里的矢量：

type Coordinate = {X:int; Y:int}
type Vector = {X:int; Y:int}

let calculateVector (origin:Coordinate) (destination:Coordinate) = { X=destination.X-origin.X; Y= destination.Y-origin.Y;}

在这里，当我想要一个返回类型的Coordinate时，我找不到如何为此函数指定返回它：

let calculateNextCoordinate (coordinate:Coordinate) direction = 
   match direction with
   | "N" -> { X=coordinate.X; Y=coordinate.Y-1 }
   | "NE" -> { X=coordinate.X+1; Y=coordinate.Y-1 }
   | "E" -> { X=coordinate.X+1; Y=coordinate.Y }
   | "SE" -> { X=coordinate.X+1; Y=coordinate.Y+1 }
   | "S" -> { X=coordinate.X; Y=coordinate.Y+1 }
   | "SW" -> { X=coordinate.X-1; Y=coordinate.Y+1 }
   | "W" -> { X=coordinate.X-1; Y=coordinate.Y }
   | "NW" -> { X=coordinate.X-1; Y=coordinate.Y-1 }
   | _ -> coordinate

我在默认情况下出现此错误：此表达式预计会有“向量”，但此处的类型为“坐标”

我厌倦了在这个网站上查看功能签名，但对于我的问题却无法解决问题：https://fsharpforfunandprofit.com/posts/function-signatures/

问题：

如何解决此错误？

是因为推理类型默认采用与属性匹配的最后一个类型（在我的示例中为Vector）吗？

奖励：在F＃中有更好的方法来处理这种情况吗？

提前致谢

Answer 1

由于记录是使用其成员名称构建的：

{ X = 2; Y = 3}

您在Vector和Coordinate之间创建了命名冲突。在F＃中，编译器总是在这种情况下解析为最新定义，因此，在您的示例中，编译器会将记录{X = ...，Y = ...}解释为Vector。

F# records on fsharpforfunandprofit.com上有一篇很好的文章，解释了如何轻松处理这个问题，我建议你阅读以获得一个很好的解释。

但简而言之，您可以使用记录类型为记录实例的任一成员添加前缀：

{ Coordinate.X = 2; Y = 3 }  // Creates a Coordinate
{ X = 2; Coordinate.Y = 3 }  // Creates a Coordinate

和

{ Vector.X = 2; Y = 3 } // creates a vector

F＃类型和功能签名

1 个答案: