分析沒有固定/靜態語義的樹？

Question

我試圖分析一個動態語言，可以有多個翻譯，這取決於概率。我還是有幾個定義的類型在我的語言，比如數，向量等..

例如，如果我們看到的表達式「A + B」，那麼這可能是增加了兩個數字的它可以是兩個向量的添加。 一個數字更可能，因此我們認爲'最佳'表示是兩個數字的總和。然而，它們可能是矢量，所以我仍然想保持這種「不太可能」的表示。

如果後來我看到了「A/B」後來我才知道，他們不能是向量，向量爲師是不確定的。所以我會放棄'矢量'表示，正確的表達方式盛行。

我想通過分析AST來做到這一點。問題是，由於類型和操作符的許多可能組合，我們有一個組合爆炸。

在適當的策略或模式，我可以用任何想法？我正在考慮針對不同組合的訪問者類型，它們並行運行以給結構賦予最佳含義。有點像在自然語言處理中分析轉折。

我使用ANTLR的樹行走機構進行了分析，那麼具體到該系統，或者動態語言實現語義的引用，將不勝感激。

Answer 1

從我的角度來看，你需要的實質上是一個類型推斷系統，這是在編程語言中自動演繹一個表達式的類型。你可以從the wikipedia page about type inference開始，然後花一些時間去了解the Hindley–Milner algorithm。

的AST只是一個編譯器的開始，所以你應該試着習慣打造的AST的具體數據結構和寫入遊客多次遍歷樹。語義部分只在你構造完整的AST之後纔開始。