scope - 型システムとスコープの関係?

Question

タイトルが示唆するように、これら 2 つのプログラミング概念の関係がどのようなものなのか気になります。特定のタイプ システム (静的/動的) は、特定のタイプのスコープ (字句/動的) に適していますか? それとも、これらは独立した言語の選択ですか?

Answer 1

変数バインディングは実行時に解決されるため、静的型付けは動的スコープではうまく機能しません。それは可能ですが、型システムは、おそらく束縛されたものを調べることによって、自由変数を何らかの形で型付けする必要があるため、扱いにくいでしょう。基本的に、同じ名前で異なる型の 2 つの異なる変数を宣言することはできません。タイピングの強弱も出てきます。静的で、型付けが弱く、動的にスコープが設定された言語が可能であると仮定して、どのような形になるかをまだ考えています。

レキシカルスコープは、静的型付けと動的型付けの両方と対になっています。