@mirascript/mirascript 0.1.15 → 0.1.17

package/src/vm/lib/{global/mod → mod}/matrix.ts

@@ -1,7 +1,8 @@
-import { isArray } from '../../../../helpers/utils.js';
-import { Cp } from '../../../helpers.js';
-import { $Add, $Call, $Div, $Mul, $Sub, $ToNumber } from '../../../operations.js';
-import { isVmArray, isVmConst, type VmAny, type VmArray, type VmConst, type VmValue } from '../../../types/index.js';
+import { toNumber } from '../../../helpers/convert/to-number.js';
+import { isArray } from '../../../helpers/utils.js';
+import { Cp } from '../../helpers.js';
+import { $Add, $Call, $Div, $Mul, $Sub } from '../../operations.js';
+import { isVmArray, isVmConst, type VmAny, type VmArray, type VmConst, type VmValue } from '../../types/index.js';
 import {
     VmLib,
     expectArray,
@@ -12,7 +13,8 @@ import {
     getNumbers,
     arrayLen,
     map,
-} from '../../_helpers.js';
+    expectInteger,
+} from '../helpers.js';
 
 /** 计算尺寸 */
 function sizeImpl(matrix: VmValue): [] | [number] | [number, number] {
@@ -35,7 +37,7 @@ function sizeImpl(matrix: VmValue): [] | [number] | [number, number] {
 
 /** 数组元素转为 number */
 function num(v: VmConst | undefined): number {
-    return $ToNumber(v ?? null);
+    return toNumber(v, undefined);
 }
 
 export const size = VmLib(
@@ -535,7 +537,7 @@ export const identity = VmLib(
 export const diagonal = VmLib(
     (x, k = 0) => {
         expectArray('x', x, []);
-        const fk = Math.round($ToNumber(k) || 0);
+        const fk = expectInteger('k', k);
         if (x.every((e) => isArray(e))) {
             // 获取对角线元素
             const diag: VmConst[] = [];

package/src/vm/operations.ts

@@ -1,28 +1,12 @@
-import { VmError } from './error.js';
-import {
-    isVmPrimitive,
-    isVmArray,
-    isVmRecord,
-    isVmFunction,
-    isVmExtern,
-    isVmModule,
-    isVmWrapper,
-    getVmFunctionInfo,
-    type TypeName,
-    type VmAny,
-    type VmImmutable,
-    type VmRecord,
-    type VmValue,
-    type VmArray,
-    type VmConst,
-    type VmPrimitive,
-    type VmFunction,
-} from './types/index.js';
+import { VmError } from '../helpers/error.js';
 import { hasOwnEnumerable, isNaN, isSafeInteger, keys, create } from '../helpers/utils.js';
+import { toNumber, toString, toBoolean, toFormat } from '../helpers/convert/index.js';
+import { display } from '../helpers/serialize.js';
+import { isVmPrimitive, isVmArray, isVmRecord, isVmFunction, isVmExtern, isVmWrapper } from '../helpers/types.js';
+import type { TypeName, VmAny, VmImmutable, VmRecord, VmValue, VmArray, VmConst } from './types/index.js';
 
 const { abs, min, trunc, ceil } = Math;
 const { slice, at } = Array.prototype;
-const { POSITIVE_INFINITY, NEGATIVE_INFINITY } = Number;
 
 const isSame = (a: VmValue, b: VmValue): boolean => {
     // Check for NaN
@@ -60,7 +44,10 @@ const isSame = (a: VmValue, b: VmValue): boolean => {
             if (!hasOwnEnumerable(b, key)) {
                 return false;
             }
-            if (!isSame(a[key] ?? null, b[key] ?? null)) {
+            /* c8 ignore next 2 */
+            const av = a[key] ?? null;
+            const bv = b[key] ?? null;
+            if (!isSame(av, bv)) {
                 return false;
             }
         }
@@ -180,28 +167,25 @@ export const $In = (value: VmAny, iterable: VmAny): boolean => {
     $AssertInit(value);
     $AssertInit(iterable);
     if (iterable == null) return false;
+    if (typeof iterable != 'object') return false;
     if (isVmArray(iterable)) {
         if (value == null) {
             // array may have empty slots
-            for (const item of iterable) {
-                if (item == null) return true;
-            }
+            for (const item of iterable) if (item == null) return true;
             return false;
         }
         // JS %SameValueZero is same with `isSame` in this context
         if (isVmPrimitive(value)) return iterable.includes(value);
         // value is not null here, so it's ok to skip empty slots, since `isSame(null, something)` is always false
-        value satisfies NonNullable<VmValue>;
-        return iterable.some((item = null) => isSame(item, value));
+        return iterable.some((item = null) => isSame(item, value satisfies NonNullable<VmValue>));
     }
     // iterable is a record or an extern here, value should be a string
-    if (isVmWrapper(iterable)) return iterable.has($ToString(value));
-    if (typeof iterable == 'object') return hasOwnEnumerable(iterable, $ToString(value));
-    iterable satisfies VmPrimitive | VmFunction;
-    return false;
+    const key = toString(value, undefined);
+    if (isVmWrapper(iterable)) return iterable.has(key);
+    return hasOwnEnumerable(iterable satisfies VmRecord, key);
 };
-export const $Concat = (...args: string[]): string => {
-    return args.map($Format).join('');
+export const $Concat = (...args: readonly string[]): string => {
+    return args.map((a) => toFormat(a, null)).join('');
 };
 export const $Pos = (a: VmAny): number => {
     return $ToNumber(a);
@@ -216,10 +200,9 @@ export const $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;
-    }
-    return Number.NaN;
+    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 => {
     $AssertInit(value);
@@ -229,6 +212,7 @@ export const $Omit = (value: VmAny, omitted: ReadonlyArray<number | string>): Vm
     const omittedSet = new Set(omitted.map($ToString));
     for (const key of valueKeys) {
         if (!omittedSet.has(key)) {
+            /* c8 ignore next */
             result[key] = value[key] ?? null;
         }
     }
@@ -265,14 +249,14 @@ const sliceCore = (value: VmArray, start: number, end: number, exclusive: boolea
 };
 export const $Slice = (value: VmAny, start: VmAny, end: VmAny): VmArray => {
     $AssertInit(value);
-    if (!isVmArray(value)) throw new VmError(`Expected array, got ${$Type(value)}`, []);
+    if (!isVmArray(value)) throw new VmError(`Expected array, got ${display(value)}`, []);
     const s = start != null ? $ToNumber(start) : 0;
     const e = end != null ? $ToNumber(end) : value.length - 1;
     return sliceCore(value, s, e, false);
 };
 export const $SliceExclusive = (value: VmAny, start: VmAny, end: VmAny): VmArray => {
     $AssertInit(value);
-    if (!isVmArray(value)) throw new VmError(`Expected array, got ${$Type(value)}`, []);
+    if (!isVmArray(value)) throw new VmError(`Expected array, got ${display(value)}`, []);
     const s = start != null ? $ToNumber(start) : 0;
     const e = end != null ? $ToNumber(end) : value.length;
     return sliceCore(value, s, e, true);
@@ -290,82 +274,30 @@ export const $Call = (func: VmValue, args: readonly VmAny[]): VmValue => {
     if (isVmFunction(func)) {
         return func(...(args as readonly VmValue[])) ?? null;
     }
-    throw new VmError(`Expected callable, got ${$Type(func)}`, null);
+    throw new VmError(`Value is not callable: ${display(func)}`, null);
 };
 export const $Type = (value: VmAny): TypeName => {
-    if (value === undefined || value === null) return 'nil';
-    if (isVmExtern(value)) return 'extern';
-    if (isVmModule(value)) return 'module';
+    // 允许未初始化值通过
+    if (value == null) return 'nil';
+    if (isVmWrapper(value)) return value.type;
     if (isVmArray(value)) return 'array';
     if (typeof value == 'object') return 'record';
     return typeof value as TypeName;
 };
 export const $ToBoolean = (value: VmAny): boolean => {
+    if (typeof value == 'boolean') return value;
     $AssertInit(value);
-    return value != null && value !== false;
-};
-/** 将值转为字符串 */
-function numberToString(value: number): string {
-    if (isNaN(value)) return 'nan';
-    if (value === Infinity) return 'inf';
-    if (value === -Infinity) return '-inf';
-    return String(value);
-}
-
-/** 将值转为字符串 */
-export function $InnerToString(value: VmAny, useBraces: boolean): string {
-    if (value == null) return 'nil';
-    if (isVmWrapper(value)) return value.toString(useBraces);
-    if (typeof value == 'function') {
-        const name = getVmFunctionInfo(value)?.fullName;
-        return name ? `<function ${name}>` : `<function>`;
-    }
-    if (isVmArray(value)) {
-        const strings: string[] = [];
-        for (const item of value) {
-            strings.push($InnerToString(item, true));
-        }
-        // 在 join 过程中会自动把 null/undefined 和 empty slot 转为 ''
-        // 与 innerToString 行为不一致
-        const results = strings.join(', ');
-        if (!useBraces) return results;
-        return `[${results}]`;
-    }
-    if (typeof value == 'object') {
-        const entries = keys(value)
-            .map((key) => `${key}: ${$InnerToString(value[key], true)}`)
-            .join(', ');
-        if (!useBraces) return entries;
-        return `(${entries})`;
-    }
-    if (typeof value == 'number') {
-        return numberToString(value);
-    }
-    return String(value);
-}
+    return toBoolean(value, undefined);
+};
 export const $ToString = (value: VmAny): string => {
-    $AssertInit(value);
     if (typeof value == 'string') return value;
-    if (value === null) return '';
-    return $InnerToString(value, false);
+    $AssertInit(value);
+    return toString(value, undefined);
 };
 export const $ToNumber = (value: VmAny): number => {
-    $AssertInit(value);
     if (typeof value == 'number') return value;
-    if (value == null) return 0;
-    if (typeof value == 'string') {
-        value = value.trim();
-        if (value === '') return 0;
-        if (value === 'inf' || value === '+inf' || value === 'Infinity' || value === '+Infinity') {
-            return POSITIVE_INFINITY;
-        }
-        if (value === '-inf' || value === '-Infinity') {
-            return NEGATIVE_INFINITY;
-        }
-        return Number(value);
-    }
-    if (typeof value == 'boolean') return value ? 1 : 0;
-    return Number.NaN;
+    $AssertInit(value);
+    return toNumber(value, undefined);
 };
 export const $IsBoolean = (value: VmAny): value is boolean => {
     $AssertInit(value);
@@ -390,7 +322,7 @@ export const $IsArray = (value: VmAny): value is VmArray => {
 export const $AssertNonNil = (value: VmAny): asserts value is NonNullable<VmValue> => {
     $AssertInit(value);
     if (value !== null) return;
-    throw new VmError('Expected non-nil value', null);
+    throw new VmError(`Expected non-nil value`, null);
 };
 export const $Has = (obj: VmAny, key: VmAny): boolean => {
     $AssertInit(obj);
@@ -417,7 +349,7 @@ export const $Set = (obj: VmAny, key: VmAny, value: VmAny): void => {
     $AssertInit(value);
     const pk = $ToString(key);
     if (obj == null) return;
-    if (!isVmExtern(obj)) throw new VmError(`Expected extern, got ${$Type(obj)}`, undefined);
+    if (!isVmExtern(obj)) throw new VmError(`Expected extern, got ${display(obj)}`, undefined);
     obj.set(pk, value);
 };
 export const $Iterable = (value: VmAny): Iterable<VmValue | undefined> => {
@@ -425,7 +357,7 @@ export const $Iterable = (value: VmAny): Iterable<VmValue | undefined> => {
     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`, isVmFunction(value) ? [] : [value]);
+    throw new VmError(`Value is not iterable: ${display(value)}`, isVmFunction(value) ? [] : [value]);
 };
 
 export const $RecordSpread = (record: VmAny): VmRecord | null => {
@@ -451,7 +383,7 @@ export const $RecordSpread = (record: VmAny): VmRecord | null => {
         }
         return result;
     }
-    throw new VmError(`Expected record, array, extern or nil, got ${$Type(record)}`, null);
+    throw new VmError(`Expected record, array, extern or nil, got ${display(record)}`, null);
 };
 
 export const $ArraySpread = (array: VmAny): Iterable<VmConst | undefined> => {
@@ -470,39 +402,11 @@ export const $ArraySpread = (array: VmAny): Iterable<VmConst | undefined> => {
         }
         return result;
     }
-    throw new VmError(`Expected array, iterable extern or nil, got ${$Type(array)}`, []);
+    throw new VmError(`Expected array, iterable extern or nil, got ${display(array)}`, []);
 };
 
-/** 渲染数字 */
-function formatNumber(value: number): string {
-    if (!Number.isFinite(value)) return numberToString(value);
-    if (value === 0) return '0';
-    const s = value.toString();
-    let ps;
-    const abs = Math.abs(value);
-    if (abs >= 1000 || abs < 0.001) {
-        const ps1 = value.toExponential();
-        const ps2 = value.toExponential(5);
-        ps = ps1.length < ps2.length ? ps1 : ps2;
-    } else {
-        ps = value.toPrecision(6);
-    }
-    return ps.length < s.length ? ps : s;
-}
-
 export const $Format = (value: VmAny, format: VmAny): string => {
     $AssertInit(value);
-    const f = format == null ? '' : typeof format == 'string' ? format.trim() : $ToString(format);
-
-    if (typeof value == 'number') {
-        if (/^\.\d+$/.test(f)) {
-            let digits = Math.trunc(Number(f.slice(1)));
-            if (!(digits <= 100)) digits = 100;
-            return value.toFixed(digits);
-        } else {
-            return formatNumber(value);
-        }
-    }
-
-    return $ToString(value);
+    const f = format == null ? '' : $ToString(format);
+    return toFormat(value, f);
 };

package/src/vm/types/boundary.ts

@@ -1,17 +1,14 @@
-import { isVmFunction, type VmFunctionLike, type VmFunction } from './function.js';
-import { isVmExtern, VmExtern } from './extern.js';
-import { isVmWrapper } from './wrapper.js';
+import { defineProperty, apply } from '../../helpers/utils.js';
+import { isVmExtern, isVmFunction, isVmWrapper } from '../../helpers/types.js';
+import { kVmFunctionProxy } from '../../helpers/constants.js';
+import type { VmFunctionLike, VmFunction } from './function.js';
+import { VmExtern } from './extern.js';
 import type { VmAny, VmConst, VmModule, VmPrimitive, VmValue } from './index.js';
 import { $Call } from '../operations.js';
-import { defineProperty, apply } from '../../helpers/utils.js';
-
-const kProxy = Symbol.for('mirascript.vm.function.proxy');
 
 /** 创建 Mirascript 函数在宿主语言运行的代理 */
 export function toVmFunctionProxy<T extends VmFunctionLike>(fn: VmFunction<T>): T {
-    if (!isVmFunction(fn)) return fn;
-
-    const cached = (fn as unknown as { [kProxy]?: T })[kProxy];
+    const cached = (fn as unknown as { [kVmFunctionProxy]?: T })[kVmFunctionProxy];
     if (cached != null) return cached;
 
     const proxy = (...args: unknown[]) => {
@@ -22,8 +19,8 @@ export function toVmFunctionProxy<T extends VmFunctionLike>(fn: VmFunction<T>):
         );
         return unwrapFromVmValue(ret);
     };
-    defineProperty(fn, kProxy, { value: proxy });
-    defineProperty(proxy, kProxy, { value: fn });
+    defineProperty(fn, kVmFunctionProxy, { value: proxy });
+    defineProperty(proxy, kVmFunctionProxy, { value: fn });
     defineProperty(proxy, 'name', {
         value: fn.name,
         configurable: true,
@@ -35,7 +32,7 @@ export function toVmFunctionProxy<T extends VmFunctionLike>(fn: VmFunction<T>):
 export function fromVmFunctionProxy<T extends VmFunctionLike>(fn: T): VmFunction<T> | undefined {
     if (isVmFunction(fn)) return fn;
 
-    const original = (fn as unknown as { [kProxy]?: VmFunction<T> })[kProxy];
+    const original = (fn as unknown as { [kVmFunctionProxy]?: VmFunction<T> })[kVmFunctionProxy];
     if (original && isVmFunction(original)) return original;
 
     return undefined;
@@ -76,7 +73,7 @@ export function wrapToVmValue(
 
 /** 取消宿主语言的值的 Mirascript 包装  */
 export function unwrapFromVmValue(value: VmAny): unknown {
-    if (typeof value == 'function') {
+    if (isVmFunction(value)) {
         return toVmFunctionProxy(value);
     }
     if (value == null || typeof value != 'object') return value;

package/src/vm/types/context.ts

@@ -1,35 +1,18 @@
-import {
-    VmFunction,
-    type VmAny,
-    type VmImmutable,
-    type VmValue,
-    wrapToVmValue,
-    isVmAny,
-    type VmFunctionLike,
-} from './index.js';
 import { create, entries, keys } from '../../helpers/utils.js';
-import type * as global from '../lib/global/index.js';
-import { VmError } from '../error.js';
+import { isVmAny } from '../../helpers/types.js';
+import { VmError } from '../../helpers/error.js';
+import { kVmContext } from '../../helpers/constants.js';
+import type { VmAny, VmImmutable, VmValue } from './index.js';
+import { wrapToVmValue } from './boundary.js';
+import { VmFunction } from './function.js';
+const { freeze } = Object;
 
-/** 全局导入的标准库 */
-type GlobalKeys = keyof typeof global;
-/** 全局导入的标准库值 */
-type ToGlobalValue<T extends GlobalKeys> = (typeof global)[T] extends VmFunctionLike
-    ? VmFunction<(typeof global)[T]>
-    : (typeof global)[T];
-/** 全局导入的标准库 */
-type VmContextBase = {
-    [key in GlobalKeys]: ToGlobalValue<key>;
-};
-const kVmContext = Symbol.for('mirascript.vm.context');
-/** MiraScript 执行上下文的基础，仅包含标准库 */
-export type VmSharedContext = VmContextBase & Record<string, VmImmutable>;
 /** MiraScript 执行上下文 */
 export interface VmContext {
     /** 内部标识符 */
     readonly [kVmContext]: true;
     /** 枚举所有 key，仅在 LSP 中使用 */
-    keys(): Iterable<string>;
+    keys(): readonly string[];
     /** 描述值，返回 MarkDown 文本，仅在 LSP 中使用 */
     describe?(key: string): string | undefined;
     /**
@@ -44,9 +27,9 @@ export interface VmContext {
 export type VmContextRecord = Record<string, VmValue>;
 /** MiraScript 执行上下文 */
 export type VmContextRecordLoose = Record<string, VmValue | undefined>;
-export const VmSharedContext = create(null) as VmSharedContext;
-
-let VmSharedContextKeys: readonly string[] | null = null;
+export const VM_SHARED_CONTEXT: Record<string, VmImmutable> = create(null);
+/** 缓存 {@link VM_SHARED_CONTEXT} 的 keys */
+let VM_SHARED_CONTEXT_KEYS: readonly string[] | null = null;
 
 /** 全局变量未找到 */
 function globalVarNotFound(name: string): never {
@@ -59,7 +42,7 @@ export function defineVmContextValue(
     value: VmImmutable | ((...args: VmAny[]) => VmAny),
     override = false,
 ): void {
-    if (!override && name in VmSharedContext) throw new Error(`Global variable '${name}' is already defined.`);
+    if (!override && name in VM_SHARED_CONTEXT) throw new Error(`Global variable '${name}' is already defined.`);
     let v: VmImmutable;
     if (typeof value == 'function') {
         v = VmFunction(value, {
@@ -69,38 +52,42 @@ export function defineVmContextValue(
     } else {
         v = value;
     }
-    VmSharedContext[name] = v ?? null;
-    VmSharedContextKeys = null;
+    VM_SHARED_CONTEXT[name] = v ?? null;
+    VM_SHARED_CONTEXT_KEYS = null;
 }
 
 /** 无后备的实现 */
-export const DefaultVmContext: VmContext = Object.freeze({
+export const DefaultVmContext: VmContext = freeze({
     [kVmContext]: true as const,
     /** @inheritdoc */
-    keys(): Iterable<string> {
-        VmSharedContextKeys ??= Object.freeze(keys(VmSharedContext));
-        return VmSharedContextKeys;
+    keys(): readonly string[] {
+        VM_SHARED_CONTEXT_KEYS ??= freeze(keys(VM_SHARED_CONTEXT));
+        return VM_SHARED_CONTEXT_KEYS;
     },
     /** @inheritdoc */
     get(key: string): VmValue {
-        const val = VmSharedContext[key];
+        const val = VM_SHARED_CONTEXT[key];
         if (val === undefined) globalVarNotFound(key);
         return val;
     },
     /** @inheritdoc */
     has(key: string): boolean {
-        return key in VmSharedContext;
+        return key in VM_SHARED_CONTEXT;
     },
 });
 
 /** 以值为后备的实现 */
 class ValueVmContext implements VmContext {
     readonly [kVmContext] = true;
-    private cachedKeys: readonly string[] | null = null;
+    private cachedKeys: readonly [def: readonly string[], all: readonly string[]] | null = null;
     /** @inheritdoc */
-    keys(): Iterable<string> {
-        this.cachedKeys ??= keys(this.env);
-        return [...this.cachedKeys, ...DefaultVmContext.keys()];
+    keys(): readonly string[] {
+        const defaultKeys = DefaultVmContext.keys();
+        if (this.cachedKeys?.[0] !== defaultKeys) {
+            const allKeys = freeze([...keys(this.env), ...defaultKeys]);
+            this.cachedKeys = freeze([defaultKeys, allKeys]);
+        }
+        return this.cachedKeys[1];
     }
     /** @inheritdoc */
     get(key: string): VmValue {
@@ -123,9 +110,9 @@ class ValueVmContext implements VmContext {
 class FactoryVmContext implements VmContext {
     readonly [kVmContext] = true;
     /** @inheritdoc */
-    keys(): Iterable<string> {
+    keys(): readonly string[] {
         if (!this.enumerator) return DefaultVmContext.keys();
-        return [...this.enumerator(), ...DefaultVmContext.keys()];
+        return freeze([...this.enumerator(), ...DefaultVmContext.keys()]);
     }
     /** @inheritdoc */
     get(key: string): VmValue {
@@ -170,7 +157,7 @@ export function createVmContext(...args: CreateVmContextWithValues | CreateVmCon
     }
 
     const [vmValues, externValues, describer] = args as CreateVmContextWithValues;
-    const env = create(VmSharedContext) as VmContextRecord;
+    const env: VmContextRecord = create(VM_SHARED_CONTEXT);
     if (vmValues) {
         for (const [key, value] of entries(vmValues)) {
             if (!isVmAny(value, false)) continue;
@@ -184,9 +171,3 @@ export function createVmContext(...args: CreateVmContextWithValues | CreateVmCon
     }
     return new ValueVmContext(env, describer ?? undefined);
 }
-
-/** 检查是否为执行上下文 */
-export function isVmContext(context: unknown): context is VmContext {
-    if (context == null || typeof context != 'object') return false;
-    return (context as VmContext)[kVmContext] === true;
-}

package/src/vm/types/extern.ts

@@ -1,9 +1,11 @@
-import { VmError } from '../error.js';
-import { VmWrapper } from './wrapper.js';
-import type { TypeName, VmAny, VmConst, VmPrimitive, VmValue } from './index.js';
+import { VmError } from '../../helpers/error.js';
 import { getPrototypeOf, hasOwn, apply, isArray } from '../../helpers/utils.js';
+import { innerToString } from '../../helpers/convert/to-string.js';
+import { isVmExtern } from '../../helpers/types.js';
+import { kVmExtern } from '../../helpers/constants.js';
+import type { TypeName, VmAny, VmConst, VmPrimitive, VmValue } from './index.js';
+import { VmWrapper } from './wrapper.js';
 import { unwrapFromVmValue, wrapToVmValue } from './boundary.js';
-import { $InnerToString } from '../operations.js';
 
 const ObjectPrototype = Object.prototype;
 // eslint-disable-next-line @typescript-eslint/unbound-method
@@ -100,17 +102,13 @@ export class VmExtern<const T extends object = object> extends VmWrapper<T> {
         if (toString === ArrayToString && isArray(this.value)) {
             const mapped = ArrayMap.call(this.value, (item: unknown) => {
                 if (item === undefined) return '';
-                return $InnerToString(wrapToVmValue(item ?? null, null), true);
+                return innerToString(wrapToVmValue(item ?? null, null), true);
             });
             const str = mapped.join(', ');
             if (useBraces) return `[${str}]`;
             return str;
         }
-        try {
-            return String(this.value);
-        } catch {
-            return super.toString(useBraces);
-        }
+        return String(this.value);
     }
     /** @inheritdoc */
     override get type(): TypeName {
@@ -157,9 +155,4 @@ export class VmExtern<const T extends object = object> extends VmWrapper<T> {
     }
 }
 
-const kVmExtern = Symbol.for('mirascript.vm.extern');
 Object.defineProperty(VmExtern.prototype, kVmExtern, { value: true });
-/** 检查值是否为 Mirascript 外部值 */
-export function isVmExtern<T extends object>(value: unknown): value is VmExtern<T> {
-    return value != null && typeof value == 'object' && kVmExtern in value;
-}

package/src/vm/types/function.ts

@@ -1,10 +1,9 @@
 import type { Writable } from 'type-fest';
 import { defineProperty } from '../../helpers/utils.js';
-import { CpEnter, CpExit } from '../helpers.js';
+import { kVmFunction, VM_FUNCTION_ANONYMOUS_NAME } from '../../helpers/constants.js';
 import type { VmAny, VmValue } from './index.js';
 import { fromVmFunctionProxy } from './boundary.js';
-
-const kVmFunction = Symbol.for('mirascript.vm.function');
+import { CpEnter, CpExit } from '../checkpoint.js';
 
 /**
  * Mirascript 函数签名
@@ -46,17 +45,6 @@ export type VmFunctionOption = Partial<
     }
 >;
 
-/** 检查是否为 Mirascript 函数 */
-export function isVmFunction<T extends VmFunctionLike>(value: unknown): value is VmFunction<T> {
-    return getVmFunctionInfo(value) != null;
-}
-
-/** 检查是否为 Mirascript 函数，并获取其信息 */
-export function getVmFunctionInfo(value: unknown): VmFunctionInfo | undefined {
-    if (typeof value != 'function') return undefined;
-    return (value as VmFunction)[kVmFunction];
-}
-
 /** 创建 Mirascript 函数 */
 export function VmFunction<T extends VmFunctionLike>(fn: T, option: VmFunctionOption = {}): VmFunction<T> {
     if (typeof fn != 'function') {
@@ -68,7 +56,7 @@ export function VmFunction<T extends VmFunctionLike>(fn: T, option: VmFunctionOp
     if (exists) return exists;
 
     const info: Writable<VmFunctionInfo> = {
-        fullName: option.fullName ?? fn.name,
+        fullName: option.fullName ?? (fn.name === VM_FUNCTION_ANONYMOUS_NAME ? '' : fn.name),
         isLib: option.isLib ?? false,
         summary: option.summary || undefined,
         params: option.params,
@@ -89,10 +77,7 @@ export function VmFunction<T extends VmFunctionLike>(fn: T, option: VmFunctionOp
                 CpExit();
             }
         }) as typeof fn;
-        defineProperty(fn, 'name', {
-            value: original.name,
-            configurable: true,
-        });
+        defineProperty(fn, 'name', { value: original.name });
     }
     defineProperty(fn, kVmFunction, {
         value: Object.freeze(info),