将元素最后插入列表

Question

How do you insert an element (in this case, a char) into a list so it ends up as the last element?

For example, say that I want to add #"D" as the last element in the list [#"A, #"B", #"C"] so I then would have [#"A, #"B", #"C", #"D"] .

(This should also work for inserting a string containing more than one element: adding [#"D", #"E"] should give [#"A, #"B", #"C", #"D", #"E"] .)

Answer 1

只需使用“ @”将其附加到末尾即可。

 [#"A", #"B", #"C"] @ [#"D"]