f# - 进行赋值时是否可以在 F# 中强制记录类型？

Question

为了解释我认为最好举个例子:

type myRec = {x: string}
type myRec2 = {x: string}
let x = {x = "hello"}
let y(a: myRec) = a.x
y(x);;

  y(x);;
   --^

error FS0001: This expression was expected to have type
    myRec    
but here has type
    myRec2

那么我如何强制 x有类型 myRec如果两者都 myRec和 myRec2有相同的签名吗？

Answer 1

let x = { myRec.x = "hello" }
// or
let x:myRec = { x = "hello" }
// or
let x = { x = "hello" } : myRec

更多详细信息和示例可在 the documentation 中找到.

编辑:从评论中合并了替代方案。