F# 获取模块的成员

Question

给定

type Unit = {
            Name : string
            Abbreviation : string
            Value : float
        }

module Lets =
    let meter = { Name = "meter"; Abbreviation = "m"; Value = 1.0 }
    let millimeter = { Name = "millimeter"; Abbreviation = "mm"; Value = 1e-3 }

如何使用此签名创建函数？

let units () : Units[] = ...

Answer 1

F# 模块在编译时只是静态类。

使用反射，您应该能够通过以下方式获取这些值：

module Lets =
    type Dummy = | Dummy
    let meter = { Name = "meter"; Abbreviation = "m"; Value = 1.0 }
    let millimeter = { Name = "millimeter"; Abbreviation = "mm"; Value = 1e-3 }


let t = typeof<Lets.Dummy>.DeclaringType
t.GetProperties() |> Array.map(fun p -> p.GetValue(null, null) :?> Unit)

获取模块的类型很棘手，但这个技巧会为您解决。

编辑：

更新为直接投射到Unit。 如图所示的强制转换是不安全的，如果GetValue 没有返回Unit 类型，则会抛出。

另外，unit 是 F# 中的一种类型，使用不同的名称可能更清楚。