@mirascript/mirascript 0.1.13 → 0.1.14

package/src/vm/types/any.ts

@@ -0,0 +1,33 @@
+import { isVmConst } from './const.js';
+import { isVmFunction } from './function.js';
+import { isVmWrapper } from './wrapper.js';
+import type { VmValue } from './value.js';
+
+/** Mirascript 虚拟机内的值（包括未初始化变量） */
+export type VmAny = VmValue | VmUninitialized;
+
+/** Mirascript 虚拟机内的未初始化变量 */
+export type VmUninitialized = undefined;
+
+/**
+ * 检查是否为 Mirascript 值
+ */
+export function isVmAny(value: unknown, checkDeep: boolean): value is VmAny {
+    switch (typeof value) {
+        case 'string':
+        case 'number':
+        case 'boolean':
+        case 'undefined':
+            return true;
+        case 'object':
+            if (value == null) return true;
+            if (isVmWrapper(value)) return true;
+            return isVmConst(value, checkDeep);
+        case 'function':
+            return isVmFunction(value);
+        case 'bigint':
+        case 'symbol':
+        default:
+            return false; // Other types are not valid
+    }
+}

package/src/vm/types/array.ts

@@ -0,0 +1,19 @@
+import { isArray } from '../../helpers/utils.js';
+import type { VmAny, VmConst } from './index.js';
+
+/**
+ * Mirascript 数组
+ * 数组中的 `undefined`、`null` 及 <empty slot> 均视作 `nil`
+ */
+export type VmArray = ReadonlyArray<VmConst | undefined>;
+
+export const VM_ARRAY_MAX_LENGTH = 2 ** 31 - 1;
+
+/**
+ * 检查值是否为 Mirascript 数组
+ */
+export function isVmArray(value: VmAny): value is VmArray {
+    if (!isArray(value)) return false;
+    value as VmArray satisfies VmArray;
+    return true;
+}

package/src/vm/types/callable.ts

@@ -0,0 +1,10 @@
+import { isVmExtern, type VmExtern } from './extern.js';
+import { isVmFunction, type VmFunction, type VmFunctionLike } from './function.js';
+
+/** 检查值是否为 Mirascript 可调用值 */
+// eslint-disable-next-line @typescript-eslint/no-unsafe-function-type
+export function isVmCallable<E extends Function, F extends VmFunctionLike>(
+    value: unknown,
+): value is VmFunction<F> | VmExtern<E> {
+    return isVmFunction<F>(value) || (isVmExtern<E>(value) && typeof value.value == 'function');
+}

package/src/vm/types/{checker.ts → const.ts}

@@ -1,8 +1,12 @@
+import type { VmArray } from './array.js';
+import type { VmPrimitive } from './primitive.js';
+import type { VmRecord } from './record.js';
+import type { VmAny } from './any.js';
 import { getPrototypeOf, isArray, values } from '../../helpers/utils.js';
-import type { VmAny, VmArray, VmConst, VmImmutable, VmRecord, VmValue } from './index.js';
 import { isVmWrapper } from './wrapper.js';
-import { isVmModule } from './module.js';
-import { isVmFunction } from './function.js';
+
+/** Mirascript 虚拟机内的值语义值 */
+export type VmConst = VmPrimitive | VmRecord | VmArray;
 
 const MAX_DEPTH = 32;
 /**
@@ -103,55 +107,3 @@ export function isVmConst(value: unknown, checkDeep = false): value is VmConst {
             return false; // Other types are not valid
     }
 }
-/**
- * 检查是否为 Mirascript 不可变值
- */
-export function isVmImmutable(value: VmAny): value is VmImmutable;
-/**
- * 检查是否为 Mirascript 不可变值
- */
-export function isVmImmutable(value: unknown, checkDeep: boolean): value is VmImmutable;
-/**
- * 检查是否为 Mirascript 不可变值
- */
-export function isVmImmutable(value: unknown, checkDeep = false): value is VmImmutable {
-    return isVmModule(value) || isVmFunction(value) || isVmConst(value, checkDeep);
-}
-/**
- * 检查是否为 Mirascript 合法值
- */
-export function isVmValue(value: VmAny): value is VmValue;
-/**
- * 检查是否为 Mirascript 合法值
- */
-export function isVmValue(value: unknown, checkDeep: boolean): value is VmValue;
-/**
- * 检查是否为 Mirascript 合法值
- */
-export function isVmValue(value: unknown, checkDeep = false): value is VmValue {
-    if (value === undefined) return false;
-    return isVmAny(value, checkDeep);
-}
-
-/**
- * 检查是否为 Mirascript 值
- */
-export function isVmAny(value: unknown, checkDeep: boolean): value is VmAny {
-    switch (typeof value) {
-        case 'string':
-        case 'number':
-        case 'boolean':
-        case 'undefined':
-            return true;
-        case 'object':
-            if (value == null) return true;
-            if (isVmWrapper(value)) return true;
-            return isVmConst(value, checkDeep);
-        case 'function':
-            return isVmFunction(value);
-        case 'bigint':
-        case 'symbol':
-        default:
-            return false; // Other types are not valid
-    }
-}

package/src/vm/types/context.ts

@@ -40,6 +40,8 @@ export interface VmContext {
 export type VmContextRecord = Record<string, VmValue | undefined>;
 export const VmSharedContext = create(null) as VmSharedContext;
 
+let VmSharedContextKeys: readonly string[] | null = null;
+
 /** 定义在所有 MiraScript 执行上下文中共享的全局变量 */
 export function defineVmContextValue(
     name: string,
@@ -57,6 +59,7 @@ export function defineVmContextValue(
         v = value;
     }
     VmSharedContext[name] = v ?? null;
+    VmSharedContextKeys = null;
 }
 
 /** 无后备的实现 */
@@ -64,7 +67,8 @@ export const DefaultVmContext: VmContext = Object.freeze({
     [kVmContext]: true as const,
     /** @inheritdoc */
     keys(): Iterable<string> {
-        return keys(VmSharedContext);
+        VmSharedContextKeys ??= Object.freeze(keys(VmSharedContext));
+        return VmSharedContextKeys;
     },
     /** @inheritdoc */
     get(key: string): VmValue {

package/src/vm/types/extern.ts

@@ -1,14 +1,17 @@
 import { VmError } from '../error.js';
 import { VmWrapper } from './wrapper.js';
 import type { TypeName, VmAny, VmConst, VmPrimitive, VmValue } from './index.js';
-import { getPrototypeOf, hasOwn, apply } from '../../helpers/utils.js';
+import { getPrototypeOf, hasOwn, apply, isArray } from '../../helpers/utils.js';
 import { unwrapFromVmValue, wrapToVmValue } from './boundary.js';
+import { $InnerToString } from '../operations.js';
 
 const ObjectPrototype = Object.prototype;
 // eslint-disable-next-line @typescript-eslint/unbound-method
 const ObjectToString = ObjectPrototype.toString;
 // eslint-disable-next-line @typescript-eslint/unbound-method
 const FunctionToString = Function.prototype.toString;
+const ArrayToString = Array.prototype.toString;
+const ArrayMap = Array.prototype.map;
 /** 包装 Mirascript `extern` 类型的对象 */
 export class VmExtern<const T extends object = object> extends VmWrapper<T> {
     constructor(
@@ -88,16 +91,25 @@ export class VmExtern<const T extends object = object> extends VmWrapper<T> {
         return this.value === other.value && this.thisArg === other.thisArg;
     }
     /** @inheritdoc */
-    override toString(): string {
+    override toString(useBraces: boolean): string {
         // eslint-disable-next-line @typescript-eslint/unbound-method
         const { toString } = this.value;
         if (typeof toString != 'function' || toString === ObjectToString || toString === FunctionToString) {
-            return super.toString();
+            return super.toString(useBraces);
+        }
+        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);
+            });
+            const str = mapped.join(', ');
+            if (useBraces) return `[${str}]`;
+            return str;
         }
         try {
             return String(this.value);
         } catch {
-            return super.toString();
+            return super.toString(useBraces);
         }
     }
     /** @inheritdoc */
@@ -107,7 +119,9 @@ export class VmExtern<const T extends object = object> extends VmWrapper<T> {
     /** @inheritdoc */
     override get describe(): string {
         const tag = ObjectToString.call(this.value).slice(8, -1);
-        if (tag === 'Object') {
+        if (isArray(this.value)) {
+            return `${tag}(${this.value.length})`;
+        } else if (tag === 'Object') {
             const proto = getPrototypeOf(this.value);
             if (proto === ObjectPrototype) {
                 return 'Object';

package/src/vm/types/immutable.ts

@@ -0,0 +1,22 @@
+import type { VmAny } from './any.js';
+import { isVmConst, type VmConst } from './const.js';
+import { isVmFunction, type VmFunction } from './function.js';
+import { isVmModule, type VmModule } from './module.js';
+
+/** Mirascript 虚拟机内的不可变值 */
+export type VmImmutable = VmConst | VmFunction | VmModule;
+
+/**
+ * 检查是否为 Mirascript 不可变值
+ */
+export function isVmImmutable(value: VmAny): value is VmImmutable;
+/**
+ * 检查是否为 Mirascript 不可变值
+ */
+export function isVmImmutable(value: unknown, checkDeep: boolean): value is VmImmutable;
+/**
+ * 检查是否为 Mirascript 不可变值
+ */
+export function isVmImmutable(value: unknown, checkDeep = false): value is VmImmutable {
+    return isVmModule(value) || isVmFunction(value) || isVmConst(value, checkDeep);
+}

package/src/vm/types/index.ts

@@ -1,39 +1,8 @@
-import { isArray } from '../../helpers/utils.js';
-import { isVmExtern, VmExtern } from './extern.js';
-import { isVmFunction, VmFunction } from './function.js';
-import { VmModule, isVmModule } from './module.js';
-import { isVmWrapper } from './wrapper.js';
-
-/** Mirascript 原始值 */
-export type VmPrimitive = null | string | number | boolean;
-/**
- * Mirascript 记录
- * 仅拥有且可枚举的字符串键视作存在
- * 字段值 `undefined` 和 `null` 均视作 `nil`
- */
-export type VmRecord = {
-    readonly [key: string]: VmConst | undefined;
-};
-/**
- * Mirascript 数组
- * 数组中的 `undefined`、`null` 及 <empty slot> 均视作 `nil`
- */
-export type VmArray = ReadonlyArray<VmConst | undefined>;
-
-/** Mirascript 虚拟机内的值语义值 */
-export type VmConst = VmPrimitive | VmRecord | VmArray;
-
-/** Mirascript 虚拟机内的不可变值 */
-export type VmImmutable = VmConst | VmFunction | VmModule;
-
-/** Mirascript 虚拟机内的合法值 */
-export type VmValue = VmImmutable | VmExtern;
-
-/** Mirascript 虚拟机内的未初始化变量 */
-export type VmUninitialized = undefined;
-
-/** Mirascript 虚拟机内的值（包括未初始化变量） */
-export type VmAny = VmValue | VmUninitialized;
+import type { VmArray } from './array.js';
+import type { VmExtern } from './extern.js';
+import type { VmFunction } from './function.js';
+import type { VmModule } from './module.js';
+import type { VmRecord } from './record.js';
 
 /** 类型名称 */
 export type TypeName = keyof VmValueMap;
@@ -60,53 +29,32 @@ export interface VmValueMap {
     module: VmModule;
 }
 
-/**
- * 检查值是否为 Mirascript 数组
- */
-export function isVmArray(value: VmAny): value is VmArray {
-    if (!isArray(value)) return false;
-    value as VmArray satisfies VmArray;
-    return true;
-}
-
-/**
- * 检查值是否为 Mirascript 记录
- */
-export function isVmRecord(value: VmAny): value is VmRecord {
-    if (value == null || typeof value !== 'object') return false;
-    if (isVmWrapper(value)) return false;
-    if (isVmArray(value)) return false;
-    value satisfies VmRecord;
-    return true;
-}
-
-/**
- * 检查值是否为 Mirascript 原始值
- */
-export function isVmPrimitive(value: unknown): value is VmPrimitive {
-    if (value === null || typeof value == 'number' || typeof value == 'string' || typeof value == 'boolean') {
-        value as VmPrimitive satisfies typeof value;
-        value satisfies VmPrimitive;
-        return true;
-    }
-    return false;
-}
-
-export { VmFunction, isVmFunction, VmExtern, isVmExtern, VmModule, isVmModule, isVmWrapper };
 export { wrapToVmValue, unwrapFromVmValue, toVmFunctionProxy, fromVmFunctionProxy } from './boundary.js';
-
-/** 检查值是否为 Mirascript 可调用值 */
-// eslint-disable-next-line @typescript-eslint/no-unsafe-function-type
-export function isVmCallable(value: unknown): value is VmFunction | VmExtern<Function> {
-    return isVmFunction(value) || (isVmExtern(value) && typeof value.value == 'function');
-}
-
-export { getVmFunctionInfo, type VmFunctionInfo, type VmFunctionLike, type VmFunctionOption } from './function.js';
-
 export { type VmContext, type VmSharedContext, isVmContext, defineVmContextValue, createVmContext } from './context.js';
-
 export { type VmScript, isVmScript } from './script.js';
-
-export { isVmAny, isVmConst, isVmImmutable, isVmValue } from './checker.js';
-
-export const VM_ARRAY_MAX_LENGTH = 2 ** 31 - 1;
+export { isVmCallable } from './callable.js';
+
+export { type VmArray, VM_ARRAY_MAX_LENGTH, isVmArray } from './array.js';
+export {
+    type VmRecord,
+    isVmRecord,
+    isVmArrayLikeRecord,
+    isVmArrayLikeRecordByEntires,
+    isVmArrayLikeRecordByKeys,
+} from './record.js';
+export { type VmPrimitive, isVmPrimitive } from './primitive.js';
+export { type VmConst, isVmConst } from './const.js';
+export { type VmImmutable, isVmImmutable } from './immutable.js';
+export { VmExtern, isVmExtern } from './extern.js';
+export {
+    VmFunction,
+    isVmFunction,
+    getVmFunctionInfo,
+    type VmFunctionInfo,
+    type VmFunctionLike,
+    type VmFunctionOption,
+} from './function.js';
+export { VmModule, isVmModule } from './module.js';
+export { isVmWrapper } from './wrapper.js';
+export { type VmValue, isVmValue } from './value.js';
+export { type VmAny, type VmUninitialized, isVmAny } from './any.js';

package/src/vm/types/primitive.ts

@@ -0,0 +1,14 @@
+/** Mirascript 原始值 */
+export type VmPrimitive = null | string | number | boolean;
+
+/**
+ * 检查值是否为 Mirascript 原始值
+ */
+export function isVmPrimitive(value: unknown): value is VmPrimitive {
+    if (value === null || typeof value == 'number' || typeof value == 'string' || typeof value == 'boolean') {
+        value as VmPrimitive satisfies typeof value;
+        value satisfies VmPrimitive;
+        return true;
+    }
+    return false;
+}

package/src/vm/types/record.ts

@@ -0,0 +1,53 @@
+import { keys } from '../../helpers/utils.js';
+import { isVmArray, VM_ARRAY_MAX_LENGTH } from './array.js';
+import { isVmWrapper, type VmAny, type VmConst } from './index.js';
+
+/**
+ * Mirascript 记录
+ * 仅拥有且可枚举的字符串键视作存在
+ * 字段值 `undefined` 和 `null` 均视作 `nil`
+ */
+// eslint-disable-next-line @typescript-eslint/consistent-indexed-object-style
+export type VmRecord = {
+    readonly [key: string]: VmConst | undefined;
+};
+
+/**
+ * 检查值是否为 Mirascript 记录
+ */
+export function isVmRecord(value: VmAny): value is VmRecord {
+    if (value == null || typeof value !== 'object') return false;
+    if (isVmWrapper(value)) return false;
+    if (isVmArray(value)) return false;
+    value satisfies VmRecord;
+    return true;
+}
+
+/** 检查是否为仅包含从 0 开始的连续数字键的 MiraScript 记录 */
+export function isVmArrayLikeRecordByEntires(entries: ReadonlyArray<readonly [string, unknown]>): boolean {
+    const { length } = entries;
+    if (length === 0) return true;
+    if (length > VM_ARRAY_MAX_LENGTH) return false;
+    const firstKey = entries[0]![0];
+    if (firstKey !== '0') return false;
+    const lastKey = entries[length - 1]![0];
+    if (lastKey !== String(length - 1)) return false;
+    return true;
+}
+
+/** 检查是否为仅包含从 0 开始的连续数字键的 MiraScript 记录 */
+export function isVmArrayLikeRecordByKeys(keys: readonly string[]): boolean {
+    const { length } = keys;
+    if (length === 0) return true;
+    if (length > VM_ARRAY_MAX_LENGTH) return false;
+    const firstKey = keys[0]!;
+    if (firstKey !== '0') return false;
+    const lastKey = keys[length - 1]!;
+    if (lastKey !== String(length - 1)) return false;
+    return true;
+}
+
+/** 检查是否为仅包含从 0 开始的连续数字键的 MiraScript 记录 */
+export function isVmArrayLikeRecord(value: VmRecord): boolean {
+    return isVmArrayLikeRecordByKeys(keys(value));
+}

package/src/vm/types/value.ts

@@ -0,0 +1,22 @@
+import { isVmAny, type VmAny } from './any.js';
+import type { VmExtern } from './extern.js';
+import type { VmImmutable } from './immutable.js';
+
+/** Mirascript 虚拟机内的合法值 */
+export type VmValue = VmImmutable | VmExtern;
+
+/**
+ * 检查是否为 Mirascript 合法值
+ */
+export function isVmValue(value: VmAny): value is VmValue;
+/**
+ * 检查是否为 Mirascript 合法值
+ */
+export function isVmValue(value: unknown, checkDeep: boolean): value is VmValue;
+/**
+ * 检查是否为 Mirascript 合法值
+ */
+export function isVmValue(value: unknown, checkDeep = false): value is VmValue {
+    if (value === undefined) return false;
+    return isVmAny(value, checkDeep);
+}

package/src/vm/types/wrapper.ts

@@ -22,7 +22,7 @@ export abstract class VmWrapper<T extends object> {
         return undefined;
     }
     /** 转为字符串 */
-    toString(): string {
+    toString(useBraces: boolean): string {
         const { type, describe } = this;
         if (!describe) return `<${type}>`;
         return `<${type} ${describe}>`;