Representação AST homogênea vs. heterogênea

Quais são as razões para escolher uma representação AST homogênea versus heterogênea para implementar uma linguagem de programação específica de domínio complexa?

Só para ficar bem claro sobre o que estou perguntando, aqui estão alguns detalhes extras:

Por homogênea, quero dizer uma árvore construída de nós que são um único tipo genérico . Por exemplo, acho que essa questão é realmente independente de linguagem, mas usando uma estrutura do tipo C ++ para ilustração, eu consideraria isso um nó de árvore de sintaxe abstrato homogêneo mínimo:

struct Node {
  int tag;
  void *data;

  Node *first_child;
  Node *next_sibling;
};

Por heterogêneo, quero dizer uma árvore construída de nós que são múltiplos tipos individuais (por exemplo, um para cada produção de gramática). Por exemplo, eu não quero assumir uma linguagem específica, mas novamente usando structs para ilustração em C ++, eu consideraria esses tipos parte de uma hierarquia usada para construir uma árvore de árvore de sintaxe abstrata heterogênea:

struct Node {};

struct Integer_Node : Node {
  int value;
};

struct Plus_Node : Node {
  Node *right;
  Node *left;
};

struct If_Statement : Node {
  Node *Condition;
  Node *Then_Expression;
  Node *Else_Expression;  
};

// ... more types, depending on the language ...

Ao longo dos anos, eu implementei vários pequenos compiladores para propósitos especiais, geralmente de maneira muito específica. Eu nunca usei muito "AST" real porque normalmente a tradução direta da sintaxe tem sido boa o suficiente.

Agora, estou no processo de projetar e implementar uma nova linguagem, muito mais complexa, na qual estarei construindo uma AST e, em seguida, percorrendo-a com vários passes para verificação, análise semântica e assim por diante.

Por exemplo, parece que usar um esquema homogêneo reduz a quantidade de código na frente, mas eu me pergunto se um esquema heterogêneo vai compensar melhor a longo prazo por razões que não estou considerando. Por outro lado, o esquema heterogêneo parece permitir beneficiar-se da verificação do tipo estático do compilador, do despacho do método virtual, etc, mas eu me pergunto se isso é realmente muito útil ao desenvolver passagens semânticas e assim por diante.

Basicamente, espero obter alguns insights daqueles que podem ter alguma experiência real aqui. Li muitos livros sobre compiladores e tenho uma quantidade moderada de experiência básica em compilação de compiladores, mas não vi essa dicotomia específica abordada em nenhuma literatura na qual eu possa colocar minhas mãos.