@mirascript/mirascript 0.1.0 → 0.1.2

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

@@ -1 +1 @@
-{"version":3,"file":"function.d.ts","sourceRoot":"","sources":["../../../src/vm/types/function.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAGjD,QAAA,MAAM,WAAW,eAAuC,CAAC;AAGzD;;;;GAIG;AAEH,MAAM,MAAM,cAAc,GAAG,CAAC,GAAG,IAAI,EAAE,aAAa,CAAC,OAAO,GAAG,SAAS,CAAC,KAAK,KAAK,GAAG,IAAI,CAAC;AAE3F,oBAAoB;AACpB,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,cAAc,GAAG,cAAc,IAAI,CAAC,GAAG;IAAE,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,cAAc,CAAA;CAAE,CAAC;AAEnH,sBAAsB;AACtB,MAAM,WAAW,cAAc;IAC3B,WAAW;IACX,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,aAAa;IACb,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,YAAY;IACZ,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY;IACZ,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,YAAY;IACZ,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,YAAY;IACZ,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY;IACZ,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,YAAY;IACZ,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,oBAAoB;IACpB,QAAQ,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC;CACtC;AAED,wBAAwB;AACxB,MAAM,MAAM,gBAAgB,GAAG,OAAO,CAClC,IAAI,CAAC,cAAc,EAAE,UAAU,CAAC,GAAG;IAC/B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC9B,CACJ,CAAC;AAEF,0BAA0B;AAC1B,wBAAgB,YAAY,CAAC,CAAC,SAAS,cAAc,EAAE,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,CAE7F;AAED,iCAAiC;AACjC,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,GAAG,SAAS,CAG5E;AAED,uBAAuB;AACvB,wBAAgB,UAAU,CAAC,CAAC,SAAS,cAAc,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,GAAE,gBAAqB,GAAG,UAAU,CAAC,CAAC,CAAC,CAwCxG;AAED,iCAAiC;AACjC,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,cAAc,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAqBhF;AAED,iCAAiC;AACjC,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,cAAc,EAAE,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,SAAS,CAO9F"}
+{"version":3,"file":"function.d.ts","sourceRoot":"","sources":["../../../src/vm/types/function.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAGjD,QAAA,MAAM,WAAW,eAAuC,CAAC;AAEzD;;;;GAIG;AAEH,MAAM,MAAM,cAAc,GAAG,CAAC,GAAG,IAAI,EAAE,aAAa,CAAC,OAAO,GAAG,SAAS,CAAC,KAAK,KAAK,GAAG,IAAI,CAAC;AAE3F,oBAAoB;AACpB,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,cAAc,GAAG,cAAc,IAAI,CAAC,GAAG;IAAE,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,cAAc,CAAA;CAAE,CAAC;AAEnH,sBAAsB;AACtB,MAAM,WAAW,cAAc;IAC3B,WAAW;IACX,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,aAAa;IACb,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,YAAY;IACZ,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY;IACZ,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,YAAY;IACZ,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,YAAY;IACZ,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY;IACZ,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,YAAY;IACZ,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,oBAAoB;IACpB,QAAQ,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC;CACtC;AAED,wBAAwB;AACxB,MAAM,MAAM,gBAAgB,GAAG,OAAO,CAClC,IAAI,CAAC,cAAc,EAAE,UAAU,CAAC,GAAG;IAC/B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC9B,CACJ,CAAC;AAEF,0BAA0B;AAC1B,wBAAgB,YAAY,CAAC,CAAC,SAAS,cAAc,EAAE,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC,CAE7F;AAED,iCAAiC;AACjC,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,GAAG,SAAS,CAG5E;AAED,uBAAuB;AACvB,wBAAgB,UAAU,CAAC,CAAC,SAAS,cAAc,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,GAAE,gBAAqB,GAAG,UAAU,CAAC,CAAC,CAAC,CAwCxG"}

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

@@ -1,5 +1,5 @@
 import { VmExtern } from './extern.js';
-import type { VmFunction } from './function.js';
+import { type VmFunction } from './function.js';
 import { VmModule } from './module.js';
 /** Mirascript 原始值 */
 export type VmPrimitive = null | string | number | boolean;
@@ -61,9 +61,12 @@ export declare function isVmRecord(value: VmAny): value is VmRecord;
  * 检查值是否为 Mirascript 原始值
  */
 export declare function isVmPrimitive(value: unknown): value is VmPrimitive;
-export { VmExtern, wrapToVmValue, unwrapFromVmValue } from './extern.js';
+export { VmExtern } from './extern.js';
+export { wrapToVmValue, unwrapFromVmValue, toVmFunctionProxy, fromVmFunctionProxy } from './boundary.js';
 /** 检查值是否为 Mirascript 外部值 */
 export declare function isVmExtern(value: unknown): value is VmExtern;
+/** 检查值是否为 Mirascript 可调用值 */
+export declare function isVmCallable(value: unknown): value is VmFunction | VmExtern<Function>;
 export { VmFunction, isVmFunction, getVmFunctionInfo, type VmFunctionInfo, type VmFunctionLike, type VmFunctionOption, } from './function.js';
 export { VmModule } from './module.js';
 /** 检查值是否为 Mirascript 模块 */

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":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAGvC,qBAAqB;AACrB,MAAM,MAAM,WAAW,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAC3D;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG;IACnB,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;CAC/C,CAAC;AACF;;;GAGG;AACH,MAAM,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;AAEzD,2BAA2B;AAC3B,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEvD,2BAA2B;AAC3B,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,UAAU,GAAG,QAAQ,CAAC;AAE1D,0BAA0B;AAC1B,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,QAAQ,CAAC;AAE7C,6BAA6B;AAC7B,MAAM,MAAM,eAAe,GAAG,SAAS,CAAC;AAExC,kCAAkC;AAClC,MAAM,MAAM,KAAK,GAAG,OAAO,GAAG,eAAe,CAAC;AAE9C,WAAW;AACX,MAAM,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC;AAExC,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;;GAEG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,OAAO,CAIxD;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,QAAQ,CAM1D;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,WAAW,CAOlE;AAED,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAEzE,4BAA4B;AAC5B,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,QAAQ,CAE5D;AAED,OAAO,EACH,UAAU,EACV,YAAY,EACZ,iBAAiB,EACjB,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,gBAAgB,GACxB,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEvC,2BAA2B;AAC3B,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,QAAQ,CAE5D;AAED,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,eAAe,EAAE,WAAW,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAExH,OAAO,EAAE,KAAK,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAE5E,eAAO,MAAM,mBAAmB,QAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/vm/types/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAgB,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAGvC,qBAAqB;AACrB,MAAM,MAAM,WAAW,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAC3D;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG;IACnB,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;CAC/C,CAAC;AACF;;;GAGG;AACH,MAAM,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;AAEzD,2BAA2B;AAC3B,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEvD,2BAA2B;AAC3B,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,UAAU,GAAG,QAAQ,CAAC;AAE1D,0BAA0B;AAC1B,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,QAAQ,CAAC;AAE7C,6BAA6B;AAC7B,MAAM,MAAM,eAAe,GAAG,SAAS,CAAC;AAExC,kCAAkC;AAClC,MAAM,MAAM,KAAK,GAAG,OAAO,GAAG,eAAe,CAAC;AAE9C,WAAW;AACX,MAAM,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC;AAExC,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;;GAEG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,OAAO,CAIxD;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,QAAQ,CAM1D;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,WAAW,CAOlE;AAED,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzG,4BAA4B;AAC5B,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,QAAQ,CAE5D;AAED,6BAA6B;AAE7B,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAErF;AAED,OAAO,EACH,UAAU,EACV,YAAY,EACZ,iBAAiB,EACjB,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,gBAAgB,GACxB,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEvC,2BAA2B;AAC3B,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,QAAQ,CAE5D;AAED,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,eAAe,EAAE,WAAW,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAExH,OAAO,EAAE,KAAK,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAE5E,eAAO,MAAM,mBAAmB,QAAc,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mirascript/mirascript",
-  "version": "0.1.0",
+  "version": "0.1.2",
   "type": "module",
   "description": "An expression based scripting language.",
   "main": "./dist/index.js",
@@ -33,16 +33,18 @@
   "dependencies": {
     "@commander-js/extra-typings": "^14.0.0",
     "ansi-styles": "^6.2.3",
-    "commander": "^14.0.1",
+    "commander": "^14.0.2",
     "js-base64": "^3.7.8",
-    "@mirascript/wasm": "~0.1.0",
-    "@mirascript/napi": "~0.1.0"
+    "@mirascript/napi": "~0.1.2",
+    "@mirascript/wasm": "~0.1.2"
   },
   "devDependencies": {
+    "@types/node": "^24.9.2",
     "@types/sinon": "^17.0.4",
     "ava": "^6.4.1",
     "c8": "^10.1.3",
-    "sinon": "^21.0.0"
+    "sinon": "^21.0.0",
+    "type-fest": "^5.1.0"
   },
   "scripts": {
     "watch": "pnpm build:ts --watch",

package/src/compiler/diagnostic.ts

@@ -1,3 +1,4 @@
+import type { Writable } from 'type-fest';
 import { DiagnosticCode, wasm } from '@mirascript/wasm';
 import type { ScriptInput } from './types.js';
 import { isSafeInteger } from '../helpers/utils.js';
@@ -59,7 +60,7 @@ export interface SourceReference<T extends DiagnosticCode = DiagnosticCode> exte
     readonly diagnostic: SourceDiagnostic<T>;
 }
 
-/** 分析诊断信息 */
+/** 分析诊断信息，{@link diagnostic_position_encoding} 不能设为 `None` */
 export function parseDiagnostics(
     source: ScriptInput,
     diagnostics: Uint32Array,

package/src/compiler/emit.ts

@@ -50,6 +50,10 @@ function toJavascript(value: VmConst | undefined): string {
         return JSON.stringify(value);
     }
     // JSON 无法处理 NaN 等特殊数字
+    if (value === 0) {
+        if (1 / value === -Infinity) return '-0';
+        return '0';
+    }
     return String(value);
 }
 

package/src/compiler/{compile-bytecode.ts → generate-bytecode.ts}

@@ -43,7 +43,7 @@ function checkModule(): void {
 /**
  * 生成 MiraScript 字节码
  */
-export function compileBytecodeSync(
+export function generateBytecodeSync(
     script: ScriptInput,
     options: CompileOptions,
 ): [Uint8Array | undefined, Uint32Array] {
@@ -55,10 +55,13 @@ export function compileBytecodeSync(
 /**
  * 生成 MiraScript 字节码
  */
-export async function compileBytecode(
+export async function generateBytecode(
     script: ScriptInput,
     options: CompileOptions,
 ): Promise<[Uint8Array | undefined, Uint32Array]> {
+    if (options == null) {
+        throw new TypeError('options must be provided');
+    }
     await loadModule();
     const result = 'compile' in module ? await module.compile(script, options) : module.compileSync(script, options);
     return [result.chunk, result.diagnostics];

package/src/compiler/index.ts

@@ -5,10 +5,11 @@ import { emit } from './emit.js';
 import { createScript } from './create-script.js';
 import { compileFast } from './compile-fast.js';
 import { formatDiagnostic, parseDiagnostics } from './diagnostic.js';
-import { compileBytecode, compileBytecodeSync, loadModule } from './compile-bytecode.js';
+import { generateBytecode, generateBytecodeSync, loadModule } from './generate-bytecode.js';
 import { compileWorker } from './worker-manager.js';
 await loadModule();
 
+export { generateBytecode, generateBytecodeSync };
 export type { TranspileOptions, ScriptInput, InputMode } from './types.js';
 
 // 目前编译速度约 2000kB/s
@@ -24,7 +25,7 @@ function reportDiagnostic(source: ScriptInput, diagnostics: Uint32Array): never
 /**
  * 生成 MiraScript 对应的 JavaScript 代码
  */
-function emitImpl(
+export function emitScript(
     source: ScriptInput,
     [code, diagnostics]: [Uint8Array | undefined, Uint32Array],
     options: TranspileOptions,
@@ -45,8 +46,8 @@ export async function compile(this: void, source: ScriptInput, options: Transpil
         if (result) return result;
     }
     if (source.length < WORKER_MIN_LEN) {
-        const bc = await compileBytecode(source, options);
-        return emitImpl(source, bc, options);
+        const bc = await generateBytecode(source, options);
+        return emitScript(source, bc, options);
     }
     const [target, diagnostics] = await compileWorker(source, options);
     if (target == null) {
@@ -62,6 +63,6 @@ export function compileSync(this: void, source: ScriptInput, options: TranspileO
         const result = compileFast(source, options);
         if (result) return result;
     }
-    const bc = compileBytecodeSync(source, options);
-    return emitImpl(source, bc, options);
+    const bc = generateBytecodeSync(source, options);
+    return emitScript(source, bc, options);
 }

package/src/compiler/worker.ts

@@ -1,6 +1,6 @@
 import type { ScriptInput, TranspileOptions } from './types.js';
 import { emit } from './emit.js';
-import { compileBytecode } from './compile-bytecode.js';
+import { generateBytecode } from './generate-bytecode.js';
 
 /**
  * 生成 MiraScript 对应的 JavaScript 代码
@@ -9,7 +9,7 @@ export async function compile(
     script: ScriptInput,
     options: TranspileOptions,
 ): Promise<[string | undefined, Uint32Array]> {
-    const [bytecode, errors] = await compileBytecode(script, options);
+    const [bytecode, errors] = await generateBytecode(script, options);
     if (bytecode == null) {
         return [undefined, errors];
     }

package/src/helpers/utils.ts

@@ -1,6 +1,7 @@
 export const { isArray } = Array;
 export const { isFinite, isNaN, isInteger, isSafeInteger } = Number;
 export const { hasOwn, keys, values, entries, create, getPrototypeOf, fromEntries, defineProperty } = Object;
+export const { apply } = Reflect;
 
 /**
  * Determines whether an object has an enumerable property with the specified name.

package/src/subtle.ts

@@ -4,3 +4,4 @@ export * as operations from './vm/operations.js';
 export { serialize, serializeString, serializePropName, type SerializeOptions } from './helpers/serialize.js';
 export { lib } from './vm/lib/_loader.js';
 export * from './compiler/diagnostic.js';
+export { generateBytecode, generateBytecodeSync, emitScript } from './compiler/index.js';

package/src/vm/error.ts

@@ -14,9 +14,21 @@ export class VmError extends Error {
 
     /** 从其他错误构造 */
     static from(prefix: string, error: unknown, recovered: VmAny): VmError {
-        if (prefix && !prefix.endsWith(': ')) prefix += ': ';
-        const vmError = new VmError(`${prefix}${error instanceof Error ? error.message : String(error)}`, recovered);
-        vmError.stack = error instanceof Error ? error.stack : undefined;
+        if (prefix) {
+            if (prefix.endsWith(':')) {
+                prefix += ' ';
+            } else if (!prefix.endsWith(': ')) {
+                prefix += ': ';
+            }
+        }
+        let vmError: VmError;
+        if (error instanceof Error) {
+            vmError = new VmError(`${prefix}${error.message}`, recovered);
+            vmError.stack = error.stack;
+        } else {
+            vmError = new VmError(`${prefix}${String(error)}`, recovered);
+        }
+        vmError.cause = error;
         return vmError;
     }
 }

package/src/vm/lib/_helpers.ts

@@ -1,8 +1,8 @@
+import type { Writable } from 'type-fest';
 import { VmError } from '../error.js';
 import { $ToNumber, $Type } from '../operations.js';
 import {
     isVmArray,
-    isVmExtern,
     isVmFunction,
     type VmExtern,
     type VmFunction,
@@ -16,6 +16,7 @@ import {
     type VmConst,
     isVmConst,
     VM_ARRAY_MAX_LENGTH,
+    isVmCallable,
 } from '../types/index.js';
 import type { VmFunctionLike, VmFunctionOption } from '../types/function.js';
 import { Cp } from '../helpers.js';
@@ -126,8 +127,7 @@ export function expectCallable(
     recovered: VmAny | (() => VmAny),
 ): asserts value is VmFunction | VmExtern {
     required(name, value, recovered);
-    const callable = isVmFunction(value) || isVmExtern(value);
-    if (!callable) {
+    if (!isVmCallable(value)) {
         throwUnexpectedTypeError(name, 'callable', value, recovered);
     }
 }

package/src/vm/lib/_loader.ts

@@ -6,7 +6,7 @@ import type { VmLib, VmLibOption } from './_helpers.js';
 import * as global from './global/index.js';
 
 for (const [name, value] of entries(global)) {
-    VmSharedContext[name] = wrapEntry(name, value as RawValue);
+    VmSharedContext[name] = wrapEntry(name, value as RawValue, 'global');
 }
 
 /** 原始值 */
@@ -14,7 +14,7 @@ type RawValue = VmLib | VmConst | VmModule;
 /** 包装值 */
 type ToWrappedValue<V extends RawValue> = V extends VmFunctionLike ? VmFunction<V> : V;
 /** 包装值 */
-function wrapEntry<const T extends RawValue>(name: string, value: T): ToWrappedValue<T> {
+function wrapEntry<const T extends RawValue>(name: string, value: T, module: string): ToWrappedValue<T> {
     if (typeof value == 'function') {
         if (value.name !== name) {
             // 如果函数名和导出名不一致，则重命名
@@ -26,7 +26,7 @@ function wrapEntry<const T extends RawValue>(name: string, value: T): ToWrappedV
         return VmFunction(value, {
             isLib: true,
             injectCp: true,
-            fullName: `global.${name}`,
+            fullName: `${module}.${name}`,
             ...(value as VmLibOption),
         }) as ToWrappedValue<T>;
     } else {
@@ -43,7 +43,7 @@ export type ToWrappedModule<T extends Record<string, RawValue>> = VmModule<{
 export function createModule<const T extends Record<string, RawValue>>(name: string, lib: T): ToWrappedModule<T> {
     const mod = create(null) as Record<string, VmImmutable>;
     for (const [key, value] of entries(lib)) {
-        mod[key] = wrapEntry(key, value);
+        mod[key] = wrapEntry(key, value, name);
     }
     return new VmModule(name, mod) as ToWrappedModule<T>;
 }

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

@@ -15,7 +15,7 @@ export const pow = VmLib((x, y) => _pow($ToNumber(x), $ToNumber(y)), {
     returnsType: 'number',
 });
 export const random = VmLib(Math.random, {
-    summary: '返回 0 到 1 之间的伪随机数',
+    summary: '返回 [0, 1) 之间的伪随机数',
     params: {},
     paramsType: {},
     returnsType: 'number',

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

@@ -1,17 +1,19 @@
 import { entries } from '../../../../helpers/utils.js';
 import { Cp } from '../../../helpers.js';
-import { $Call, $ToBoolean } from '../../../operations.js';
-import { type VmValue, isVmArray } from '../../../types/index.js';
-import { VmLib, expectArrayOrRecord, expectCallable } from '../../_helpers.js';
+import { $Call, $Same, $ToBoolean } from '../../../operations.js';
+import { type VmValue, isVmArray, isVmCallable } from '../../../types/index.js';
+import { VmLib, expectArrayOrRecord, required } from '../../_helpers.js';
 
 export const find = VmLib(
     (data, predicate) => {
         expectArrayOrRecord('data', data, null);
-        expectCallable('predicate', predicate, data);
-        const p = (value: VmValue, key: string | number, data: VmValue) => {
-            const ret = $Call(predicate, [value, key, data]);
-            return $ToBoolean(ret);
-        };
+        required('predicate', predicate, null);
+        const p = isVmCallable(predicate)
+            ? (value: VmValue, key: string | number, data: VmValue) => {
+                  const ret = $Call(predicate, [value, key, data]);
+                  return $ToBoolean(ret);
+              }
+            : (value: VmValue) => $Same(predicate, value);
         if (isVmArray(data)) {
             const { length } = data;
             for (let i = 0; i < length; i++) {
@@ -37,13 +39,13 @@ export const find = VmLib(
         summary: '查找数组或记录中的键值对，返回第一个满足条件的键值对',
         params: {
             data: '查的数组或记录',
-            predicate: '用于测试每个键值对的函数，返回 true 或 false',
+            predicate: '用于测试每个键值对的函数，或要查找的值',
         },
         paramsType: {
             data: 'array | record',
-            predicate: 'fn(value: any, key: number | string | nil, input: type(data)) -> boolean',
+            predicate: '(fn(value: any, key: number | string | nil, input: type(data)) -> boolean) | any',
         },
         returnsType: '(string | number, any) | nil',
-        examples: ['find([3, 5, 8], fn (v) { v % 2 == 0 }) // (2, 8)'],
+        examples: ['find([3, 5, 8], fn (v) { v % 2 == 0 }) // (2, 8)', `find((x: 1, y: 2, z: 3), 2) // ('y', 2)`],
     },
 );

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

@@ -49,7 +49,7 @@ export const filter = VmLib(
         summary: '过滤数组或记录中的元素，返回满足条件的元素',
         params: {
             data: '要过滤的数组或记录',
-            predicate: '用于测试每个元素的函数，返回 true 或 false',
+            predicate: '用于测试每个元素的函数',
         },
         paramsType: {
             data: 'array | record',
@@ -70,7 +70,7 @@ export const filter_map = VmLib(
         summary: '对数组或记录中的每个元素应用函数，并返回非 nil 的结果',
         params: {
             data: '要映射的数组或记录',
-            f: '应用于每个元素的函数，返回 nil 或非 nil 的值',
+            f: '应用于每个元素的函数',
         },
         paramsType: {
             data: 'array | record',

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

@@ -44,7 +44,7 @@ export const to_datetime = VmLib(
         };
     },
     {
-        summary: '将数据转换为 Date 对象',
+        summary: '将数据转换为 Date 记录',
         params: {
             datetime: '要转换的数据，默认为当前时间',
             offset: '时区偏移量（单位：小时），默认为 0',

package/src/vm/operations.ts

@@ -37,11 +37,11 @@ const isSame = (a: VmValue, b: VmValue): boolean => {
     if (b instanceof VmWrapper) return b.same(a);
     // Handle array values
     if (isVmArray(a) && isVmArray(b)) {
-        // Compare array items
-        if (a.length !== b.length) {
+        const len = a.length;
+        if (len !== b.length) {
             return false;
         }
-        const len = a.length;
+        // Compare array items
         for (let i = 0; i < len; i++) {
             if (!isSame(a[i] ?? null, b[i] ?? null)) {
                 return false;
@@ -138,7 +138,9 @@ export const $Eq = (a: VmAny, b: VmAny): boolean => {
     if (typeof a == 'number' && typeof b == 'number') return a === b;
     return isSame(a, b);
 };
-export const $Neq = (a: VmAny, b: VmAny): boolean => !$Eq(a, b);
+export const $Neq = (a: VmAny, b: VmAny): boolean => {
+    return !$Eq(a, b);
+};
 const stringComparer = new Intl.Collator('en', {
     usage: 'sort',
     numeric: false,
@@ -164,13 +166,17 @@ export const $Aeq = (a: VmAny, b: VmAny): boolean => {
         return stringComparer.compare(as, bs) === 0;
     }
 };
-export const $Naeq = (a: VmAny, b: VmAny): boolean => !$Aeq(a, b);
+export const $Naeq = (a: VmAny, b: VmAny): boolean => {
+    return !$Aeq(a, b);
+};
 export const $Same = (a: VmAny, b: VmAny): boolean => {
     $AssertInit(a);
     $AssertInit(b);
     return isSame(a, b);
 };
-export const $Nsame = (a: VmAny, b: VmAny): boolean => !$Same(a, b);
+export const $Nsame = (a: VmAny, b: VmAny): boolean => {
+    return !$Same(a, b);
+};
 export const $In = (value: VmAny, iterable: VmAny): boolean => {
     $AssertInit(value);
     $AssertInit(iterable);
@@ -198,9 +204,15 @@ export const $In = (value: VmAny, iterable: VmAny): boolean => {
 export const $Concat = (...args: string[]): string => {
     return args.map($Format).join('');
 };
-export const $Pos = (a: VmAny): number => $ToNumber(a);
-export const $Neg = (a: VmAny): number => -$ToNumber(a);
-export const $Not = (a: VmAny): boolean => !$ToBoolean(a);
+export const $Pos = (a: VmAny): number => {
+    return $ToNumber(a);
+};
+export const $Neg = (a: VmAny): number => {
+    return -$ToNumber(a);
+};
+export const $Not = (a: VmAny): boolean => {
+    return !$ToBoolean(a);
+};
 export const $Length = (value: VmAny): number => {
     $AssertInit(value);
     if (isVmArray(value)) return value.length;

package/src/vm/types/boundary.ts

@@ -0,0 +1,95 @@
+import { isVmFunction, type VmFunctionLike, type VmFunction } from './function.js';
+import { VmExtern } from './extern.js';
+import { VmWrapper } from './wrapper.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];
+    if (cached != null) return cached;
+
+    const proxy = (...args: unknown[]) => {
+        const ret = $Call(
+            fn,
+            // 作为函数参数传入的值一定丢失了它的 this
+            args.map((v) => wrapToVmValue(v, null)),
+        );
+        return unwrapFromVmValue(ret);
+    };
+    defineProperty(fn, kProxy, { value: proxy });
+    defineProperty(proxy, kProxy, { value: fn });
+    defineProperty(proxy, 'name', {
+        value: fn.name,
+        configurable: true,
+    });
+    return proxy as T;
+}
+
+/** 解开 Mirascript 函数在宿主语言运行的代理 */
+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];
+    if (original && isVmFunction(original)) return original;
+
+    return undefined;
+}
+
+/** 将宿主语言的值包装为 Mirascript 类型 */
+export function wrapToVmValue(
+    value: unknown,
+    thisArg: VmExtern | null = null,
+    assumeVmValue?: (obj: object) => obj is Exclude<VmConst, VmPrimitive>,
+): VmValue {
+    if (value == null) return null;
+    switch (typeof value) {
+        case 'function': {
+            const unwrapped = fromVmFunctionProxy(value as VmFunctionLike);
+            if (unwrapped) return unwrapped;
+            return new VmExtern(value as () => never, thisArg);
+        }
+        case 'object': {
+            if (value instanceof VmWrapper) return value as VmModule | VmExtern;
+            if (value instanceof Date) return value.valueOf();
+            if (assumeVmValue?.(value)) return value;
+            // Only functions preserve thisArg
+            return new VmExtern(value);
+        }
+        case 'string':
+        case 'number':
+        case 'boolean':
+            return value;
+        case 'bigint':
+            return Number(value);
+        case 'symbol':
+        case 'undefined':
+        default:
+            return null;
+    }
+}
+
+/** 取消宿主语言的值的 Mirascript 包装  */
+export function unwrapFromVmValue(value: VmAny): unknown {
+    if (typeof value == 'function') {
+        return toVmFunctionProxy(value);
+    }
+    if (value == null || typeof value != 'object') return value;
+    if (!(value instanceof VmExtern)) return value;
+
+    if (value.thisArg == null || typeof value.value != 'function') {
+        return value.value;
+    }
+    const f = value as VmExtern<(...args: unknown[]) => unknown>;
+    const caller = f.thisArg!.value;
+    return new Proxy(f.value, {
+        apply(target, thisArg, args): unknown {
+            return apply(target, caller, args);
+        },
+    });
+}

package/src/vm/types/context.ts

@@ -7,7 +7,7 @@ import {
     isVmAny,
     type VmFunctionLike,
 } from './index.js';
-import { entries, keys } from '../../helpers/utils.js';
+import { create, entries, keys } from '../../helpers/utils.js';
 import type * as global from '../lib/global/index.js';
 
 /** 全局导入的标准库 */
@@ -36,7 +36,7 @@ export interface VmContext {
 }
 /** MiraScript 执行上下文 */
 export type VmContextRecord = Record<string, VmValue | undefined>;
-export const VmSharedContext = { __proto__: null } as object as VmSharedContext;
+export const VmSharedContext = create(null) as VmSharedContext;
 
 /** 定义在所有 MiraScript 执行上下文中共享的全局变量 */
 export function defineVmContextValue(
@@ -91,7 +91,7 @@ class ValueVmContext implements VmContext {
     has(key: string): boolean {
         return key in this.env;
     }
-    constructor(private readonly env: VmContextRecord & { __proto__: VmSharedContext }) {}
+    constructor(private readonly env: VmContextRecord) {}
 }
 
 /** 以工厂函数为后备的实现 */
@@ -139,7 +139,7 @@ export function createVmContext(
     }
 
     const [vmValues, externValues] = args;
-    const env = { __proto__: VmSharedContext } as { __proto__: VmSharedContext } & VmContextRecord;
+    const env = create(VmSharedContext) as VmContextRecord;
     if (vmValues) {
         for (const [key, value] of entries(vmValues)) {
             if (!isVmAny(value, false)) continue;