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

Question

基本上，我正在寻找以下类型的功能：

fun string2double(rep: string): double

将表示浮点数的字符串转换为数字。

例如，string2double("3.14")应该返回3.14。

Answer 1

可以按如下方式实施：

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