Как прочитать текстовый файл в dolphindb?

Question

В руководстве dolphindb написано, что он может читать файл как

fin = file("C:/DolphinDB/test.txt")
x=fin.readLine()

Но readLine() вернет строку этой строки.

У меня есть текстовый файл вроде:

1 2 3 4 5 6 7 8 9

Как я могу получить эти девять цифр одну за другой?

Answer 1

После прочтения строки используйте приведенный ниже код для преобразования

split(readLine(), ' ').int()