@mirascript/mirascript 0.1.33 → 0.1.34

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

@@ -1,9 +1,16 @@
 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>;
+/** 获取值的类型名称 */
+export declare function $Type(value: VmAny): TypeName;
+/** 判断值是否为布尔值 */
+export declare function $IsBoolean(value: VmAny): value is boolean;
+/** 判断值是否为数字 */
+export declare function $IsNumber(value: VmAny): value is number;
+/** 判断值是否为字符串 */
+export declare function $IsString(value: VmAny): value is string;
+/** 判断值是否为记录 */
+export declare function $IsRecord(value: VmAny): value is VmRecord;
+/** 判断值是否为数组 */
+export declare function $IsArray(value: VmAny): value is VmArray;
+/** 断言值非 nil */
+export declare function $AssertNonNil(value: VmAny): asserts value is NonNullable<VmValue>;
 //# sourceMappingURL=type-check.d.ts.map

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

@@ -1 +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"}
+{"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,eAAe;AACf,wBAAgB,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,CAO5C;AACD,gBAAgB;AAChB,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,OAAO,CAGzD;AACD,eAAe;AACf,wBAAgB,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,MAAM,CAGvD;AACD,gBAAgB;AAChB,wBAAgB,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,MAAM,CAGvD;AACD,eAAe;AACf,wBAAgB,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,QAAQ,CAGzD;AACD,eAAe;AACf,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,OAAO,CAGvD;AACD,eAAe;AACf,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,WAAW,CAAC,OAAO,CAAC,CAIjF"}

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

@@ -2,8 +2,13 @@ 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> {
+    /** 当 {@link value} 是函数时，绑定的 this 参数 */
     readonly thisArg: ThisParameterType<T> | null;
-    constructor(value: T, thisArg?: ThisParameterType<T> | null);
+    constructor(
+    /** 包装值 */
+    value: T, 
+    /** 当 {@link value} 是函数时，绑定的 this 参数 */
+    thisArg?: ThisParameterType<T> | null);
     /** Check if the object has a property */
     protected access(key: string, read: boolean): boolean;
     /** 决定是否对属性进行包装 */

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;AAwBzC,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;IAMhC,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;IAClB,WAAW,IAAI,IAAI,IAAI,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAGnD,kBAAkB;IACT,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM;IAiB7C,kBAAkB;IAClB,IAAa,IAAI,IAAI,QAAQ,CAE5B;IACD,kBAAkB;IAClB,IAAa,GAAG,IAAI,MAAM,CA6BzB;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;AAwBzC,mCAAmC;AACnC,qBAAa,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,CAAE,SAAQ,SAAS,CAAC,CAAC,CAAC;IAInE,uCAAuC;IACvC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,GAAG,IAAI;;IAH7C,UAAU;IACV,KAAK,EAAE,CAAC;IACR,uCAAuC;IAC9B,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;IAMhC,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;IAClB,WAAW,IAAI,IAAI,IAAI,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAGnD,kBAAkB;IACT,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM;IAiB7C,kBAAkB;IAClB,IAAa,IAAI,IAAI,QAAQ,CAE5B;IACD,kBAAkB;IAClB,IAAa,GAAG,IAAI,MAAM,CA6BzB;CACJ"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mirascript/mirascript",
-  "version": "0.1.33",
+  "version": "0.1.34",
   "author": "CloudPSS",
   "license": "MIT",
   "description": "An expression based scripting language.",
@@ -36,8 +36,8 @@
     "commander": "^14.0.2",
     "source-map-js": "^1.2.1",
     "supports-color": "^10.2.2",
-    "@mirascript/bindings": "~0.1.33",
-    "@mirascript/constants": "~0.1.33"
+    "@mirascript/constants": "~0.1.34",
+    "@mirascript/bindings": "~0.1.34"
   },
   "devDependencies": {
     "@types/node": "^25.0.3",

package/src/compiler/compile-fast.ts

@@ -1,8 +1,7 @@
 import { isKeyword } from '@mirascript/constants';
-import { wrapScript, type VmScript } from './create-script.js';
+import { wrapScript, type VmScript, type VmScriptLike } from './create-script.js';
 import type { TranspileOptions } from './types.js';
 import { $GlobalFallback } from '../vm/operations/index.js';
-import type { VmContext, VmValue } from '../vm/index.js';
 import { defineProperty, isFinite } from '../helpers/utils.js';
 
 const REG_NUMBER_FULL = /^(?:[+-])?\d+(?:\.\d+)?(?:[eE][+-]?\d+)?$/;
@@ -82,11 +81,11 @@ function nil(): () => null {
 }
 
 /** 构造返回全局变量的函数 */
-function globalVariable(id: string): (global: VmContext | undefined) => VmValue {
-    const f = (global = $GlobalFallback()): VmValue => global.get(id);
+function globalVariable(id: string): VmScriptLike {
+    const f: VmScriptLike = (global) => (global ?? $GlobalFallback()).get(id);
     defineProperty(f, 'toString', {
         value: () => {
-            return `(global = $GlobalFallback()) => global.get(${JSON.stringify(id)});`;
+            return `(global) => (global ?? $GlobalFallback()).get(${JSON.stringify(id)});`;
         },
         writable: false,
         enumerable: false,
@@ -98,27 +97,26 @@ function globalVariable(id: string): (global: VmContext | undefined) => VmValue
 /**
  * 对短代码进行编译
  */
-function compileScriptFast(code: string, options: TranspileOptions): VmScript | undefined {
+function compileScriptFast(code: string): VmScript | undefined {
     if (code.length > FAST_SCRIPT_MAX_LEN) return undefined; // 超过长度限制，直接返回 undefined
-    const mode = options.input_mode ?? 'Script';
     const trimmedCode = code.trim();
     if (!trimmedCode) {
-        return wrapScript(code, mode, nil());
+        return wrapScript(code, 'Script', nil());
     }
     switch (trimmedCode) {
         case 'nil':
-            return wrapScript(code, mode, nil());
+            return wrapScript(code, 'Script', nil());
         case 'true':
-            return wrapScript(code, mode, constantBoolean(true));
+            return wrapScript(code, 'Script', constantBoolean(true));
         case 'false':
-            return wrapScript(code, mode, constantBoolean(false));
+            return wrapScript(code, 'Script', constantBoolean(false));
         case 'nan':
-            return wrapScript(code, mode, nan());
+            return wrapScript(code, 'Script', nan());
         case 'inf':
         case '+inf':
-            return wrapScript(code, mode, posInf());
+            return wrapScript(code, 'Script', posInf());
         case '-inf':
-            return wrapScript(code, mode, negInf());
+            return wrapScript(code, 'Script', negInf());
     }
     if (REG_IDENTIFIER_FAST.test(trimmedCode)) {
         // 直接返回标识符
@@ -126,13 +124,13 @@ function compileScriptFast(code: string, options: TranspileOptions): VmScript |
         if (isKeyword(id)) {
             return undefined; // 关键字不处理
         }
-        return wrapScript(code, mode, globalVariable(id));
+        return wrapScript(code, 'Script', globalVariable(id));
     }
     if (REG_NUMBER_FULL.test(trimmedCode)) {
         const num = Number(trimmedCode);
         if (!isFinite(num)) return undefined;
         // 直接返回数字
-        return wrapScript(code, mode, constantFiniteNumber(num));
+        return wrapScript(code, 'Script', constantFiniteNumber(num));
     }
     return undefined;
 }
@@ -142,13 +140,12 @@ const FAST_TEMPLATE_MAX_LEN = 1024;
 /**
  * 对短代码进行编译
  */
-function compileTemplateFast(code: string, options: TranspileOptions): VmScript | undefined {
+function compileTemplateFast(code: string): VmScript | undefined {
     if (code.length > FAST_TEMPLATE_MAX_LEN) return undefined; // 超过长度限制，直接返回 undefined
 
     if (!code.includes('$')) {
-        const mode = options.input_mode ?? 'Template';
         // 不包含插值的模板
-        return wrapScript(code, mode, constantString(code));
+        return wrapScript(code, 'Template', constantString(code));
     }
     return undefined;
 }
@@ -158,5 +155,5 @@ function compileTemplateFast(code: string, options: TranspileOptions): VmScript
  */
 export function compileFast(code: string, options: TranspileOptions): VmScript | undefined {
     if (options.sourceMap) return undefined; // 不支持源映射
-    return (options.input_mode === 'Template' ? compileTemplateFast : compileScriptFast)(code, options);
+    return (options.input_mode === 'Template' ? compileTemplateFast : compileScriptFast)(code);
 }

package/src/compiler/create-script.ts

@@ -5,7 +5,7 @@ import type { VmValue, VmContext } from '../vm/types/index.js';
 import type { InputMode, ScriptInput } from './types.js';
 
 /** Mirascript 脚本 */
-export type VmScriptLike = (global?: VmContext) => VmValue;
+export type VmScriptLike = (global?: VmContext | null) => VmValue;
 
 /** Mirascript 脚本 */
 export type VmScript = VmScriptLike & {

package/src/compiler/emit/constants.ts

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

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

@@ -69,21 +69,22 @@ export const to_datetime = VmLib(
         };
     },
     {
-        summary: '将数据转换为 Date 记录',
+        summary: '将数据转换为 DateTime 记录',
         params: {
             datetime: '要转换的数据，默认为当前时间',
             offset: '时区偏移量（单位：小时），默认为 0',
             fallback: '转换失败时的返回值',
         },
         paramsType: { datetime: 'number | string', offset: 'number', fallback: 'any' },
-        returnsType: 'Date | type(fallback)',
+        returnsType: 'DateTime | type(fallback)',
         examples: [
             `
 to_datetime(0)
 // (
-//    year: 1970, month: 1, day: 1,
-//    hour: 0, minute: 0, second: 0,
-//    millisecond: 0, dayOfWeek: 4, offset: 0
+//   year: 1970, month: 1, day: 1,
+//   hour: 0, minute: 0, second: 0,
+//   millisecond: 0,
+//   dayOfWeek: 4, offset: 0
 // )
             `.trim(),
         ],

package/src/vm/operations/call.ts

@@ -1,24 +1,47 @@
 import { VmError } from '../../helpers/error.js';
 import { display } from '../../helpers/serialize.js';
 import { isVmFunction, isVmExtern, isVmConst } from '../../helpers/types.js';
-import type { VmAny, VmArray, VmValue } from '../types/index.js';
+import type { VmExtern, VmFunction, VmAny, VmArray, VmValue } from '../types/index.js';
 import { $AssertInit } from './common.js';
 
-export const $Call = (func: VmValue, args: readonly VmAny[]): VmValue => {
+/** 调用返回类型 */
+type CallReturn<T extends VmValue> =
+    T extends VmFunction<infer F>
+        ? F extends (...args: readonly VmAny[]) => infer R
+            ? // eslint-disable-next-line @typescript-eslint/no-invalid-void-type
+              R extends void | undefined
+                ? null
+                : R
+            : VmValue
+        : T extends VmExtern<infer E>
+          ? E extends (...args: readonly VmAny[]) => infer R
+              ? // eslint-disable-next-line @typescript-eslint/no-invalid-void-type
+                R extends void | undefined
+                  ? null
+                  : R extends VmValue
+                    ? R
+                    : R extends object
+                      ? VmExtern<R>
+                      : VmValue
+              : VmValue
+          : VmValue;
+
+/** 调用函数 */
+export function $Call<T extends VmValue, A extends readonly VmValue[]>(func: T, args: A): CallReturn<T> {
     for (const a of args) {
         $AssertInit(a);
     }
     if (isVmExtern(func)) {
-        return func.call(args as readonly VmValue[]) ?? null;
+        return (func.call(args as readonly VmValue[]) ?? null) as CallReturn<T>;
     }
     if (isVmFunction(func)) {
-        return func(...(args as readonly VmValue[])) ?? null;
+        return (func(...(args as readonly VmValue[])) ?? null) as CallReturn<T>;
     }
     throw new VmError(`Value is not callable: ${display(func)}`, null);
-};
+}
 
 /** 过滤剩余参数数组 */
-export const $VArgs = (varags: VmAny[]): VmArray => {
+export function $VArgs(varags: VmAny[]): VmArray {
     for (let i = 0, l = varags.length; i < l; i++) {
         const el = varags[i];
         if (!isVmConst(el)) {
@@ -26,4 +49,4 @@ export const $VArgs = (varags: VmAny[]): VmArray => {
         }
     }
     return varags as VmArray;
-};
+}

package/src/vm/operations/common.ts

@@ -1,6 +1,7 @@
 import { VmError } from '../../helpers/error.js';
 import type { VmAny, VmValue } from '../types/index.js';
 
-export const $AssertInit: (value: VmAny) => asserts value is VmValue = (value) => {
+/** 断言值已初始化 */
+export function $AssertInit(value: VmAny): asserts value is VmValue {
     if (value === undefined) throw new VmError(`Uninitialized value`, null);
-};
+}

package/src/vm/operations/compound.ts

@@ -11,7 +11,8 @@ import { $ToString } from './convert.js';
 const { trunc } = Math;
 const { at } = Array.prototype;
 
-export const $In = (value: VmAny, iterable: VmAny): boolean => {
+/** 检查值是否在可迭代对象中 */
+export function $In(value: VmAny, iterable: VmAny): boolean {
     $AssertInit(value);
     $AssertInit(iterable);
     if (iterable == null) return false;
@@ -31,16 +32,20 @@ export const $In = (value: VmAny, iterable: VmAny): boolean => {
     const key = toString(value, undefined);
     if (isVmWrapper(iterable)) return iterable.has(key);
     return hasOwnEnumerable(iterable satisfies VmRecord, key);
-};
-export const $Length = (value: VmAny): number => {
+}
+
+/** 获取值的长度 */
+export function $Length(value: VmAny): number {
     $AssertInit(value);
     if (isVmArray(value)) return value.length;
     if (isVmRecord(value)) return keys(value).length;
     if (isVmWrapper(value)) return value.keys().length;
 
     throw new VmError(`Value has no length: ${display(value)}`, 0);
-};
-export const $Omit = (value: VmAny, omitted: ReadonlyArray<number | string>): VmRecord => {
+}
+
+/** 删除记录中的指定字段 */
+export function $Omit(value: VmAny, omitted: ReadonlyArray<number | string>): VmRecord {
     $AssertInit(value);
     if (value == null || !isVmRecord(value)) return {};
     const result: Record<string, VmConst> = {};
@@ -53,8 +58,10 @@ export const $Omit = (value: VmAny, omitted: ReadonlyArray<number | string>): Vm
         }
     }
     return result;
-};
-export const $Pick = (value: VmAny, picked: ReadonlyArray<number | string>): VmRecord => {
+}
+
+/** 选择记录中的指定字段 */
+export function $Pick(value: VmAny, picked: ReadonlyArray<number | string>): VmRecord {
     $AssertInit(value);
     if (value == null || !isVmRecord(value)) return {};
     const result: Record<string, VmConst> = {};
@@ -65,15 +72,17 @@ export const $Pick = (value: VmAny, picked: ReadonlyArray<number | string>): VmR
         }
     }
     return result;
-};
-export const $Has = (obj: VmAny, key: VmAny): boolean => {
+}
+/** 检查是否拥有字段 */
+export function $Has(obj: VmAny, key: VmAny): boolean {
     $AssertInit(obj);
     const pk = $ToString(key);
     if (obj == null || typeof obj != 'object') return false;
     if (isVmWrapper(obj)) return obj.has(pk);
     return hasOwnEnumerable(obj, pk);
-};
-export const $Get = (obj: VmAny, key: VmAny): VmValue => {
+}
+/** 获取字段 */
+export function $Get(obj: VmAny, key: VmAny): VmValue {
     $AssertInit(obj);
     if (isVmArray(obj)) {
         $AssertInit(key);
@@ -86,24 +95,26 @@ export const $Get = (obj: VmAny, key: VmAny): VmValue => {
     if (isVmWrapper(obj)) return obj.get(pk) ?? null;
     if (!hasOwnEnumerable(obj, pk)) return null;
     return obj[pk] ?? null;
-};
-export const $Set = (obj: VmAny, key: VmAny, value: VmAny): void => {
+}
+/** 设置字段 */
+export function $Set(obj: VmAny, key: VmAny, value: VmAny): void {
     $AssertInit(obj);
     $AssertInit(value);
     const pk = $ToString(key);
     if (obj == null) return;
     if (!isVmExtern(obj)) throw new VmError(`Expected extern, got ${display(obj)}`, undefined);
     obj.set(pk, value);
-};
-export const $Iterable = (value: VmAny): Iterable<VmValue | undefined> => {
+}
+/** 获取可迭代对象 */
+export function $Iterable(value: VmAny): Iterable<VmValue | undefined> {
     $AssertInit(value);
     if (isVmWrapper(value)) return value.keys();
     if (isVmArray(value)) return value;
     if (value != null && typeof value == 'object') return keys(value);
     throw new VmError(`Value is not iterable: ${display(value)}`, isVmFunction(value) ? [] : [value]);
-};
-
-export const $RecordSpread = (record: VmAny): VmRecord | null => {
+}
+/** 展开记录 */
+export function $RecordSpread(record: VmAny): VmRecord | null {
     $AssertInit(record);
     if (record == null || isVmRecord(record)) return record;
     if (isVmArray(record)) {
@@ -127,9 +138,10 @@ export const $RecordSpread = (record: VmAny): VmRecord | null => {
         return result;
     }
     throw new VmError(`Expected record, array, extern or nil, got ${display(record)}`, null);
-};
+}
 
-export const $ArraySpread = (array: VmAny): Iterable<VmConst | undefined> => {
+/** 展开数组 */
+export function $ArraySpread(array: VmAny): Iterable<VmConst | undefined> {
     $AssertInit(array);
     if (array == null) return [];
     if (isVmArray(array)) return array;
@@ -146,4 +158,4 @@ export const $ArraySpread = (array: VmAny): Iterable<VmConst | undefined> => {
         return result;
     }
     throw new VmError(`Expected array, iterable extern or nil, got ${display(array)}`, []);
-};
+}

package/src/vm/operations/convert.ts

@@ -2,22 +2,26 @@ import { toNumber, toString, toBoolean, toFormat } from '../../helpers/convert/i
 import type { VmAny } from '../types/index.js';
 import { $AssertInit } from './common.js';
 
-export const $ToBoolean = (value: VmAny): boolean => {
+/** 转换为布尔值 */
+export function $ToBoolean(value: VmAny): boolean {
     if (typeof value == 'boolean') return value;
     $AssertInit(value);
     return toBoolean(value, undefined);
-};
-export const $ToString = (value: VmAny): string => {
+}
+/** 转换为字符串 */
+export function $ToString(value: VmAny): string {
     if (typeof value == 'string') return value;
     $AssertInit(value);
     return toString(value, undefined);
-};
-export const $ToNumber = (value: VmAny): number => {
+}
+/** 转换为数字 */
+export function $ToNumber(value: VmAny): number {
     if (typeof value == 'number') return value;
     $AssertInit(value);
     return toNumber(value, undefined);
-};
-export const $Format = (value: VmAny, format: string | null): string => {
+}
+/** 格式化值 */
+export function $Format(value: VmAny, format: string | null): string {
     $AssertInit(value);
     return toFormat(value, format);
-};
+}

package/src/vm/operations/helpers.ts

@@ -9,31 +9,31 @@ import { $AssertInit } from './common.js';
 import { $ToNumber } from './convert.js';
 
 /** 构造 record | array 元素 */
-export const $El = (value: VmAny): VmConst => {
+export function $El(value: VmAny): VmConst {
     $AssertInit(value);
     if (!isVmConst(value)) return null;
     return value;
-};
+}
 
 const EMPTY = create(null);
 /** 构造 record 可选元素 */
-export const $ElOpt = (key: string, value: VmAny): VmConst => {
+export function $ElOpt(key: string, value: VmAny): VmConst {
     $AssertInit(value);
     if (value == null || !isVmConst(value)) return EMPTY;
     return { __proto__: null, [key]: value };
-};
+}
 
 /** 构造函数和函数表达式 */
-export const $Fn = (name: string | null | undefined, fn: VmFunctionLike): VmFunction => {
+export function $Fn<T extends VmFunctionLike>(name: string | null | undefined, fn: T): VmFunction<T> {
     defineProperty(fn, 'name', { value: name || VM_FUNCTION_ANONYMOUS_NAME });
     return VmFunction(fn, { isLib: false, injectCp: false });
-};
+}
 
 /** 读取闭包上值 */
-export const $Upvalue = (value: VmAny): VmValue => {
+export function $Upvalue(value: VmAny): VmValue {
     $AssertInit(value);
     return value;
-};
+}
 
 const assertArrayLength = (start: number, end: number) => {
     if (end - start > VM_ARRAY_MAX_LENGTH) {
@@ -43,7 +43,8 @@ const assertArrayLength = (start: number, end: number) => {
 const isEmptyRange = (start: number, end: number) => {
     return !isFinite(start) || !isFinite(end) || start > end;
 };
-export const $ArrayRange = (start: VmAny, end: VmAny): VmArray => {
+/** 构造范围数组 */
+export function $ArrayRange(start: VmAny, end: VmAny): VmArray {
     const s = $ToNumber(start);
     const e = $ToNumber(end);
     if (isEmptyRange(s, e)) return [];
@@ -53,8 +54,9 @@ export const $ArrayRange = (start: VmAny, end: VmAny): VmArray => {
         arr.push(i);
     }
     return arr;
-};
-export const $ArrayRangeExclusive = (start: VmAny, end: VmAny): VmArray => {
+}
+/** 构造范围数组（不包含结束值） */
+export function $ArrayRangeExclusive(start: VmAny, end: VmAny): VmArray {
     const s = $ToNumber(start);
     const e = $ToNumber(end);
     if (isEmptyRange(s, e)) return [];
@@ -64,7 +66,7 @@ export const $ArrayRangeExclusive = (start: VmAny, end: VmAny): VmArray => {
         arr.push(i);
     }
     return arr;
-};
+}
 
 /** 默认执行上下文 */
 export function $GlobalFallback(): VmContext {