处理记录

Question

我需要从记录中提取状态的字符串版本。代码如下：

type State = State of string

type Data = 
   { State : State
     Year : int
     Income : float }

我需要做的是提取每个状态的字符串版本序列，而不是状态“字符串”。当我尝试执行以下操作时，我得到一个空序列。在运行处理数据并将数据映射到上述记录的代码后，我运行下面的代码。

let states (row:Data) = row.State
// <fun:it@145-1> val it : unit = ()

我需要一个序列，因为最后我将使用它来检查并确保一个数据集中的状态在另一个数据集中。

已编辑：

在做了类似下面的事情之后，我仍然得到空序列。

let stateToStr (State s) = s
let statec (row:StateCsv) = (stateToStr row.State)
printfn "%A" statec
// val stateToStr : State -> string
// val statec : row:StateCsv -> string
// val it : unit = ()

在将数据映射到这样的记录之后再次：

let statepa () =
  Stat.GetSample().Rows
  |> Seq.map(fun row ->  
    { State = row.STATE 
      Year  = row.Year })

Answer 1

一般来说，您可以通过模式匹配“解开”单大小写区分联合（如您的 State 类型）：

let ma = State "MA"
let (State str) = ma
printfn "%s" str   // prints "MA"

或者，您可以将模式放在函数的参数中：

let stateToStr (State s) = s
printfn "%s" (stateToStr ma)   // prints "MA"

或者，如果您只需要在 states 函数中执行此操作一次，则可以将 State 模式嵌套在 Data 模式中：

let states { State = State s } = s

let row = { State = State "MA"; Year = 1; Income = 2. }
printfn "%s" (states row)   // Prints "MA"

模式可以嵌套，这是它们的强大功能。
这个特定的模式由两个嵌套模式组成：模式{ State = x } 将x 绑定到传入记录的字段State 的值，而模式State s 将s 绑定到State 的“内部值”。