JavaScriptで学ぶ関数型プログラミング

73

3.3　動的スコープ

図 3-1　変数のルックアップは一番内側のスコープから始まり、順次外側を参照する

3.3

 

動的スコープ

 プログラミングにおいて最も過小評価され、かつ過度に乱用されている考え方のひ

とつに動的スコープ（

dynamic scope

）があります。その理由のひとつは、ほとんど

の言語が動的スコープをそのバインディング解決の最も主要な方法として使用しない

ということです。動的スコープは単純な機構ですが、ほんの一握りのモダンプログ

ラミング言語だけが主要なスコープ機構として採用しており、初期のバージョンの

Lisp

の他には広く採用されている例がありません

†

。しかし、動的スコープの仕組み

をただ単純に再現するためには、わずかなコードしか必要とされません。

var globals = {};

 まず第一に、動的スコープは、名前と名前に紐付いている値のペアを格納した

グローバルなテーブルである、という思想に基いて構築されています

††

。どの

JavaScript

エンジンの中心にも巨大なルックアップテーブルが

1

つ存在します（もし

†

初期の

Lisp

が備えているものを知りたい場合は

John McCarthy

の「

Recursive Functions of Symbolic

Expressions and Their Computation by Machine, Part I

」と、

McCarthy

、

Abrahams

、

Edwards

、

Hart

、

Levin

による「

LISP 1.5 Programmer ...