如何将字符串转换为ATS中的浮点数？

Question

基本上，我寻找以下类型的一个函数：

fun string2double(rep: string): double 

，其将表示为浮点数入号的字符串。例如，string2double("3.14")应返回3.14。

Answer 1

可以实现如下：

fun string2double(x: string): double = g0string2float_double(x)