ATS。如何编译非void函数？

Question

我是ML语言的新手。我正在读ATS手册，我现在发疯了。我读了一半的手册，里面没有解释如何编译一个非void函数。

只有一个"hello world"程序的例子。

ats
val x = "hello"

implement main0 () = print x

但是，如果我将x更改为2 * 2，它将引发一个错误。

我应该在没有编译代码和测试能力的情况下阅读手册吗？真恶心。

Answer 1

对于某些库函数，您需要以下代码行：

#include "share/atspre_staload.hats"

对于初学者来说，ATS可能不是一种好的语言，因为它假设有相当多的ML和C语言知识。