OCaml - 此表达式具有float类型，但表达式的类型为int

Question

如果我使用truncate，为什么我会收到此错误？truncate应该将float转换为int？它包含一个整数列表。

let find_closest bi =
    let bi_integer = (car bi) in 
    truncate (floor ((log bi_integer)/(log 2)))

Answer 1

使用true代替(float_of_int bi_integer)。另外使用bi_integer代替/.并使用/代替2.0 - OCaml在类型之间没有隐式转换。