是否可以通过组合列表的元素而不是创建列表列表来创建列表?
例:
List.combine ["A";"B"] ["C";"D"] ;;
我得到:[["A";"B"] ["C";"D"]]
是否可以生成["A";"B";"C";"D"]?
请帮忙!!!
Bri*_*ian 16
我认为@运营商或者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]
Run Code Online (Sandbox Code Playgroud)
| 归档时间: |
|
| 查看次数: |
10691 次 |
| 最近记录: |