静的スコープ (レキシカルスコープ) と動的スコープ

定義

静的スコープ (レキシカルスコープ) と動的スコープは、ASTへ名前解決と型など文脈依存の制約を適用する処理である。対象、前提、入力、結果を区別する。

仕組みと具体例

変数参照を最内側の宣言へbindし、関数callの引数型と戻り型を検査する。通常時に加え、境界値、失敗、並行実行、依存条件の変化も追跡する。

実践と検証

symbol tableとscopeを明示し、error後も安全に解析を継続して位置付き診断を返す。期待結果を観測可能に記述し、最小例から異常系へ広げる。

トレードオフ

精度・性能・単純さ・運用costの間にはtradeoffがある。適用範囲を広げる前に解決するriskと仮定を確認し、例外には理由と代替策を記録する。