如何在ATS中将浮点数转换为整数？

Question

例如，我需要将数字3.14（double类型）转换为3（类型为int）。我尝试过double2int，但它没有用。我也尝试了地板，但也没用。

Answer 1

您应该使用g0float2int。

例如：

#include
"share/atspre_staload.hats"
#include
"share/atspre_staload_libats_ML.hats"

implement main0() = ()

val double_pi:double = 3.14
val int_pi:int = g0float2int(double_pi) 

val () = println!(double_pi)
val () = println!(int_pi)

您可能会感到困惑，因为ATS codebase中有一个名为double2int的函数，但它对于用于定位某些语言（如JavaScript等）的库是唯一的。