在ATS中構建/壓扁列表清單

Question

如何在ATS中構建列表清單？例如，我想列出一個由列表（1,2,3）的所有排列組成的列表。

另外，我該如何將列表列表放到列表中？

Answer 1

說你要使用列表0（沒有索引）：

val xs1 = g0ofg1($list{int}(1,2,3)) 
val xs2 = g0ofg1($list{int}(1,3,2)) 
val xs3 = g0ofg1($list{int}(2,1,3)) 
val xs4 = g0ofg1($list{int}(2,3,1)) 
val xs5 = g0ofg1($list{int}(3,1,2)) 
val xs6 = g0ofg1($list{int}(3,2,1)) 
val xss = g0ofg1($list{list0(int)}(xs1, xs2, xs3, xs4, xs5, xs6)) 

壓扁，您可以使用list0_concat：

fun{a:t@ype} 
flatten(xss: list0(list0(a))): list0(a) = list0_concat<a>(xss)