请问一下，DolphinDB有没有实现这种操作的函数：
a = [INT, INT, LONG] b = ["1", "2", "3"] c = b $ a
可以使用dolphindb中的高阶函数loop，示例代码如下：
a = [INT, INT, LONG] b = ["1", "2", "3"] c = loop($, b, a)
