ホストが標準関数を上書きできるようにしたい

[FineArchs]

aiscript/src/interpreter/index.ts

Lines 50 to 54 in 38f36ef

	this.vars = Object.fromEntries(Object.entries({
	...consts,
	...std,
	...io,
	}).map(([k, v]) => [k, Variable.const(v)]));

ここの...consts,を一番下にすればホストが同名の関数を提供することで既存の関数を上書きできるようになるはずなのでそうしたい

[syuilo]

上書きしたいのはなぜ？

[FineArchs]

関数にバグやパフォーマンス上の問題があった時に自力救済ができるというのと、
ユースケース次第では一部の関数の使用を禁止したい場合があるかもしれないので、そういう場合にメッセージを出す関数で上書きするなどの処置が取れるといいかなと思っています

[uzmoi]

stdをデフォルトから分離して、ホスト側がプリセット的なものを選択してconstsと一緒にインタプリタに渡すようにしてもいいなと思いました。
使わないデフォルトの実装をtree-shakingで落とせるのと、#45 とかで信頼できる環境でだけデフォルト実装を使う関数とかが入ったときに、上書きし忘れとかアップデートで増えた新しい関数の上書きし忘れとかを防げるので。

[FineArchs]

同パッケージ内でも、ファイルを分けてお互いに参照しない状態にすればtree-shakingは効きましたっけ？

[uzmoi]

ファイル分けてなくても変数が参照されていなければ効きますね。
例えば以下のようにすればstdPresetAllやUnsafe:functionの実装は参照されていないので消えます。

// aiscript.ts
export const stdPresetSafe = {
  'Safe:function': FN_NATIVE(/* implements */),
};
export const stdPresetAll = {
  ...stdPresetSafe,
  'Unsafe:function': FN_NATIVE(/* implements */),
};

export class Interpreter {
  constructor(consts, options) {
    // ...
  }
  // ...
}

// host.ts
import { Interpleter, stdPresetSafe } from './aiscript';
const interpreter = new Interpreter(stdPresetSafe);

[uzmoi]

すいません、駄目な気がして試したらファイル分けてなくてもは嘘でした。
ファイル分けてれば効きます。
ファイル分けない場合は関数にすれば効きます。

export const stdPresetSafe = () => ({
  'Safe:function': FN_NATIVE(/* implements */),
});
export const stdPresetAll = () => ({
  ...stdPresetSafe(),
  'Unsafe:function': FN_NATIVE(/* implements */),
});

[syuilo]

よさそう

[FineArchs]

stdを

• 上書き可能にする（既存のInterpreterを使うコードを変更しなくてよい）
• 別添にする（Tree-shakingが効くようになる）

の2案出てますがどうします？

（stdを使用しない版のPureInterpreter(仮)を別でexportする方法もあります。両方のメリットを得られると思います）

[syuilo]

別添が良いかも