核心OCaml中浮点数的绝对值

Question

我需要OCaml中浮点数的绝对值函数，核心语言似乎没有，所以我写了以下内容：

let absF (f:float) = if f > 0.0 then f else (f *. -1.0);;

这似乎对积极因素有效，但对负面因素无效，引用：

此表达式的类型为float - ＆gt; float但在这里使用int类型

我的逻辑错误是什么？

Answer 1

核心语言确实有一个，abs_float。

此外，您可以使用~-.来表示一元否定，这也适用于整数以及~-运算符。您可以像这样定义这样的运算符（即使它已经存在）：

let (~-) a : int = 0 - a
let (~-.) a : float = 0.0 -. a

Answer 2

键入

时

absF -1.0;;

OCaml将其解释为

(absF) - (1.0);;

即。作为减法。相反，做

absF (-1.0);;

Answer 3

如果你有int值可以使用

# abs(-1)
- : int = 1

否则，如果你有一个浮动

# abs_float(-1.0)
- : float = 1.