ats
-
:<>（冒号小于大于）在 ats 中是什么意思
-
ATS 证明：如果需要大于或等于，为什么这个是静态的？
-
ATS - 约束 C3NSTRprop(C3TKmain(); S2Eeqeq(S2Eintinf(0); S2Evar(abc(4303)))) 指的是什么？
-
为什么我不能调用本地定义的相互递归函数的后半部分？
-
为什么通用函数模板不能使用 fnx 来确保它们是 tail-recursive？
-
声明相互递归类型
-
证明如果 string_is_prefix returns 为真，则字符串的长度与前缀一样大
-
从自由线性对象接收到的结构的生命周期是多少？
-
堆叠点符号需要什么类型？
-
应该如何使用与 BoehmGC 敌对的库中的字符串？
-
extern praxi 和 extern castfn 在表现力上有什么区别吗？
-
我怎样才能引用文字数组的静态已知大小和类型？
-
如何解决对 dynloadflag 的未定义引用？
-
是什么导致错误 `make: Nothing to be done for 'x.o'.` for some x？
-
为什么这个模板可以在单个文件中使用，但不能跨文件使用？
-
如何用 prfun 替换静态断言？
-
如何创建具有数据类型值的映射或哈希表？
-
你如何对负 1 进行模式匹配？
-
在 ATS 中实现 getenv()
-
如何在 ATS 中使用（或迭代）数组