静的な親（静的リンク）を持つopensourceインタープリタの実装はありますか？

Question

私自身の言語インタープリタの実装に興味があります。 Sebestaの「プログラミング言語の概念」の第10章によれば、新しいARI（アクティブレコードインスタンス）は、プログラミング言語がこのような入れ子関数を可能にするときに静的な親で埋められる。この単純な例では

f(){ 
    int x; 
    g() { int y = x+1; ..}  // definition of g 

    k(t) {      // definition of k 
      h(t) { t();..}  // definition of h... it calls g() via t() 
      h(t);     // this will call g(); 
    } 

    k(g);       // this will call h() with g 

} 

、Gが呼び出されたとき、Gのための新しいARIが作成され、このARIの静的リンクをfのARIが供給され、以前にランタイムスタックに存在。

しかし、ARIの静的な親を「実行時に」決定する方法を明確に理解することは難しいです。最も単純な方法は、静的な親の既存のARIを見つけるまでランタイムスタック全体を検索することですが、効率的な方法ではないと言われています。だから私はより良いオプションを試してみたいと思っています。これは "呼び出し元の静的な祖先をナビゲートしています。"

上記の例では、g（）がt（）を介してh（）から呼び出されたときに、まず呼び出し元hに行きました（この例では、呼び出し元の静的リンクから静的リンクをたどってこれを達成できます） ）の静的な親のARIを見つけ、再びそのARIの静的な親に行き、f（）のARIを満たすまで繰り返す。したがって、この例では、h-k-fのARIのチェーンに従います。 （より深いネスティングのために、より長いARIリンクのチェーンをたどります。）

私の質問は次のとおりです。

• （以下、簡単な）方法上記の各ARIの静的リンクを使用しているJavaScriptのようなネストされた関数、と一般的に使用される 言語の実際の通訳やコンパイラ、のいずれかがありますか？
• もしそうなら、インタプリタ/コンパイラのソースコードをチェックして動作を確認する方法はありますか？

ありがとうございます。ここで

Answer 1

はLuaのにあなたのコードの翻訳です：

function f() 
    local x = 0 
    local function g() 
     local y = x+1 
     return y 
    end 
    local function k (t) 
     local function h (t) 
      return t() 
     end 
     return h(t) 
    end 
    return k(g) 
end 

とテスト：

ここ

function f() 
    local x = 0 
    local function g() 
     local y = x+1 
     -- etc 
    end 
    local function k (t) 
     local function h (t) 
      t() 
      -- etc. 
     end 
     h(t) 
    end 
    k(g) 
end 

は、我々はそれが実行されることを証明できるような値を返す別のバージョンであります

> =f() 
1 
> 

Roberto Ierusalimschy、Luiz Henrique de FigueiredoおよびWaldemar CによるThe Implementation of Lua 5.0を参照してください。 eles、特に第5章「関数とクロージャ」を参照してください。

バージョン5.1.4の場合はLua annotated source code、の場合はLua annotated source codeが表示されます。