努力在 TypeScript 中创建一个简单的列表解析器而没有任何突变

Question

我正在尝试在 TypeScript 中编写一个非常基本的 lisp 解析器，它将string （在本例中为 lisp 代码）转换为语法树（嵌套的 arrays 表示解析的 s 表达式），同时避免任何突变。

这是我到目前为止的进展：

 // The lisp code used as input.
const input = "(+ 1 1 (+ 2 2) (+ 1 1))"

// My tokenizer, which does the job fine.
function tokenizer(input: string): string[ {
  return input
    .replace(/\(/g, " ( ")
    .replace(/\)/g, " ) ")
    .trim()
    .split(/\s+/)
}

// The parser, which doesn't work as expected.
function parser(tokens: string[], list: any[] = []): any[] {
  if (tokens.length == 0)
    return list

  const [head, ...tail] = tokens

  if (head === "(")
    return [...list, parser(tail)]

  if (head === ")")
    return list

  return parser(tail, [...list, head])
}

我想不通的是如何在第一个括号关闭后继续解析剩余的令牌。

例如，解析器当前返回[ "+", "1", "1", [ "+", "2", "2" ] ] 。

我尝试在关闭时通过剩余的标记再次递归，但这会将任何进一步的表达式嵌套在前一个表达式中：

function parser(tokens: string[], list: any[] = []): any[] {
  if (tokens.length == 0)
    return list

  const [head, ...tail] = tokens

  if (head === "(")
    return [...list, parser(tail)]

  if (head === ")")
    return parser(tail, list)

  return parser(tail, [...list, head])
}

返回[ "+", "1", "1", [ "+", "2", "2", [ "+", "1", "1" ] ] ]

任何解决此问题的帮助将不胜感激。 干杯!