如何在 sml 中将函数的参数从 int 转换为 real？
How to convert an argument of a function from int to real in sml?
这是我用sml写的计算调和和的代码。我基本上想计算实数
至于整数，所有的值都将评估为 0（没有任何用处）。但是这段代码出错了。
试验 1：
if y<x then 0
else f(x,y-1)+ 1/y;
错误：
Elaboration failed: Type clash. Functions of type "real * real → real" cannot take an argument of type "int * int": Cannot merge "int" and "real".
试验 2：
if y<x then 0
else f(real(x),y-1)+ 1/y;
错误：
Elaboration failed: "real" is not a constructor.
即使将 0 替换为 0.0 也没有用。请帮忙。
我得到了问题的答案。
我们基本上需要使用
if y<x then 0.0
else f(x,y-1)+ 1.0/real(y);
因为我们函数的类型是 (int*int)->real
这是我用sml写的计算调和和的代码。我基本上想计算实数 至于整数，所有的值都将评估为 0（没有任何用处）。但是这段代码出错了。
试验 1：
if y<x then 0
else f(x,y-1)+ 1/y;
错误：
Elaboration failed: Type clash. Functions of type "real * real → real" cannot take an argument of type "int * int": Cannot merge "int" and "real".
试验 2：
if y<x then 0
else f(real(x),y-1)+ 1/y;
错误：
Elaboration failed: "real" is not a constructor.
即使将 0 替换为 0.0 也没有用。请帮忙。
我得到了问题的答案。 我们基本上需要使用
if y<x then 0.0
else f(x,y-1)+ 1.0/real(y);
因为我们函数的类型是 (int*int)->real