Question

我有一个包含每日权重的csv文件，如下所示：

Date,Name,Weight
11-Sep-2017,Alpha,9-1
13-Sep-2017,Alpha,8-13
15-Sep-2017,Alpha,8-11

虽然我可以使用CsvProvider成功导入它们，但是权重列默认为System.DateTime。

    // Weight
    [<Measure>] type lb

    [<Literal>]
    let input = "DayWeights.csv"
    type Weights = CsvProvider<input, HasHeaders=true>

    let data = Weights.GetSample()
    for row in data.Rows do
        printfn "Output: (%A, %A, %A)" row.Date row.Name row.Weight

是否可以创建一个度量单位（UoM）来定义“stlb”，并选择在导入时转换为lbs，如果是，如何？

Answer 1

我认为你不能将stone-pounds表示为单个数字类型，并且度量单位只能用于数字类型（尽管将来有some discussion更改此信息）。这是因为它们的某些功能仅对加法和乘法等数值运算有意义。单位本身成倍增加并划分：

[<Measure>] type lb
2<lb> + 2<lb> // 4<lb>
2<lb> * 2<lb> // 4<lb ^ 2>
2<lb> / 2<lb> // 1

如果您希望某种标记知道给定值具有某种类型的石头 - 磅，则可以创建单个案例区分联合，而不是度量单位：

type StonesPounds = StonesPounds of int * int

// StonesPounds -> int<lb>
let convertToLb (StonesPounds (s, p)) = (s * 14 + p) * 1<lb>

StonesPounds (1, 2) |> convertToLb // 16<lb>

与测量单位相比，这种方法的缺点是您必须在使用数字之前在代码中手动打包和解压缩这些值，并且运行成本也是如此。

Answer 2

我解决了将输入权重列自动转换为System.DateTime的问题，如下所示：

// http://fssnip.net/27
let lazySplit (sep:string) (str:string) =
    match sep, str with
    | ((null | ""), _) | (_, (null | "")) -> seq [str]
    | _ ->
      let n, j = str.Length, sep.Length
      let rec loop p =
        seq {
          if p < n then
            let i = match str.IndexOf(sep, p) with -1 -> n | i -> i
            yield str.Substring(p, i - p)
            yield! loop (i + j)
        }
      loop 0

let weight input =
    input
    |> (fun x -> lazySplit "/" x |> Seq.take 2 |> String.concat("-"))

let data = Weighings.GetSample()
for row in data.Rows do
    let stlbs = weight (string row.Weight)
    printfn "Output: (%A, %A, %A)" row.Date row.Name stlbs

// Output: 11-Sep-2017,"Alpha","09-01")

感谢您的专业帮助和指导。

F＃ - 重量（测量单位）石头 - 磅

2 个答案: