@nudojs/env 0.4.7 → 0.4.10

package/dist/{chunk-KRMQSDG3.js → chunk-KQ7PVOVE.js}

@@ -3,7 +3,11 @@ import {
   litValue,
   numLit,
   strLit as strLit2,
-  boolLit
+  boolLit,
+  evalGlobalFn,
+  makeArrayCtorAbs,
+  evalPromiseCtor,
+  evalDateCtor
 } from "@nudojs/core";
 
 // src/abs-helpers.ts
@@ -91,12 +95,17 @@ function errorBrandOf(name) {
 }
 function envFn(paramTypes, returnType, apply, opts) {
   const params = opts?.params ?? paramTypes.map((_, i) => paramTypes.length === 1 && i === 0 ? "x" : `x${i}`);
+  const staticSlots = opts?.slots ? slotsOf(opts.slots) : void 0;
   if (!apply) {
-    return relationFn(paramTypes, returnType, {
+    const a2 = relationFn(paramTypes, returnType, {
       params,
       conf: opts?.conf ?? "exact",
       fingerprint: opts?.name ? `${opts.name}|${relationFingerprint(paramTypes, returnType)}` : void 0
     });
+    if (staticSlots) {
+      a2.shape = { ...a2.shape, slots: staticSlots };
+    }
+    return a2;
   }
   const implApply = apply;
   const a = absFunction(params, {
@@ -115,7 +124,8 @@ function envFn(paramTypes, returnType, apply, opts) {
     params,
     paramTypes,
     returnType,
-    ...opts?.name ? { name: opts.name } : {}
+    ...opts?.name ? { name: opts.name } : {},
+    ...staticSlots ? { slots: staticSlots } : {}
   };
   if (opts?.conf && opts.conf !== "exact") a.conf = opts.conf;
   return a;
@@ -178,6 +188,17 @@ function numImpl2Abs(fn) {
     return a !== void 0 && b !== void 0 ? numLit(fn(a, b)) : void 0;
   };
 }
+function numImplVAbs(fn) {
+  return (args) => {
+    const nums = [];
+    for (const a of args) {
+      const n = absNumLit(a);
+      if (n === void 0) return void 0;
+      nums.push(n);
+    }
+    return numLit(fn(...nums));
+  };
+}
 function strToStrImplAbs(fn) {
   return (args) => {
     const s = absStrLit(args[0]);
@@ -275,6 +296,18 @@ function defineEnv() {
     if (a.term?.op === "lit") return boolLit(false);
     return void 0;
   };
+  const numberImplAbs = (args) => {
+    return evalGlobalFn("Number", args);
+  };
+  const arrayImplAbs = (args) => {
+    return makeArrayCtorAbs(args);
+  };
+  const promiseCtorImplAbs = (args) => {
+    return evalPromiseCtor(args);
+  };
+  const dateCtorImplAbs = (args) => {
+    return evalDateCtor(args);
+  };
   const promiseResolveImplAbs = (args) => {
     if (!args[0]) return void 0;
     return promiseOf(args[0]);
@@ -296,8 +329,18 @@ function defineEnv() {
         round: envFn([prim.num()], prim.num(), numImpl1Abs(Math.round)),
         trunc: envFn([prim.num()], prim.num(), numImpl1Abs(Math.trunc)),
         sign: envFn([prim.num()], prim.num(), numImpl1Abs(Math.sign)),
-        max: envFn([prim.num(), prim.num()], prim.num(), numImpl2Abs(Math.max)),
-        min: envFn([prim.num(), prim.num()], prim.num(), numImpl2Abs(Math.min)),
+        // min/max/hypot 在 JS 里是变参（`Math.min(a, b, c)`）——二元声明会让
+        // 多实参调用落进 arity 不匹配 → unknown
+        max: envFnVariadic(prim.num(), prim.num(), {
+          apply: numImplVAbs(Math.max),
+          restName: "...values",
+          name: "Math.max"
+        }),
+        min: envFnVariadic(prim.num(), prim.num(), {
+          apply: numImplVAbs(Math.min),
+          restName: "...values",
+          name: "Math.min"
+        }),
         pow: envFn([prim.num(), prim.num()], prim.num(), numImpl2Abs(Math.pow)),
         sqrt: envFn([prim.num()], prim.num(), numImpl1Abs(Math.sqrt)),
         cbrt: envFn([prim.num()], prim.num(), numImpl1Abs(Math.cbrt)),
@@ -313,7 +356,11 @@ function defineEnv() {
         acos: envFn([prim.num()], prim.num(), numImpl1Abs(Math.acos)),
         atan: envFn([prim.num()], prim.num(), numImpl1Abs(Math.atan)),
         atan2: envFn([prim.num(), prim.num()], prim.num(), numImpl2Abs(Math.atan2)),
-        hypot: envFn([prim.num(), prim.num()], prim.num(), numImpl2Abs(Math.hypot)),
+        hypot: envFnVariadic(prim.num(), prim.num(), {
+          apply: numImplVAbs(Math.hypot),
+          restName: "...values",
+          name: "Math.hypot"
+        }),
         clz32: envFn([prim.num()], prim.num(), numImpl1Abs(Math.clz32)),
         imul: envFn([prim.num(), prim.num()], prim.num(), numImpl2Abs(Math.imul)),
         fround: envFn([prim.num()], prim.num(), numImpl1Abs(Math.fround)),
@@ -326,28 +373,44 @@ function defineEnv() {
         SQRT2: prim.num(),
         SQRT1_2: prim.num()
       }),
-      Number: objAbs({
-        isFinite: envFn([prim.unknown], prim.bool(), isFiniteImplAbs),
-        isInteger: envFn([prim.unknown], prim.bool(), isIntegerImplAbs),
-        isNaN: envFn([prim.unknown], prim.bool(), isNaNImplAbs),
-        isSafeInteger: envFn([prim.unknown], prim.bool(), isSafeIntegerImplAbs),
-        parseFloat: envFn([prim.str()], prim.num(), parseFloatImplAbs),
-        parseInt: envFn([prim.str()], prim.num(), parseIntImplAbs),
-        MAX_SAFE_INTEGER: prim.num(),
-        MIN_SAFE_INTEGER: prim.num(),
-        MAX_VALUE: prim.num(),
-        MIN_VALUE: prim.num(),
-        POSITIVE_INFINITY: prim.num(),
-        NEGATIVE_INFINITY: prim.num(),
-        NaN: prim.num(),
-        EPSILON: prim.num()
+      // dual-facet：Number/Array 既可调用/构造，又带静态槽。
+      // 此前 objAbs 遮蔽宿主全局后 $call/$new 折 unknown（issue #58）。
+      Number: envFn([prim.unknown], prim.num(), numberImplAbs, {
+        name: "Number",
+        params: ["value"],
+        slots: {
+          isFinite: envFn([prim.unknown], prim.bool(), isFiniteImplAbs),
+          isInteger: envFn([prim.unknown], prim.bool(), isIntegerImplAbs),
+          isNaN: envFn([prim.unknown], prim.bool(), isNaNImplAbs),
+          isSafeInteger: envFn([prim.unknown], prim.bool(), isSafeIntegerImplAbs),
+          parseFloat: envFn([prim.str()], prim.num(), parseFloatImplAbs),
+          parseInt: envFn([prim.str()], prim.num(), parseIntImplAbs),
+          MAX_SAFE_INTEGER: prim.num(),
+          MIN_SAFE_INTEGER: prim.num(),
+          MAX_VALUE: prim.num(),
+          MIN_VALUE: prim.num(),
+          POSITIVE_INFINITY: prim.num(),
+          NEGATIVE_INFINITY: prim.num(),
+          NaN: prim.num(),
+          EPSILON: prim.num()
+        }
       }),
-      Boolean: envFn([prim.unknown], prim.bool(), booleanImplAbs),
-      String: envFn([prim.unknown], prim.str(), stringImplAbs),
-      Array: objAbs({
-        isArray: envFn([prim.unknown], prim.bool(), isArrayImplAbs),
-        from: envFn([prim.unknown], arrOf(prim.unknown)),
-        of: envFn([prim.unknown], arrOf(prim.unknown))
+      Boolean: envFn([prim.unknown], prim.bool(), booleanImplAbs, {
+        name: "Boolean",
+        params: ["value"]
+      }),
+      String: envFn([prim.unknown], prim.str(), stringImplAbs, {
+        name: "String",
+        params: ["value"]
+      }),
+      Array: envFn([prim.unknown], arrOf(prim.unknown), arrayImplAbs, {
+        name: "Array",
+        params: ["items"],
+        slots: {
+          isArray: envFn([prim.unknown], prim.bool(), isArrayImplAbs),
+          from: envFn([prim.unknown], arrOf(prim.unknown)),
+          of: envFn([prim.unknown], arrOf(prim.unknown))
+        }
       }),
       console: objAbs(consoleSlots),
       parseInt: envFn([prim.str(), prim.num()], prim.num(), parseIntImplAbs),
@@ -372,21 +435,29 @@ function defineEnv() {
       SyntaxError: envFn([prim.str()], errorBrandOf("SyntaxError")),
       ReferenceError: envFn([prim.str()], errorBrandOf("ReferenceError")),
       URIError: envFn([prim.str()], errorBrandOf("URIError")),
-      Promise: objAbs({
-        resolve: envFn([prim.unknown], promiseOf(prim.unknown), promiseResolveImplAbs),
-        reject: envFn([prim.unknown], promiseOf(prim.never)),
-        all: envFn([arrOf(promiseOf(prim.unknown))], promiseOf(arrOf(prim.unknown))),
-        allSettled: envFn(
-          [arrOf(promiseOf(prim.unknown))],
-          promiseOf(arrOf(prim.unknown))
-        ),
-        race: envFn([arrOf(promiseOf(prim.unknown))], promiseOf(prim.unknown)),
-        any: envFn([arrOf(promiseOf(prim.unknown))], promiseOf(prim.unknown))
+      Promise: envFn([prim.unknown], promiseOf(prim.unknown), promiseCtorImplAbs, {
+        name: "Promise",
+        params: ["executor"],
+        slots: {
+          resolve: envFn([prim.unknown], promiseOf(prim.unknown), promiseResolveImplAbs),
+          reject: envFn([prim.unknown], promiseOf(prim.never)),
+          all: envFn([arrOf(promiseOf(prim.unknown))], promiseOf(arrOf(prim.unknown))),
+          allSettled: envFn(
+            [arrOf(promiseOf(prim.unknown))],
+            promiseOf(arrOf(prim.unknown))
+          ),
+          race: envFn([arrOf(promiseOf(prim.unknown))], promiseOf(prim.unknown)),
+          any: envFn([arrOf(promiseOf(prim.unknown))], promiseOf(prim.unknown))
+        }
       }),
-      Date: objAbs({
-        now: envFn([], prim.num()),
-        parse: envFn([prim.str()], prim.num()),
-        UTC: envFn([prim.num(), prim.num()], prim.num())
+      Date: envFn([], dateAbs(), dateCtorImplAbs, {
+        name: "Date",
+        params: ["value"],
+        slots: {
+          now: envFn([], prim.num()),
+          parse: envFn([prim.str()], prim.num()),
+          UTC: envFn([prim.num(), prim.num()], prim.num())
+        }
       }),
       Symbol: envFn([prim.str()], brandOf("Symbol")),
       Reflect: objAbs({

package/dist/es.js

@@ -1,6 +1,6 @@
 import {
   defineEnv
-} from "./chunk-KRMQSDG3.js";
+} from "./chunk-KQ7PVOVE.js";
 export {
   defineEnv
 };

package/dist/node.js

@@ -13,7 +13,7 @@ import {
   tupleOf,
   undef,
   unionOf
-} from "./chunk-KRMQSDG3.js";
+} from "./chunk-KQ7PVOVE.js";
 
 // src/node.ts
 import {

package/dist/web.js

@@ -8,7 +8,7 @@ import {
   promiseOf,
   undef,
   unionOf
-} from "./chunk-KRMQSDG3.js";
+} from "./chunk-KQ7PVOVE.js";
 
 // src/web.ts
 import { litValue, strLit, numLit } from "@nudojs/core";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/env",
-  "version": "0.4.7",
+  "version": "0.4.10",
   "engines": {
     "node": ">=20"
   },
@@ -35,7 +35,7 @@
     "registry": "https://registry.npmjs.org"
   },
   "dependencies": {
-    "@nudojs/core": "1.2.0"
+    "@nudojs/core": "1.3.0"
   },
   "scripts": {
     "build": "tsup src/es.ts src/web.ts src/node.ts --format esm --dts"