是否可以通过组合列表的元素而不是创建列表列表来创建列表?示例:
List.combine ["A";"B"] ["C";"D"];;
我明白了:
[("A", "C"); ("B", "D")]
是否可以生成["A";"B";"C";"D"]
?
答案 0 :(得分:15)
我认为@
运算符或List.append
是你想要的。
@
运算符的示例:
# let x = 4::5::[];;
val x : int list = [4; 5]
# let y = 5::6::[];;
val y : int list = [5; 6]
# let z = x@y;;
val z : int list = [4; 5; 5; 6]