inheritance - 创建具有常量值的 F# 记录类型

Question

假设我有一个如此定义的记录...

type Employee = {Name : string; Salary : int}

我想要另一种类型，其中 Salary 是固定的。我希望能够说...

type Manager = {Name: string; Salary : int = 250000}

...但我好像做不到。

我有什么选择才能获得这种行为？

Answer 1

你可以给你的记录一个只读属性:

type Manager = 
    {
        Name: string
    }
     member this.Salary = 250000

FSI 示例:

> let m = { Name = "Foo" };;

val m : Manager = {Name = "Foo";}

> m.Name;;
val it : string = "Foo"
> m.Salary;;
val it : int = 250000