是否支持ATS中的可变功能？

Question

可能最着名的可变参数函数是C中的printf，它可以采用可变数量的参数。有没有办法在ATS中为printf分配类型？一般来说，可以在ATS中输入可变函数吗？

Answer 1

在ATS2 0.3.8版本发布时，我们已经完成了一些工作。在ATS中找到类型可变参数函数的简单示例here。

通过模仿这个例子，是的，可以在ATS中输入类型化的可变参数。但是，目前看来，无法在ATS代码本身内解包可变参数列表。在上面链接的示例中，我们使用内联C代码来解决此限制。