Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/fsharp/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
F#-将字符串转换为<;m>;?_F# - Fatal编程技术网

F#-将字符串转换为<;m>;?

F#-将字符串转换为<;m>;?,f#,F#,是否有任何方法可以将正常的字符串转换为,其中m是度量值类型?我会使用 let convert (s:string) : float<m> = float s |> LanguagePrimitives.FloatWithMeasure let convert(s:string):float= 浮子 |>LanguagePrimitives.FloatWithMeasure 我会使用 let convert (s:string) : float<m> =

是否有任何方法可以将正常的
字符串
转换为
,其中
m
是度量值类型?

我会使用

let convert (s:string) : float<m> = 
  float s 
  |> LanguagePrimitives.FloatWithMeasure
let convert(s:string):float=
浮子
|>LanguagePrimitives.FloatWithMeasure
我会使用

let convert (s:string) : float<m> = 
  float s 
  |> LanguagePrimitives.FloatWithMeasure
let convert(s:string):float=
浮子
|>LanguagePrimitives.FloatWithMeasure

除了kvb的方法之外,另一个选择是将原始浮点值乘以
1.0

let convert(s:string)=
(浮点数)*1.0

除了kvb的方法之外,另一个选择是将原始浮点值乘以
1.0

let convert(s:string)=
(浮点数)*1.0

要添加另一种选择,我可能会写:

let inline convertToMeters x : float<m> = unbox (box (float x));;

要添加另一种选择,我可能会写:

let inline convertToMeters x : float<m> = unbox (box (float x));;

我不知道,似乎有点原始。我不知道,似乎有点原始。请注意,如果你想泛化,你可以走得更远,结果类型可以是
float注意,如果你想泛化,你可以走得更远,结果类型可以是
float