ats - 为什么 ATS 中有两种列表类型：list 和 list0？

Question

在 ATS 代码中，我经常看到两种列表类型：list 和 list0。它们之间有什么区别？

Answer 1

在内部，list-values 和list0-values 具有完全相同的表示。

您可以使用g0ofg1_list将list-value 转换为list0-value 并将g1ofg0_list-valuelist0转换为list-value。请注意g0ofg1和分别被和g1ofg0重载。类似的功能包括/和/ 。g0ofg1_listg1ofg0_listg0ofg1_intg1ofg0_intg0ofg1_stringg1ofg0_string

Answer 2

type list，如果你看一下它的定义，它是长度索引的。

类型list0不是。

有时在编程时，过分的精度对生产力来说代价太大。在这些情况下，list0可能最好使用 over list。