我需要在 StandardML 中编写一个 concat 函数,这样:
concat [[5,4,3],[],[9,5],[],[],[1,1]] = [5,4,3,9,5,1,1]
我是 SML 的新手,所以我认为我不完全了解如何分解列表并附加它们。答案可能会使用内置的附加功能
aList @ bList
谢谢!
我需要在 StandardML 中编写一个 concat 函数,这样:
concat [[5,4,3],[],[9,5],[],[],[1,1]] = [5,4,3,9,5,1,1]
我是 SML 的新手,所以我认为我不完全了解如何分解列表并附加它们。答案可能会使用内置的附加功能
aList @ bList
谢谢!