F＃中的计量单位“类型”

Question

我正在为F＃中的测量单位编写转换函数。 有关值的信息来自ASP.NET Web应用程序。

我创建的函数定义如下：

let convert (x:float<_>) (toType : string) =
  // Do conversion here.

我遇到的第一个问题涉及toType：字符串定义。 有没有什么方法可以定义它来接受float<_>类型...特别是来自Web应用程序？ （我知道它是基于Andrew Kennedy的优秀文章的CLR的一部分，但我不知道如何在函数中一般地定义它。

感谢您的任何帮助，您可以提供。

Answer 1

由于测量类型在运行时被删除，我认为不可能做你想做的事情。 特别是，对于度量类型，没有什么类似于运行时类型测试（例如F＃（：？）运算符）。

您希望在convert函数中实现什么类型的逻辑？

UPDATE

根据您提供的其他信息，这里有一些更多的想法：

F＃的计量单位的重点是在编译时强制以适合于单位的方式使用数量。 这意味着您无法编写函数convert : float<'t> -> float<'u> - 如果您的用户尝试执行无意义的转换（例如将某些内容从float<kg>转换为float<m/s^2> ）？ F＃的单位类型的工作是静态地防止这样的转换。
但是，如果您有一个已知的可互换类型列表，则可以通过使用乘法来执行导致非单元泛型返回类型的转换：
```
 [<Measure>] type m [<Measure>] type km let convert (f:float) (s:string) : float<m> = match s with | "m" -> f * 1.0<m> | "km" -> f * 1.0<km> * 1000.0<km/m> | _ -> failwith (s |> sprintf "Unknown unit of measure: %s") 
```
这始终以米为单位返回结果，该结果基于无单位数量和它所代表的单位的名称。

Answer 2

如果你只想阅读“2.0英尺”和“5.0米”那么

这是每个想要从外部世界获取强类型数据的应用程序的典型特征; 有一个输入组件必须解析并验证输入并将其存储到强类型数据结构中，然后程序可以使用该数据。

（在任何库中都没有神奇的解析器/输入验证器，您只需为您的数据类型执行此操作。）