在 SML 中将字符串转换为实数

Question

我想将实数的字符串表示形式转换为实数类型。 我知道我可以执行 Real.fromString("5.5") 但它不会返回实数类型，而是返回实数选项类型，我无法将其与任何其他实数相乘或相加。

Answer 1

通过模式匹配或使用 Option 结构中的函数之一从选项中提取值。例如：

- val x = Real.fromString("5.5");
> val x = SOME 5.5 : real option
- Option.getOpt(x, 0.0);
> val it = 5.5 : real

Answer 2

为了补充 Michael J. Barber 的答案，选项类型是一种代数数据类型，要么是某些东西，要么是无。

通常，在机器学习中，我们通常使用模式匹配来解构代数数据类型：

case Real.fromString "5.5" of SOME x => x + 1.0
                            | NONE   => 42.0; 

您可以像 Michael J. Barber 建议的那样使用 getOpt （您实际上不需要 Option.，因为 >getOpt 是在顶级环境中），这是上面的简化版本。

或者，如果您确定它将是 SOME，则可以使用 valOf （如果为 NONE，则会出错）：

- val x = Real.fromString "5.5";
val x = SOME 5.5 : real option
- valOf x;
val it = 5.5 : real

或者您可以在 val 中对其进行模式匹配 （因为 val 也是一种模式匹配，尽管只有一个分支）：

- val SOME x = Real.fromString "5.5";
> val x = 5.5 : real