スコープがTemporal window

[uzmoi]

Temporal windowというのは、見えているスコープの中で直近にdefineされた変数を指す方式のこと。
ref. https://zenn.dev/qnighy/articles/f3d2d7adc75948

現状のインタプリタはTemporal windowであり、これは実行時に識別子がどの変数を指すかが変わってしまう。
具体的には以下のようなコードで、関数を呼び出すタイミングによって参照する変数が変わる。

let hoge = 0
eval {
  @f() { hoge }
  <: f() // 0
  let hoge = 1
  <: f() // 1
}

https://aiscript-dev.github.io/ja/playground.html#N4Igxg9gJgpiBcIA2MAuACAFhA5jdAvOgAwA6AdjAG4CGS6wF66AAgGYAUAlA1rvgF8m6ADzx0nHgHopJYSgzY8hdAEZhYid3Qy1FASAFA

関数が定義された時点で参照する変数を決定するTemporal Dead ZoneかLexical Windowにするべきなのでは

Temporal Dead Zone

• 一回目の呼び出しの時点でeval内の変数を参照しようとして参照エラーを出す。
• JavaScriptと同じ。

Lexical Window

• 二回目の呼び出しでも外側の変数を参照する。
• 関数が定義された時点で宣言されていない変数には触れない。

[FineArchs]

できればLexical Windowにしたい
私自身関数内で外部変数を参照する使い方をよくするので

[takejohn]

Lexical Windowで実装してみます。

[takejohn]

:: A {
	let x = "outer"
	:: A {
		@f() { A:x }
		let x = "inner"
	}
}
<: A:A:f() // "inner"

これも"outer"が出力されるようにしたほうがいいのかな？
よくわからない。

[takejohn]

@f() {
  g()
}

@g() {}

みたいに前に宣言した関数内で後の関数を参照するコードを書いていて、Lexical Windowになるとこれが動かなくなってしまうのでは？と思った……

[uzmoi]

たしかに
関数宣言時点で宣言されていない変数名の変数は関数宣言のあとで宣言しても使える、とかで対応はできるものの仕様が複雑になってよくなさそう。
JavaScriptやRustと同じように関数宣言のみhoistする事もできますが、letと違う挙動になるのでこれもよくなさそう。
JavaScriptはvarとの対応だろうし、Rustは関数と変数の名前解決が別扱いなので、@f() {}がlet f = @() {}の糖衣構文なAiScriptとはわけが違いそう。

手続き型の言語はTemporal Dead Zoneのほうが良いのかも？

[FineArchs]

色々読んだんですが、ここで言うtemporal dead zoneはスコープ内にその名前の変数宣言がある場合にのみその名前の外部変数の参照をエラーとする仕組みなんですかね？
でしたらtemporal dead zoneで問題ないです