@mirascript/mirascript 0.1.22 → 0.1.24

package/dist/vm/operations/type-check.d.ts

@@ -0,0 +1,9 @@
+import type { TypeName, VmAny, VmArray, VmRecord, VmValue } from '../types/index.js';
+export declare const $Type: (value: VmAny) => TypeName;
+export declare const $IsBoolean: (value: VmAny) => value is boolean;
+export declare const $IsNumber: (value: VmAny) => value is number;
+export declare const $IsString: (value: VmAny) => value is string;
+export declare const $IsRecord: (value: VmAny) => value is VmRecord;
+export declare const $IsArray: (value: VmAny) => value is VmArray;
+export declare const $AssertNonNil: (value: VmAny) => asserts value is NonNullable<VmValue>;
+//# sourceMappingURL=type-check.d.ts.map

package/dist/vm/operations/type-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-check.d.ts","sourceRoot":"","sources":["../../../src/vm/operations/type-check.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAGrF,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,KAAG,QAOpC,CAAC;AACF,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,OAGlD,CAAC;AACF,eAAO,MAAM,SAAS,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,MAGjD,CAAC;AACF,eAAO,MAAM,SAAS,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,MAGjD,CAAC;AACF,eAAO,MAAM,SAAS,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,QAGjD,CAAC;AACF,eAAO,MAAM,QAAQ,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,OAGhD,CAAC;AACF,eAAO,MAAM,aAAa,GAAI,OAAO,KAAK,KAAG,QAAQ,KAAK,IAAI,WAAW,CAAC,OAAO,CAIhF,CAAC"}

package/dist/vm/operations/utils.d.ts

@@ -0,0 +1,11 @@
+import type { VmAny, VmValue } from '../types/index.js';
+/**
+ * 确定操作的重载
+ * @returns 如果应按数字处理则返回 true；如果应按字符串处理则返回 false
+ */
+export declare function overloadNumberString(a: VmAny, b: VmAny): boolean;
+/**
+ * 检查两个 VmValue 是否相同
+ */
+export declare function isSame(a: VmValue, b: VmValue): boolean;
+//# sourceMappingURL=utils.d.ts.map

package/dist/vm/operations/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/vm/operations/utils.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAExD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,OAAO,CAIhE;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAgDtD"}

package/dist/vm/types/boundary.d.ts

@@ -1,12 +1,11 @@
 import type { VmFunctionLike, VmFunction } from './function.js';
-import { VmExtern } from './extern.js';
 import type { VmAny, VmConst, VmPrimitive, VmValue } from './index.js';
 /** 创建 Mirascript 函数在宿主语言运行的代理 */
 export declare function toVmFunctionProxy<T extends VmFunctionLike>(fn: VmFunction<T>): T;
 /** 解开 Mirascript 函数在宿主语言运行的代理 */
-export declare function fromVmFunctionProxy<T extends VmFunctionLike>(fn: T): VmFunction<T> | undefined;
+export declare function fromVmFunctionProxy<T extends VmFunctionLike>(fn: T): VmFunction<T> | null;
 /** 将宿主语言的值包装为 Mirascript 类型 */
-export declare function wrapToVmValue(value: unknown, thisArg?: VmExtern | null, assumeVmValue?: (obj: object) => obj is Exclude<VmConst, VmPrimitive>): VmValue;
+export declare function wrapToVmValue(value: unknown, thisArg?: unknown, assumeVmValue?: ((obj: object) => obj is Exclude<VmConst, VmPrimitive>) | null): VmValue;
 /** 取消宿主语言的值的 Mirascript 包装  */
 export declare function unwrapFromVmValue(value: VmAny): unknown;
 //# sourceMappingURL=boundary.d.ts.map

package/dist/vm/types/boundary.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"boundary.d.ts","sourceRoot":"","sources":["../../../src/vm/types/boundary.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAY,WAAW,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAGjF,iCAAiC;AACjC,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,cAAc,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAmBhF;AAED,iCAAiC;AACjC,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,cAAc,EAAE,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAO9F;AAED,+BAA+B;AAC/B,wBAAgB,aAAa,CACzB,KAAK,EAAE,OAAO,EACd,OAAO,GAAE,QAAQ,GAAG,IAAW,EAC/B,aAAa,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,GAAG,IAAI,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,GACtE,OAAO,CA0BT;AAED,+BAA+B;AAC/B,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAiBvD"}
+{"version":3,"file":"boundary.d.ts","sourceRoot":"","sources":["../../../src/vm/types/boundary.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAEhE,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAY,WAAW,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAGjF,iCAAiC;AACjC,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,cAAc,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAmBhF;AAED,iCAAiC;AACjC,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,cAAc,EAAE,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,CAOzF;AAED,+BAA+B;AAC/B,wBAAgB,aAAa,CACzB,KAAK,EAAE,OAAO,EACd,OAAO,GAAE,OAAc,EACvB,aAAa,GAAE,CAAC,CAAC,GAAG,EAAE,MAAM,KAAK,GAAG,IAAI,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,GAAG,IAAW,GACrF,OAAO,CA0BT;AAYD,+BAA+B;AAC/B,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAYvD"}

package/dist/vm/types/context.d.ts

@@ -17,9 +17,7 @@ export interface VmContext {
     has(key: string): boolean;
 }
 /** MiraScript 执行上下文 */
-export type VmContextRecord = Record<string, VmValue>;
-/** MiraScript 执行上下文 */
-export type VmContextRecordLoose = Record<string, VmAny>;
+export type VmContextRecord = Record<string, VmAny>;
 export declare const VM_SHARED_CONTEXT: Record<string, VmImmutable>;
 export declare const VM_SHARED_CONTEXT_DESCRIPTIONS: Record<string, string | undefined>;
 /** 定义在所有 MiraScript 执行上下文中共享的全局变量 */
@@ -29,7 +27,7 @@ export declare const DefaultVmContext: Readonly<VmContext>;
 /** 获取用于执行脚本的默认执行上下文 */
 export declare function createVmContext(): Readonly<VmContext>;
 /** 创建用于执行脚本的执行上下文 */
-export declare function createVmContext(vmValues?: VmContextRecordLoose | null, externValues?: Record<string, unknown> | null, describer?: ((key: string) => string | undefined) | null): VmContext;
+export declare function createVmContext(vmValues?: VmContextRecord | null, externValues?: Record<string, unknown> | null, describer?: ((key: string) => string | undefined) | null): VmContext;
 /** 创建用于执行脚本的执行上下文 */
 export declare function createVmContext(getter: (key: string) => VmValue | undefined, enumerator?: (() => Iterable<string>) | null, describer?: ((key: string) => string | undefined) | null): VmContext;
 //# sourceMappingURL=context.d.ts.map

package/dist/vm/types/context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/vm/types/context.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAK9D,uBAAuB;AACvB,MAAM,WAAW,SAAS;IACtB,YAAY;IACZ,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;IAC5B,0BAA0B;IAC1B,IAAI,IAAI,SAAS,MAAM,EAAE,CAAC;IAC1B,oCAAoC;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAC1C;;;OAGG;IACH,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,oCAAoC;IACpC,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CAC7B;AACD,uBAAuB;AACvB,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AACtD,uBAAuB;AACvB,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AACzD,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAgB,CAAC;AAC3E,eAAO,MAAM,8BAA8B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAgB,CAAC;AAS/F,qCAAqC;AACrC,wBAAgB,oBAAoB,CAChC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,WAAW,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC,EAClD,QAAQ,UAAQ,EAChB,WAAW,GAAE,MAAM,GAAG,IAAI,GAAG,SAAqB,GACnD,IAAI,CAcN;AAED,aAAa;AACb,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,SAAS,CAsB/C,CAAC;AAsEH,uBAAuB;AACvB,wBAAgB,eAAe,IAAI,QAAQ,CAAC,SAAS,CAAC,CAAC;AACvD,qBAAqB;AACrB,wBAAgB,eAAe,CAC3B,QAAQ,CAAC,EAAE,oBAAoB,GAAG,IAAI,EACtC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EAC7C,SAAS,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC,GAAG,IAAI,GACzD,SAAS,CAAC;AACb,qBAAqB;AACrB,wBAAgB,eAAe,CAC3B,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,GAAG,SAAS,EAC5C,UAAU,CAAC,EAAE,CAAC,MAAM,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,EAC5C,SAAS,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC,GAAG,IAAI,GACzD,SAAS,CAAC"}
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/vm/types/context.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAK9D,uBAAuB;AACvB,MAAM,WAAW,SAAS;IACtB,YAAY;IACZ,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;IAC5B,0BAA0B;IAC1B,IAAI,IAAI,SAAS,MAAM,EAAE,CAAC;IAC1B,oCAAoC;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAC1C;;;OAGG;IACH,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,oCAAoC;IACpC,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CAC7B;AACD,uBAAuB;AACvB,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AACpD,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAgB,CAAC;AAC3E,eAAO,MAAM,8BAA8B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAgB,CAAC;AAS/F,qCAAqC;AACrC,wBAAgB,oBAAoB,CAChC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,WAAW,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC,EAClD,QAAQ,UAAQ,EAChB,WAAW,GAAE,MAAM,GAAG,IAAI,GAAG,SAAqB,GACnD,IAAI,CAcN;AAED,aAAa;AACb,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,SAAS,CAsB/C,CAAC;AAqHH,uBAAuB;AACvB,wBAAgB,eAAe,IAAI,QAAQ,CAAC,SAAS,CAAC,CAAC;AACvD,qBAAqB;AACrB,wBAAgB,eAAe,CAC3B,QAAQ,CAAC,EAAE,eAAe,GAAG,IAAI,EACjC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EAC7C,SAAS,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC,GAAG,IAAI,GACzD,SAAS,CAAC;AACb,qBAAqB;AACrB,wBAAgB,eAAe,CAC3B,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,GAAG,SAAS,EAC5C,UAAU,CAAC,EAAE,CAAC,MAAM,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,EAC5C,SAAS,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC,GAAG,IAAI,GACzD,SAAS,CAAC"}

package/dist/vm/types/extern.d.ts

@@ -2,8 +2,8 @@ import type { TypeName, VmAny, VmConst, VmPrimitive, VmValue } from './index.js'
 import { VmWrapper } from './wrapper.js';
 /** 包装 Mirascript `extern` 类型的对象 */
 export declare class VmExtern<const T extends object = object> extends VmWrapper<T> {
-    readonly thisArg: T extends (...args: readonly never[]) => unknown ? VmExtern | null : null;
-    constructor(value: T, thisArg?: T extends (...args: readonly never[]) => unknown ? VmExtern | null : null);
+    readonly thisArg: ThisParameterType<T> | null;
+    constructor(value: T, thisArg?: ThisParameterType<T> | null);
     /** Check if the object has a property */
     protected access(key: string, read: boolean): boolean;
     /** 决定是否对属性进行包装 */
@@ -17,7 +17,7 @@ export declare class VmExtern<const T extends object = object> extends VmWrapper
     /** Call extern value */
     call(args: readonly VmValue[]): VmAny;
     /** @inheritdoc */
-    keys(): string[];
+    keys(includeNonEnumerable?: boolean): string[];
     /** @inheritdoc */
     same(other: VmAny): boolean;
     /** @inheritdoc */

package/dist/vm/types/extern.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"extern.d.ts","sourceRoot":"","sources":["../../../src/vm/types/extern.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACjF,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAUzC,mCAAmC;AACnC,qBAAa,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,CAAE,SAAQ,SAAS,CAAC,CAAC,CAAC;IAGnE,QAAQ,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,SAAS,KAAK,EAAE,KAAK,OAAO,GAAG,QAAQ,GAAG,IAAI,GAAG,IAAI;gBAD3F,KAAK,EAAE,CAAC,EACC,OAAO,GAAE,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,SAAS,KAAK,EAAE,KAAK,OAAO,GAAG,QAAQ,GAAG,IAAI,GAAG,IAAW;IAKtG,yCAAyC;IACzC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,OAAO;IAiBrD,kBAAkB;IAClB,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,SAAS,GAAG,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC;IAIxG,kBAAkB;IACT,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAGlC,kBAAkB;IACT,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK;IAKhC,mCAAmC;IACnC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO;IAMzC,wBAAwB;IACxB,IAAI,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,GAAG,KAAK;IAerC,kBAAkB;IACT,IAAI,IAAI,MAAM,EAAE;IAOzB,kBAAkB;IACT,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO;IAIpC,kBAAkB;IACT,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM;IAiB7C,kBAAkB;IAClB,IAAa,IAAI,IAAI,QAAQ,CAE5B;IACD,kBAAkB;IAClB,IAAa,GAAG,IAAI,MAAM,CAqCzB;CACJ"}
+{"version":3,"file":"extern.d.ts","sourceRoot":"","sources":["../../../src/vm/types/extern.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACjF,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAWzC,mCAAmC;AACnC,qBAAa,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,CAAE,SAAQ,SAAS,CAAC,CAAC,CAAC;IAGnE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,GAAG,IAAI;gBAD7C,KAAK,EAAE,CAAC,EACC,OAAO,GAAE,iBAAiB,CAAC,CAAC,CAAC,GAAG,IAAW;IAKxD,yCAAyC;IACzC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,OAAO;IAiBrD,kBAAkB;IAClB,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,SAAS,GAAG,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC;IAIxG,kBAAkB;IACT,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAGlC,kBAAkB;IACT,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK;IAKhC,mCAAmC;IACnC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO;IAMzC,wBAAwB;IACxB,IAAI,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,GAAG,KAAK;IAerC,kBAAkB;IACT,IAAI,CAAC,oBAAoB,UAAQ,GAAG,MAAM,EAAE;IAqBrD,kBAAkB;IACT,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO;IAIpC,kBAAkB;IACT,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM;IAiB7C,kBAAkB;IAClB,IAAa,IAAI,IAAI,QAAQ,CAE5B;IACD,kBAAkB;IAClB,IAAa,GAAG,IAAI,MAAM,CAqCzB;CACJ"}

package/dist/vm/types/index.d.ts

@@ -51,7 +51,7 @@ export interface VmValueMap {
 }
 export { isVmAny, isVmArray, isVmArrayLikeRecord, isVmArrayLikeRecordByEntires, isVmArrayLikeRecordByKeys, isVmCallable, isVmConst, isVmContext, isVmExtern, isVmFunction, isVmImmutable, isVmModule, isVmPrimitive, isVmRecord, isVmScript, isVmValue, isVmWrapper, getVmFunctionInfo, } from '../../helpers/types.js';
 export { wrapToVmValue, unwrapFromVmValue } from './boundary.js';
-export { type VmContext, defineVmContextValue, createVmContext } from './context.js';
+export { type VmContext, type VmContextRecord, defineVmContextValue, createVmContext } from './context.js';
 export { VmExtern } from './extern.js';
 export { VmFunction, type VmFunctionInfo, type VmFunctionLike, type VmFunctionOption } from './function.js';
 export { VmModule } from './module.js';

package/dist/vm/types/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/vm/types/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5C,WAAW;AACX,MAAM,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC;AAExC,6BAA6B;AAC7B,MAAM,MAAM,eAAe,GAAG,SAAS,CAAC;AACxC,qBAAqB;AACrB,MAAM,MAAM,WAAW,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAC3D;;;GAGG;AACH,MAAM,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;AACzD;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG;IACnB,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;CAC/C,CAAC;AACF,2BAA2B;AAC3B,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAC;AACvD,2BAA2B;AAC3B,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,UAAU,GAAG,QAAQ,CAAC;AAC1D,0BAA0B;AAC1B,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,QAAQ,CAAC;AAC7C,kCAAkC;AAClC,MAAM,MAAM,KAAK,GAAG,OAAO,GAAG,eAAe,CAAC;AAE9C,aAAa;AACb,MAAM,WAAW,UAAU;IACvB,SAAS;IACT,GAAG,EAAE,IAAI,CAAC;IACV,UAAU;IACV,MAAM,EAAE,MAAM,CAAC;IACf,SAAS;IACT,MAAM,EAAE,MAAM,CAAC;IACf,UAAU;IACV,OAAO,EAAE,OAAO,CAAC;IACjB,oBAAoB;IACpB,MAAM,EAAE,QAAQ,CAAC;IACjB,oBAAoB;IACpB,KAAK,EAAE,OAAO,CAAC;IACf,oBAAoB;IACpB,QAAQ,EAAE,UAAU,CAAC;IACrB,aAAa;IACb,MAAM,EAAE,QAAQ,CAAC;IACjB,oBAAoB;IACpB,MAAM,EAAE,QAAQ,CAAC;CACpB;AAED,OAAO,EACH,OAAO,EACP,SAAS,EACT,mBAAmB,EACnB,4BAA4B,EAC5B,yBAAyB,EACzB,YAAY,EACZ,SAAS,EACT,WAAW,EACX,UAAU,EACV,YAAY,EACZ,aAAa,EACb,UAAU,EACV,aAAa,EACb,UAAU,EACV,UAAU,EACV,SAAS,EACT,WAAW,EACX,iBAAiB,GACpB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEjE,OAAO,EAAE,KAAK,SAAS,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACrF,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,KAAK,cAAc,EAAE,KAAK,cAAc,EAAE,KAAK,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAC5G,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/vm/types/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5C,WAAW;AACX,MAAM,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC;AAExC,6BAA6B;AAC7B,MAAM,MAAM,eAAe,GAAG,SAAS,CAAC;AACxC,qBAAqB;AACrB,MAAM,MAAM,WAAW,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAC3D;;;GAGG;AACH,MAAM,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;AACzD;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG;IACnB,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;CAC/C,CAAC;AACF,2BAA2B;AAC3B,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAC;AACvD,2BAA2B;AAC3B,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,UAAU,GAAG,QAAQ,CAAC;AAC1D,0BAA0B;AAC1B,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,QAAQ,CAAC;AAC7C,kCAAkC;AAClC,MAAM,MAAM,KAAK,GAAG,OAAO,GAAG,eAAe,CAAC;AAE9C,aAAa;AACb,MAAM,WAAW,UAAU;IACvB,SAAS;IACT,GAAG,EAAE,IAAI,CAAC;IACV,UAAU;IACV,MAAM,EAAE,MAAM,CAAC;IACf,SAAS;IACT,MAAM,EAAE,MAAM,CAAC;IACf,UAAU;IACV,OAAO,EAAE,OAAO,CAAC;IACjB,oBAAoB;IACpB,MAAM,EAAE,QAAQ,CAAC;IACjB,oBAAoB;IACpB,KAAK,EAAE,OAAO,CAAC;IACf,oBAAoB;IACpB,QAAQ,EAAE,UAAU,CAAC;IACrB,aAAa;IACb,MAAM,EAAE,QAAQ,CAAC;IACjB,oBAAoB;IACpB,MAAM,EAAE,QAAQ,CAAC;CACpB;AAED,OAAO,EACH,OAAO,EACP,SAAS,EACT,mBAAmB,EACnB,4BAA4B,EAC5B,yBAAyB,EACzB,YAAY,EACZ,SAAS,EACT,WAAW,EACX,UAAU,EACV,YAAY,EACZ,aAAa,EACb,UAAU,EACV,aAAa,EACb,UAAU,EACV,UAAU,EACV,SAAS,EACT,WAAW,EACX,iBAAiB,GACpB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEjE,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,eAAe,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC3G,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,KAAK,cAAc,EAAE,KAAK,cAAc,EAAE,KAAK,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAC5G,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mirascript/mirascript",
-  "version": "0.1.22",
+  "version": "0.1.24",
   "author": "CloudPSS",
   "license": "MIT",
   "description": "An expression based scripting language.",
@@ -36,15 +36,16 @@
     "commander": "^14.0.2",
     "source-map-js": "^1.2.1",
     "supports-color": "^10.2.2",
-    "@mirascript/bindings": "~0.1.22"
+    "@mirascript/bindings": "~0.1.24"
   },
   "devDependencies": {
-    "@types/node": "^24.10.2",
+    "@types/node": "^25.0.1",
     "@types/sinon": "^21.0.0",
     "ava": "^6.4.1",
     "c8": "^10.1.3",
     "madge": "^8.0.0",
     "sinon": "^21.0.0",
+    "tinybench": "^6.0.0",
     "type-fest": "^5.3.1"
   },
   "scripts": {
@@ -54,6 +55,7 @@
     "mirascript": "node --enable-source-maps ./dist/cli/index.js",
     "deps": "madge --circular --warning ./src",
     "clean": "rimraf dist",
-    "test": "c8 ava"
+    "test": "c8 ava",
+    "bench": "node ./bench/index.ts"
   }
 }

package/src/compiler/compile-fast.ts

@@ -1,8 +1,8 @@
 import { wrapScript, type VmScript } from './create-script.js';
 import type { TranspileOptions } from './types.js';
-import { GlobalFallback } from '../vm/helpers.js';
+import { $GlobalFallback } from '../vm/operations/index.js';
 import type { VmContext, VmValue } from '../vm/index.js';
-import { isFinite } from '../helpers/utils.js';
+import { defineProperty, isFinite } from '../helpers/utils.js';
 import { keywords } from './keywords.js';
 
 const REG_NUMBER_FULL = /^(?:[+-])?\d+(?:\.\d+)?(?:[eE][+-]?\d+)?$/;
@@ -28,16 +28,30 @@ function constantFiniteNumber(value: number): () => number {
             return () => 0;
         }
     }
-    // eslint-disable-next-line @typescript-eslint/no-implied-eval, @typescript-eslint/no-unsafe-call
-    return new Function(`return () => ${value};`)() as () => number;
+    const f = () => value;
+    defineProperty(f, 'toString', {
+        value: () => {
+            return `() => ${value};`;
+        },
+        writable: false,
+        enumerable: false,
+        configurable: false,
+    });
+    return f;
 }
 /** 构造返回常量的函数 */
 function constantString(value: string): () => string {
-    const code = JSON.stringify(value);
-    // eslint-disable-next-line @typescript-eslint/no-implied-eval, @typescript-eslint/no-unsafe-call
-    return new Function(`return () => ${code};`)() as () => string;
+    const f = () => value;
+    defineProperty(f, 'toString', {
+        value: () => {
+            return `() => ${JSON.stringify(value)};`;
+        },
+        writable: false,
+        enumerable: false,
+        configurable: false,
+    });
+    return f;
 }
-
 /** 构造返回常量的函数 */
 function nan(): () => number {
     return () => 0 / 0;
@@ -69,10 +83,16 @@ function nil(): () => null {
 
 /** 构造返回全局变量的函数 */
 function globalVariable(id: string): (global: VmContext | undefined) => VmValue {
-    const code = `return (global = GlobalFallback()) => global.get(\`${id}\`);`;
-
-    // eslint-disable-next-line @typescript-eslint/no-implied-eval, @typescript-eslint/no-unsafe-call
-    return new Function('GlobalFallback', code)(GlobalFallback) as (global: VmContext | undefined) => VmValue;
+    const f = (global = $GlobalFallback()): VmValue => global.get(id);
+    defineProperty(f, 'toString', {
+        value: () => {
+            return `(global = $GlobalFallback()) => global.get(${JSON.stringify(id)});`;
+        },
+        writable: false,
+        enumerable: false,
+        configurable: false,
+    });
+    return f;
 }
 
 let kw: Set<string> | undefined;

package/src/compiler/create-script.ts

@@ -1,6 +1,6 @@
 import { kVmScript, VM_SCRIPT_NAME } from '../helpers/constants.js';
-import { defineProperty } from '../helpers/utils.js';
-import { keys, values } from '../vm/env.js';
+import { defineProperty, entries } from '../helpers/utils.js';
+import * as operations from '../vm/operations/index.js';
 import type { VmValue, VmContext } from '../vm/types/index.js';
 import type { InputMode, ScriptInput } from './types.js';
 
@@ -14,7 +14,9 @@ export type VmScript = VmScriptLike & {
     readonly source: string;
 };
 
-/** 生成 JS 函数 */
+/**
+ * 将 JS 函数包装为 Mirascript 脚本
+ */
 export function wrapScript(source: ScriptInput, mode: InputMode, script: VmScriptLike): VmScript {
     /* c8 ignore next 3 */
     if (kVmScript in script) {
@@ -30,12 +32,24 @@ export function wrapScript(source: ScriptInput, mode: InputMode, script: VmScrip
     return script as VmScript;
 }
 
-/** 生成 JS 函数 */
+const [keys, values] = (() => {
+    const keys: string[] = [];
+    const values: unknown[] = [];
+    for (const [key, value] of entries(operations)) {
+        keys.push(key);
+        values.push(value);
+    }
+    return [keys.join(','), values] as const;
+})();
+
+/**
+ * 从 MiraScript 编译结果源代码生成 Mirascript 脚本
+ */
 export function createScript(source: ScriptInput, mode: InputMode, code: string): VmScript {
     let script;
     try {
         // eslint-disable-next-line @typescript-eslint/no-implied-eval, @typescript-eslint/no-unsafe-call
-        script = new Function(...keys, code)(...values) as VmScriptLike;
+        script = new Function(keys, `'use strict';\nreturn ${code}`)(...values) as VmScriptLike;
         /* c8 ignore next 3 */
     } catch (error) {
         throw new Error(`Failed to create script`, { cause: error });

package/src/compiler/emit/constants.ts

@@ -1 +1 @@
-export const SCRIPT_PREFIX = `return ((global = GlobalFallback()) => { try { CpEnter();`;
+export const SCRIPT_PREFIX = `((global = $GlobalFallback()) => { try { $CpEnter();`;

package/src/compiler/emit/index.ts

@@ -128,7 +128,7 @@ export class Emitter {
                 continue;
             }
             this.codeOffset++;
-            const body = this.ident(-1) + `} finally { CpExit(); } });`;
+            const body = this.ident(-1) + `} finally { $CpExit(); } });`;
             this.codeLines.push(body);
             this.closureCounter--;
             this.identCounter--;
@@ -204,8 +204,8 @@ export class Emitter {
                     const opt = opcode === OpCode.FieldOpt;
                     // Use computed property names to avoid prototype pollution
                     code = opt
-                        ? `...ElementOpt(${field_name}, ${this.rv(value)}),`
-                        : `[${field_name}]: Element(${this.rv(value)}),`;
+                        ? `...$ElOpt(${field_name}, ${this.rv(value)}),`
+                        : `[${field_name}]: $El(${this.rv(value)}),`;
                     break;
                 }
                 case OpCode.FieldOptDyn:
@@ -214,8 +214,8 @@ export class Emitter {
                     const value = read();
                     const opt = opcode === OpCode.FieldOptDyn;
                     code = opt
-                        ? `...ElementOpt(${this.rv(field)}, ${this.rv(value)}),`
-                        : `[${this.rv(field)}]: Element(${this.rv(value)}),`;
+                        ? `...$ElOpt(${this.rv(field)}, ${this.rv(value)}),`
+                        : `[${this.rv(field)}]: $El(${this.rv(value)}),`;
                     break;
                 }
                 case OpCode.FieldOptIndex:
@@ -223,9 +223,7 @@ export class Emitter {
                     const field = this.readIndex(wide);
                     const value = read();
                     const opt = opcode === OpCode.FieldOptIndex;
-                    code = opt
-                        ? `...ElementOpt(${field}, ${this.rv(value)}),`
-                        : `[${field}]: Element(${this.rv(value)}),`;
+                    code = opt ? `...$ElOpt(${field}, ${this.rv(value)}),` : `[${field}]: $El(${this.rv(value)}),`;
                     break;
                 }
                 case OpCode.Spread: {
@@ -263,25 +261,25 @@ export class Emitter {
             switch (opcode) {
                 case OpCode.Item: {
                     const value = read();
-                    code = `Element(${this.rv(value)}),`;
+                    code = `$El(${this.rv(value)}),`;
                     break;
                 }
                 case OpCode.ItemRange: {
                     const start = this.readIndex(wide);
                     const end = this.readIndex(wide);
-                    code = `...ArrayRange(${start}, ${end}),`;
+                    code = `...$ArrayRange(${start}, ${end}),`;
                     break;
                 }
                 case OpCode.ItemRangeDyn: {
                     const start = read();
                     const end = read();
-                    code = `...ArrayRange(${this.rv(start)}, ${this.rv(end)}),`;
+                    code = `...$ArrayRange(${this.rv(start)}, ${this.rv(end)}),`;
                     break;
                 }
                 case OpCode.ItemRangeExclusiveDyn: {
                     const start = read();
                     const end = read();
-                    code = `...ArrayRangeExclusive(${this.rv(start)}, ${this.rv(end)}),`;
+                    code = `...$ArrayRangeExclusive(${this.rv(start)}, ${this.rv(end)}),`;
                     break;
                 }
                 case OpCode.Spread: {
@@ -329,7 +327,7 @@ export class Emitter {
                     const wv = this.wv(i + 1, -1);
                     if (varg && i === argn - 1) {
                         // 最后一个参数为可变参数
-                        return `...vargs`;
+                        return `...args`;
                     }
                     return `${wv} = null`;
                 });
@@ -341,16 +339,13 @@ export class Emitter {
                 if (script) {
                     code = `${SCRIPT_PREFIX} var ${regs};`;
                 } else {
-                    if (!this.options.sourceMap) {
-                        code = `${this.wv(reg)} = Function(null ,(${args.join(', ')}) => { try { CpEnter(); var ${regs};`;
-                    } else {
-                        const index = this.functions.length;
+                    if (this.options.sourceMap) {
                         this.functions.push(this.codeLines.length);
-                        code = `${this.wv(reg)} = Function(fnName_${index} ,(${args.join(', ')}) => { try { CpEnter(); var ${regs};`;
                     }
+                    code = `${this.wv(reg)} = $Fn(null, (${args.join(', ')}) => { try { $CpEnter(); var ${regs};`;
                 }
                 if (varg) {
-                    code += ` var ${this.wv(argn, -1)} = Vargs(vargs);`;
+                    code += ` var ${this.wv(argn, -1)} = $VArgs(args);`;
                 }
                 break;
             }
@@ -546,7 +541,7 @@ export class Emitter {
                 reg = read();
                 const level = read();
                 const up = read();
-                code = `${this.wv(reg)} = Upvalue(${this.rv(up, level)});`;
+                code = `${this.wv(reg)} = $Upvalue(${this.rv(up, level)});`;
                 break;
             }
             case OpCode.SetUpvalue: {
@@ -640,7 +635,7 @@ export class Emitter {
                 const regs = createArray(nreg - 1, (i) => this.wv(i + 2, -1));
                 regs.unshift('_');
                 const ir = this.wv(1, -1);
-                code = `for (let ${ir} of $Iterable(${this.rv(iterable)})) { ${ir} ??= null; Cp(); let ${regs.join(', ')};`;
+                code = `for (let ${ir} of $Iterable(${this.rv(iterable)})) { ${ir} ??= null; $Cp(); let ${regs.join(', ')};`;
                 break;
             }
             case OpCode.LoopRange:
@@ -652,14 +647,14 @@ export class Emitter {
                 const regs = createArray(nreg - 1, (i) => this.wv(i + 2, -1));
                 regs.unshift('_');
                 const i = this.wv(1, -1);
-                code = `for (let start = $ToNumber(${this.rv(start)}), end = $ToNumber(${this.rv(end)}), ${i} = start; ${i} ${exclusive ? '<' : '<='} end; ${i} += 1) { Cp(); let ${regs.join(', ')};`;
+                code = `for (let start = $ToNumber(${this.rv(start)}), end = $ToNumber(${this.rv(end)}), ${i} = start; ${i} ${exclusive ? '<' : '<='} end; ${i} += 1) { $Cp(); let ${regs.join(', ')};`;
                 break;
             }
             case OpCode.Loop: {
                 const nreg = read();
                 const regs = createArray(nreg, (i) => this.wv(i + 1, -1));
                 regs.unshift('_');
-                code = `while (true) { Cp(); let ${regs.join(', ')};`;
+                code = `while (true) { $Cp(); let ${regs.join(', ')};`;
                 break;
             }
             case OpCode.Break: {
@@ -724,8 +719,6 @@ export class Emitter {
     addSourceMap(): void {
         if (this.options.sourceMap) {
             createSourceMap(this.source, this.sourcemaps, this.codeLines, this.functions, this.options);
-        } else {
-            this.codeLines.unshift(`'use strict';`);
         }
     }
 }

package/src/compiler/emit/sourcemap.ts

@@ -91,20 +91,20 @@ export function createSourceMap(
             source: fileName,
         });
     }
-    let fnNames = `'use strict';`;
     if (typeof source === 'string') {
         const lines = source.split(/\r?\n/);
-        for (let i = 0; i < functions.length; i++) {
-            const index = functions[i]!;
-            const mapping = sourcemaps[index];
-            const line = mapping ? lines[mapping.startLineNumber - 1] : undefined;
-            const fnName = mapping && line ? line.slice(mapping.startColumn - 1, mapping.endColumn - 1) : '';
-            fnNames += `var fnName_${i} = ${fnName ? toJsLiteral(fnName) : 'null'};`;
+        for (const codeLineNo of functions) {
+            const mapping = sourcemaps[codeLineNo];
+            const sourceLine = mapping ? lines[mapping.startLineNumber - 1] : undefined;
+            const fnName =
+                mapping && sourceLine ? sourceLine.slice(mapping.startColumn - 1, mapping.endColumn - 1) : '';
+            if (!fnName) continue;
+            const codeLine = codeLines[codeLineNo]!;
+            codeLines[codeLineNo] = codeLine.replace(`= $Fn(null,`, `= $Fn(${toJsLiteral(fnName)},`);
         }
     }
     const sourceURL = hasSchema ? fileName : `${ORIGIN}${fileName}`;
     const dataUrl = toDataUrl(map.toString());
-    codeLines.unshift(fnNames);
     codeLines.push(
         // Prevent source map from being recognized as of this file
         `${SOURCE_URL}=${sourceURL}.js`,

package/src/helpers/analyze.ts

@@ -0,0 +1,70 @@
+import { generateBytecodeSync } from '../compiler/generate-bytecode.js';
+import { DiagnosticCode, parseDiagnostics } from '../compiler/diagnostic.js';
+import { REG_IDENTIFIER } from './constants.js';
+import type { InputMode } from '../compiler/types.js';
+
+/** 一个访问链，第一个元素为全局变量名称 */
+export type GlobalReferenceChain = readonly [globalVariableName: string, ...fields: ReadonlyArray<string | number>];
+
+const REG_SPILT = /\s*!?\s*\.\s*/u;
+const REG_CHAIN = new RegExp(
+    String.raw`^(${REG_IDENTIFIER.source})(?:${REG_SPILT.source}(?:\d+|${REG_IDENTIFIER.source}))*`,
+    'u',
+);
+
+const { parseInt } = Number;
+/**
+ * 分析表达式依赖的全局变量
+ */
+export function analyzeGlobalReferences(expression: string, mode?: InputMode): GlobalReferenceChain[] {
+    if (expression.trim() === '') {
+        return [];
+    }
+    const [code, diagnostics] = generateBytecodeSync(expression, {
+        input_mode: mode || 'Script',
+        diagnostic_position_encoding: 'Utf16',
+        // 需要设为 true 以便在编译失败时返回空的 bytecode
+        diagnostic_error: true,
+        diagnostic_warning: false,
+        diagnostic_info: false,
+        diagnostic_hint: false,
+        diagnostic_reference: false,
+        diagnostic_tag: true,
+        diagnostic_sourcemap: false,
+        trivia: false,
+    });
+    if (code == null || diagnostics.length === 0) {
+        return [];
+    }
+    const parsedDiagnostics = parseDiagnostics(expression, diagnostics);
+    const globals = parsedDiagnostics.tags.filter((t) => t.code === DiagnosticCode.GlobalVariable);
+    if (globals.length === 0) {
+        return [];
+    }
+    const lines = expression.split(/\r?\n/);
+    const result = new Set<string>();
+    for (const global of globals) {
+        // 分析每个全局变量访问
+        const line = lines[global.range.startLineNumber - 1];
+        if (!line) continue;
+        const access = line.slice(global.range.startColumn - 1);
+        const chain = REG_CHAIN.exec(access);
+        if (chain == null) continue;
+        const globalName = chain[1];
+        if (globalName?.length !== global.range.endColumn - global.range.startColumn) continue;
+        const chainStr = chain[0].split(REG_SPILT).join('.');
+        result.add(chainStr);
+    }
+    const accessChains: GlobalReferenceChain[] = [];
+    for (const chainStr of result) {
+        const parts = chainStr.split('.').map((part) => {
+            if (/^\d/.test(part)) {
+                // 数字开头的部分一定是数字
+                return parseInt(part, 10);
+            }
+            return part;
+        });
+        accessChains.push(parts as unknown as GlobalReferenceChain);
+    }
+    return accessChains;
+}

package/src/subtle.ts

@@ -4,8 +4,7 @@ export { keywords } from './compiler/keywords.js';
 export * as constants from './helpers/constants.js';
 export * as convert from './helpers/convert/index.js';
 export { DefaultVmContext } from './vm/types/context.js';
-export * as operations from './vm/operations.js';
-export * as helpers from './vm/helpers.js';
+export * as operations from './vm/operations/index.js';
 export {
     display as serializeForDisplay,
     serialize,
@@ -21,4 +20,6 @@ export {
 export { lib } from './vm/lib/index.js';
 export * from './compiler/diagnostic.js';
 export { emitScript } from './compiler/emit-script.js';
+export { createScript, wrapScript } from './compiler/create-script.js';
 export { generateBytecode, generateBytecodeSync, type VmBytecodeResult } from './compiler/generate-bytecode.js';
+export { type GlobalReferenceChain, analyzeGlobalReferences } from './helpers/analyze.js';

package/src/vm/lib/global/debug.ts

@@ -101,7 +101,7 @@ export const panic = VmLib(
         // eslint-disable-next-line no-console
         if (message === undefined) console.error(...panic.prefix);
         // eslint-disable-next-line no-console
-        else console.error(...panic.prefix, serializeValue(message, '', panic.serializer));
+        else console.error(...panic.prefix, serializeValue(message, '', panic.serializer) ?? message);
         const mgsStr = toString(message, null);
         const error = !mgsStr ? 'panic' : 'panic: ' + mgsStr;
         throw new VmError(error, undefined);

package/src/vm/lib/global/sequence/all-any.ts

@@ -1,7 +1,7 @@
 import { toBoolean } from '../../../../helpers/convert/to-boolean.js';
 import { entries } from '../../../../helpers/utils.js';
-import { Cp } from '../../../helpers.js';
-import { $Call } from '../../../operations.js';
+import { Cp } from '../../../checkpoint.js';
+import { $Call } from '../../../operations/index.js';
 import { isVmArray } from '../../../types/index.js';
 import { expectArrayOrRecord, expectCallable, VmLib } from '../../helpers.js';
 

package/src/vm/lib/global/sequence/find.ts

@@ -1,7 +1,7 @@
 import { toBoolean } from '../../../../helpers/convert/to-boolean.js';
 import { entries } from '../../../../helpers/utils.js';
-import { Cp } from '../../../helpers.js';
-import { $Call, $Same } from '../../../operations.js';
+import { Cp } from '../../../checkpoint.js';
+import { $Call, $Same } from '../../../operations/index.js';
 import { type VmValue, isVmArray, isVmCallable } from '../../../types/index.js';
 import { VmLib, expectArrayOrRecord, required } from '../../helpers.js';
 

package/src/vm/lib/global/sequence/map-filter.ts

@@ -1,5 +1,5 @@
 import { toBoolean } from '../../../../helpers/convert/to-boolean.js';
-import { $Call } from '../../../operations.js';
+import { $Call } from '../../../operations/index.js';
 import { isVmConst, type VmAny, type VmValue } from '../../../types/index.js';
 import { VmLib, expectCallable, expectConst, map as mapImpl } from '../../helpers.js';
 

package/src/vm/lib/global/sequence/sort.ts

@@ -1,5 +1,5 @@
 import { toNumber } from '../../../../helpers/convert/to-number.js';
-import { $Call } from '../../../operations.js';
+import { $Call } from '../../../operations/index.js';
 import type { VmAny, VmConst, VmValue } from '../../../types/index.js';
 import { VmLib, expectArray, expectCallable } from '../../helpers.js';
 

package/src/vm/lib/global/sequence/with.ts

@@ -2,7 +2,7 @@ import { VM_ARRAY_MAX_LENGTH } from '../../../../helpers/constants.js';
 import { toNumber, toString } from '../../../../helpers/convert/index.js';
 import { isVmArray, isVmRecord } from '../../../../helpers/types.js';
 import { isArray, isInteger, isNaN } from '../../../../helpers/utils.js';
-import { Element } from '../../../helpers.js';
+import { $El } from '../../../operations/helpers.js';
 import type { VmArray, VmConst, VmValue } from '../../../types/index.js';
 import { VmLib, expectArrayOrRecord, expectConst, throwError } from '../../helpers.js';
 
@@ -69,7 +69,7 @@ const normalizeEntries = (data: VmConst, entries: Array<VmValue | undefined>): M
             }
         }
         const value = entries[i + 1]!;
-        entryData.set(key, Element(value));
+        entryData.set(key, $El(value));
     }
     return entryData;
 };

package/src/vm/lib/global/sequence/zip.ts

@@ -1,5 +1,5 @@
 import { display } from '../../../../helpers/serialize.js';
-import { Cp } from '../../../helpers.js';
+import { Cp } from '../../../checkpoint.js';
 import { isVmArray, type VmConst, type VmArray } from '../../../types/index.js';
 import { VmLib, throwError } from '../../helpers.js';
 import { entries } from './entries.js';