dolphindb - DolphinDB 配列の要素を 1 つおきにスキップする

Question

元の配列の他のすべての要素を含む配列を取得しようとしていますa。pythonでは、これを行うことができますa[::2]. DolphinDB でこれをどのように簡単かつ迅速に行うことができるのだろうか。

forループを記述してappend!、1 つおきの要素を繰り返すことができます。しかし、それはエレガントなソリューションではないと思います。

a = 1..10
result = []
skip = false
for (element in a) {
    if (!skip)
        result.append!(element)
    skip = !skip
}