OCaml：带条件的简单函数不起作用

Question

我是OCaml的新手，我正在学习它。 我试图执行一个简单的函数，根据a和b的值计算(a+b)^2或(ab)^2

我正在尝试具有如下功能

let a_squared_b a b = 
if(a<0 || b<0) then 
(a**2 + b**2 + 2*a*b) 
 else 
(a**2 + b**2 - 2*a*b);;

它会返回一个警告

Error: This expression has type int but 
an expression was expected of type float

所以我尝试了以下一个：

let a_squared_b (a:float) (b:float) : float = 
if(a<0 || b<0) 
then (a**2 + b**2 + 2*a*b) 
else (a**2 + b**2 - 2*a*b);;

这也警告了一些事情。 因此，我继续检查该函数是否有效，但它返回错误的结果 -

a_squared_b 2 2;;
- : int = 0         

我不确定我做错了什么，任何帮助都将不胜感激

Answer 1

简而言之，OCaml对整数和浮点数使用不同的运算符，即( *. )代替( * ) ， (+.)代替(+)等。另外，你应该使用2.而不是2来获得float类型的“变量” 。

# let a_squared_b (a:float) (b:float) : float = if(a<0. || b<0.) then (a**2. +. b**2. +. 2. *. a*. b) else (a**2. +. b**2. -. 2. *. a*. b);; val a_squared_b : float -> float -> float = <fun>
# a_squared_b 2. 2.;;

您可以获得更多信息，例如， 那里