解析这个模板化的 DSL 需要多少遍？

Question

所以我有一个基本的DSL来定义东西，你可以如何使用它的一个例子是：

class person
  field email, default <foo@example.com>
  field name, default <foo>

  function login
    input self
    input password

    call service/login
      loan self/email
      loan password

这是简单的情况，很容易将其编译成class object，其中包含每个fields和methods属性等。

{
  type: 'class',
  fields: ['email', 'name'],
  methods: [
    {
      name: 'login,
      inputs: ['self', 'password'],
      body: [
        {
          type: 'call',
          path: 'service/login'
          ...
        }
      ]
    }
  ]
}

这很简单/容易，因为该代码中没有动态评估的块。 我们可以直接在代码中使用{}大括号添加插值。 它们不是字符串，字符串在尖括号<>中，并且可以评估模板变量，但这不是重点。

那么如果你使用这样的插值呢：

variable type, term person

class {type}
  field email
  field name

理论上应该评估为class person 。 或者如果你有这样的东西怎么办：

variable type-type, term class
variable type, term person

invoke-template foo
  bind a, loan type-type
  bind b, loan type

template foo
  input a
  input b

  resolve
    {a} {b}
      field email
      field name

理论上，我们应该得到同样的结果！

我们也可以 go更迂回！

variable type-type, term class
variable type, term person
variable x, term invoke-template
variable v, term variable
{v} x-a, term a

{x} foo
  bind {x-a}, loan type-type
  bind b, loan type

template foo
  input a
  input b

  resolve
    {a} {b}
      field email
      field name

注意：不必担心这里使用的关键字，您可以随意定义关键字，但是您需要在某种解析器中解析树中的关键字。

我的问题是，使用这种系统，我怎样才能得到某种 AST object 的“最终”形式，例如class object？ 在最后一个示例中，我必须解析invoke-template才能最终实现我们以迂回的方式执行class person 。 此外，模板是在调用之后定义的。

在这种系统中，您需要多少次通过才能到达最终的 output？

1. 第一遍：使用模板变量构建语法树。
2. 第二遍：解析变量？

是这样吗？ 是否会有超过 2 次通过来解析变量？ 是否只有 3 遍，或任意数量的n ，取决于它的复杂程度？ 基本上我想知道它是否可以在已知或未知数量的通行证中解决。