@nudojs/core 0.3.0 → 0.3.1

package/src/algebra/exec/calls.ts

@@ -1,96 +0,0 @@
-/**
- * B 路径调用点记录：transpile 把 `f(args)` 改成 $callNamed，
- * 分析时可收集 call@ 所需的 AbsCallRecord。
- * 成员缺失诊断见 member-diag.ts（与 ast-eval 共用，避免循环依赖）。
- */
-
-import type { Abs } from "../abs.ts";
-import { unknown } from "../abs.ts";
-import { $call } from "./call.ts";
-import {
-  tagAbsOrigin,
-  pushCallLoc,
-  popCallLoc,
-} from "./member-diag.ts";
-
-export type {
-  BMemberDiag,
-} from "./member-diag.ts";
-export {
-  setMemberDiagCollector,
-  recordMemberDiag,
-  notePrimMemberMissing,
-  noteUnknownMemberMissing,
-  noteMemberDispatchMiss,
-  tagAbsOrigin,
-  getAbsOrigin,
-} from "./member-diag.ts";
-
-export type BCallRecord = {
-  fnName: string;
-  args: Abs[];
-  result: Abs;
-  callLoc?: { line: number; column: number };
-  threw?: boolean;
-};
-
-let bCallCollector: ((r: BCallRecord) => void) | null = null;
-
-export function setBCallCollector(
-  collector: ((r: BCallRecord) => void) | null,
-): void {
-  bCallCollector = collector;
-}
-
-export function getBCallCollector(): ((r: BCallRecord) => void) | null {
-  return bCallCollector;
-}
-
-/**
- * 按名调用并记录。
- * loc: [line, column]（1-based line，0-based column，与 Babel 一致）
- * argLocs: 与 args 对齐的实参字面量源位置（provenance；无 loc 用 null）
- */
-export function $callNamed(
-  name: string,
-  fn: unknown,
-  args: Abs[],
-  loc?: [number, number],
-  argLocs?: Array<[number, number] | null | undefined>,
-): Abs {
-  let result: Abs = unknown;
-  let threw = false;
-  if (argLocs) {
-    for (let i = 0; i < args.length; i++) {
-      const al = argLocs[i];
-      if (al) tagAbsOrigin(args[i]!, { line: al[0], column: al[1] });
-    }
-  }
-  if (loc) pushCallLoc({ line: loc[0], column: loc[1] });
-  try {
-    if (typeof fn === "function") {
-      result = (fn as (...a: Abs[]) => Abs)(...args);
-    } else if (fn && typeof fn === "object" && "shape" in (fn as object)) {
-      result = $call(fn as Abs, args);
-    }
-  } catch (e) {
-    threw = true;
-    throw e;
-  } finally {
-    if (loc) popCallLoc();
-    if (bCallCollector) {
-      try {
-        bCallCollector({
-          fnName: name,
-          args,
-          result: threw ? unknown : result,
-          callLoc: loc ? { line: loc[0], column: loc[1] } : undefined,
-          threw,
-        });
-      } catch {
-        /* collector 不得打断 */
-      }
-    }
-  }
-  return result;
-}

package/src/algebra/exec/class-registry.ts

@@ -1,29 +0,0 @@
-/**
- * B class 规格表（无 call/ast-eval 依赖，避免循环）。
- * Abs-eval registerClassDecl 与 transpile $class 共用。
- */
-
-import type { Abs } from "../abs.ts";
-
-export type BClassSpec = {
-  name: string;
-  superName?: string;
-  ctor?: (thisVal: Abs, ...args: Abs[]) => Abs;
-  methods?: Record<string, (thisVal: Abs, ...args: Abs[]) => Abs>;
-  staticMethods?: Record<string, (...args: Abs[]) => Abs>;
-  statics?: Record<string, Abs>;
-};
-
-const classRegistry = new Map<string, BClassSpec>();
-
-export function registerBClass(spec: BClassSpec): void {
-  classRegistry.set(spec.name, spec);
-}
-
-export function getBClass(name: string): BClassSpec | undefined {
-  return classRegistry.get(name);
-}
-
-export function clearBClasses(): void {
-  classRegistry.clear();
-}

package/src/algebra/exec/class.ts

@@ -1,329 +0,0 @@
-/**
- * B 路径 class：brand 实例 + ctor/method 闭包 + 继承链。
- * 方法内 this 由 transpile 改写为 thisVal 参数。
- */
-
-import type { Abs } from "../abs.ts";
-import { abs, unknown, confJoin, litValue } from "../abs.ts";
-import { objOf } from "../objects.ts";
-import { $get, $set, asAbsVal } from "./runtime.ts";
-import { $call } from "./call.ts";
-import { getFnImpl } from "../abs-fn.ts";
-import { notePrimMemberMissing, noteUnknownMemberMissing } from "./calls.ts";
-import {
-  registerBClass,
-  getBClass,
-  type BClassSpec,
-} from "./class-registry.ts";
-
-export type { BClassSpec } from "./class-registry.ts";
-export { registerBClass, getBClass, clearBClasses } from "./class-registry.ts";
-
-const classImpl = new WeakMap<object, BClassSpec>();
-
-/** 定义类 → 可 new 的 Abs（brand 标记；静态字段挂在 slots） */
-export function $class(
-  name: string,
-  spec: Omit<BClassSpec, "name"> & { extends?: string },
-): Abs {
-  const full: BClassSpec = {
-    name,
-    superName: spec.extends,
-    ctor: spec.ctor,
-    methods: spec.methods,
-    staticMethods: spec.staticMethods,
-    statics: spec.statics,
-  };
-  registerBClass(full);
-  const slots: Record<string, { value: Abs }> = {};
-  if (spec.statics) {
-    for (const [k, v] of Object.entries(spec.statics)) slots[k] = { value: asAbsVal(v) };
-  }
-  const val = abs(
-    { k: "brand", name, shape: objOf(slots) },
-    undefined,
-    undefined,
-    "exact",
-  );
-  classImpl.set(val as object, full);
-  return val;
-}
-
-function specOf(cls: Abs): BClassSpec | undefined {
-  if (classImpl.has(cls as object)) return classImpl.get(cls as object);
-  if (cls.shape.k === "brand") return getBClass(cls.shape.name);
-  return undefined;
-}
-
-/** 沿继承链找方法 */
-function findMethod(
-  startName: string,
-  method: string,
-): ((thisVal: Abs, ...args: Abs[]) => Abs) | undefined {
-  let cur: string | undefined = startName;
-  const seen = new Set<string>();
-  while (cur && !seen.has(cur)) {
-    seen.add(cur);
-    const spec = getBClass(cur);
-    if (spec?.methods?.[method]) return spec.methods[method];
-    cur = spec?.superName;
-  }
-  return undefined;
-}
-
-function findCtor(
-  startName: string,
-): { ctor: (thisVal: Abs, ...args: Abs[]) => Abs; className: string } | undefined {
-  let cur: string | undefined = startName;
-  const seen = new Set<string>();
-  while (cur && !seen.has(cur)) {
-    seen.add(cur);
-    const spec = getBClass(cur);
-    if (spec?.ctor) return { ctor: spec.ctor, className: cur };
-    cur = spec?.superName;
-  }
-  return undefined;
-}
-
-/** new C(...) → 空 brand 实例 + ctor 写字段；非类构造走 impl/$call */
-export function $new(cls: Abs | ((...a: unknown[]) => unknown), args: Abs[]): Abs {
-  // JS 内建构造器（Error/Date/URL…）：直接 brand，避免 $call 对非 Abs 炸掉
-  if (typeof cls === "function") {
-    const name = cls.name || "Object";
-    const shape = objOf({});
-    return abs({ k: "brand", name, shape }, undefined, undefined, "path");
-  }
-  const spec = specOf(cls);
-  if (!spec) {
-    // env 构造器（URL 等）：fn impl / absFunction
-    return $call(cls, args);
-  }
-  const className = spec?.name ?? (cls.shape.k === "brand" ? cls.shape.name : "Anonymous");
-  let thisVal = abs(
-    { k: "brand", name: className, shape: objOf({}) },
-    undefined,
-    undefined,
-    "path",
-  );
-  const found = findCtor(className);
-  if (found) {
-    const after = found.ctor(thisVal, ...args);
-    if (after && after.shape.k === "brand") thisVal = after;
-    else thisVal = after ?? thisVal;
-  }
-  return thisVal;
-}
-
-/**
- * super(...)：父类构造写入字段（this 保持子类 brand）。
- * transpile: super(a,b) → __this = $super(__this, "Child", [a,b])
- */
-export function $super(thisVal: Abs, childName: string, args: Abs[]): Abs {
-  const child = getBClass(childName);
-  const parentName = child?.superName;
-  if (!parentName) return thisVal;
-  const found = findCtor(parentName);
-  if (!found) return thisVal;
-  const after = found.ctor(thisVal, ...args);
-  if (after && after.shape.k === "brand") {
-    // 保持子类 brand 名
-    return abs(
-      { k: "brand", name: childName, shape: after.shape.shape },
-      after.term,
-      after.pred,
-      after.conf,
-    );
-  }
-  return after ?? thisVal;
-}
-
-/** 实例方法调用：沿继承链；类 Abs 上回落 staticMethods；obj 上回落属性函数 */
-export function $invoke(
-  thisVal: Abs,
-  method: string,
-  args: Abs[],
-  loc?: [number, number],
-): Abs {
-  const brandName = thisVal.shape.k === "brand" ? thisVal.shape.name : undefined;
-  if (brandName) {
-    const m = findMethod(brandName, method);
-    if (m) return m(thisVal, ...args);
-    const spec = getBClass(brandName);
-    const sm = spec?.staticMethods?.[method];
-    if (sm) return sm(...args);
-  }
-  // 数组/元组方法（与 ast-eval 口径对齐）
-  if (thisVal.shape.k === "arr" || thisVal.shape.k === "tuple") {
-    const arrR = invokeArrMethod(thisVal, method, args);
-    if (arrR !== undefined) return arrR;
-  }
-  // 属性上的可调用值（require namespace / 对象方法）；method 诊断由下方统一报
-  const prop = $get(thisVal, method, { silent: true });
-  const impl = prop && typeof prop === "object" && "shape" in (prop as object)
-    ? getFnImpl(prop as Abs)
-    : undefined;
-  if (impl) {
-    return $call(prop as Abs, args);
-  }
-  // prim 接收者上的未知方法 → no-method；unknown → unknown-recv
-  if (notePrimMemberMissing(thisVal, method, "method", loc)) return unknown;
-  noteUnknownMemberMissing(thisVal, method, "method", loc);
-  return unknown;
-}
-
-/** arr/tuple 上的 map/reduce/filter/join/includes */
-function invokeArrMethod(arr: Abs, method: string, args: Abs[]): Abs | undefined {
-  const shape = arr.shape as
-    | { k: "arr"; element: Abs }
-    | { k: "tuple"; elements: Abs[] };
-  const callFn = (fn: unknown, ...fnArgs: Abs[]): Abs => {
-    if (typeof fn === "function") {
-      const r = (fn as (...a: Abs[]) => unknown)(...fnArgs);
-      if (r && typeof r === "object" && "shape" in (r as object)) return r as Abs;
-      return unknown;
-    }
-    if (fn && typeof fn === "object" && "shape" in (fn as object)) {
-      return $call(fn as Abs, fnArgs);
-    }
-    return unknown;
-  };
-  if (method === "map" && args[0]) {
-    if (shape.k === "tuple") {
-      const mapped = shape.elements.map((el) => callFn(args[0], el));
-      return abs({ k: "tuple", elements: mapped }, undefined, undefined, "path");
-    }
-    const out = callFn(args[0], shape.element);
-    return abs({ k: "arr", element: out }, undefined, undefined, "path");
-  }
-  if (method === "reduce" && args.length >= 1) {
-    const fn = args[0]!;
-    let acc = args[1] ?? unknown;
-    const list = shape.k === "tuple" ? shape.elements : [shape.element];
-    for (const el of list) {
-      acc = callFn(fn, acc, el);
-    }
-    return acc;
-  }
-  if (method === "filter" && args[0]) {
-    return arr;
-  }
-  if (method === "join") {
-    return abs({ k: "prim", type: "string" }, undefined, undefined, "path");
-  }
-  if (method === "includes") {
-    return abs({ k: "prim", type: "boolean" }, undefined, undefined, "partial");
-  }
-  if (method === "at" || method === "pop" || method === "shift") {
-    if (shape.k === "tuple" && shape.elements.length > 0) {
-      return shape.elements[0] ?? unknown;
-    }
-    if (shape.k === "arr") return shape.element;
-  }
-  return undefined;
-}
-
-/** super.method()：从父类起找（跳过自身覆盖） */
-export function $invokeSuper(
-  thisVal: Abs,
-  childName: string,
-  method: string,
-  args: Abs[],
-): Abs {
-  const child = getBClass(childName);
-  const parentName = child?.superName;
-  if (!parentName) return unknown;
-  const m = findMethod(parentName, method);
-  if (!m) return unknown;
-  return m(thisVal, ...args);
-}
-
-export function $thisGet(thisVal: Abs, key: string): Abs {
-  if (thisVal.shape.k === "brand") {
-    const inner = thisVal.shape.shape;
-    if (inner.shape.k === "obj") {
-      const slot = inner.shape.slots[key];
-      if (slot) return slot.value;
-    }
-  }
-  return unknown;
-}
-
-export function $thisSet(thisVal: Abs, key: string, value: Abs): Abs {
-  if (thisVal.shape.k === "brand") {
-    const inner = thisVal.shape.shape;
-    const slots = inner.shape.k === "obj" ? { ...inner.shape.slots } : {};
-    slots[key] = { value: asAbsVal(value) };
-    return abs(
-      {
-        k: "brand",
-        name: thisVal.shape.name,
-        shape: objOf(slots),
-      },
-      thisVal.term,
-      thisVal.pred,
-      confJoin(thisVal.conf, value.conf),
-    );
-  }
-  return unknown;
-}
-
-/** 解构默认值：undefined 时用 default */
-export function $orDefault(v: Abs, dflt: () => Abs): Abs {
-  if (litValue(v) === undefined && v.shape.k !== "never") {
-    // 明确 undefined 字面量 → 默认值；unknown 保守保留
-    if (v.term?.op === "lit" && v.term.value === undefined) return asAbsVal(dflt());
-    if (v.shape.k === "unknown" && v.term?.op === "lit") return asAbsVal(dflt());
-  }
-  if (v.term?.op === "lit" && v.term.value === undefined) return asAbsVal(dflt());
-  return v;
-}
-
-function isNullishAbs(v: Abs): boolean {
-  // 仅明确 null/undefined 字面量；对象等无 term 不算 nullish
-  if (!v || v.term?.op !== "lit") return false;
-  const lv = v.term.value;
-  return lv === null || lv === undefined;
-}
-
-/** 可选链 a?.b：nullish 短路为 undefined 字面量 */
-export function $optionalGet(o: Abs, key: string): Abs {
-  if (isNullishAbs(o)) {
-    return abs(
-      { k: "unknown" },
-      { op: "lit", value: undefined as never },
-      undefined,
-      "exact",
-    );
-  }
-  return $get(o, key);
-}
-
-/** 可选链 a?.m()：nullish 短路为 undefined */
-export function $optionalInvoke(thisVal: Abs, method: string, args: Abs[]): Abs {
-  if (isNullishAbs(thisVal)) {
-    return abs(
-      { k: "unknown" },
-      { op: "lit", value: undefined as never },
-      undefined,
-      "exact",
-    );
-  }
-  return $invoke(thisVal, method, args);
-}
-
-/** 静态方法：cls.staticMethod(args) */
-export function $staticInvoke(cls: Abs, method: string, args: Abs[]): Abs {
-  const spec = specOf(cls);
-  const m = spec?.staticMethods?.[method];
-  if (!m) return unknown;
-  return m(...args);
-}
-
-/** 计算属性写：o[kAbs] = v */
-export function $setKey(o: Abs, key: Abs, value: Abs): Abs {
-  const k = litValue(key);
-  if (typeof k === "string" || typeof k === "number") {
-    return $set(o, String(k), value);
-  }
-  return $set(o, "?", value);
-}

package/src/algebra/exec/index.ts

@@ -1,6 +0,0 @@
-export * from "./runtime.ts";
-export * from "./transpile.ts";
-export * from "./call.ts";
-export * from "./class.ts";
-export * from "./calls.ts";
-export * from "./run.ts";

package/src/algebra/exec/member-diag.ts

@@ -1,141 +0,0 @@
-/**
- * 成员缺失诊断（B 路径 + Abs ast-eval 共用）。
- * 无 $call / transpile 依赖，避免 ast-eval ↔ calls 循环。
- */
-
-import type { Abs } from "../abs.ts";
-
-export type BMemberDiag = {
-  kind: "method" | "property";
-  name: string;
-  /** 接收者 prim 类型名，或 "unknown" */
-  receiver: string;
-  line?: number;
-  column?: number;
-  /** 调用点来源（provenance）：实参字面量 loc 优先，否则最近 $callNamed loc */
-  origin?: { line: number; column: number };
-};
-
-let memberDiagCollector: ((d: BMemberDiag) => void) | null = null;
-const callLocStack: Array<{ line: number; column: number }> = [];
-/** 实参 Abs → 字面量源位置（$callNamed 按 argLocs 打标） */
-const absOrigins = new WeakMap<object, { line: number; column: number }>();
-
-/** 给实参 Abs 打 provenance（调用点参数字面量） */
-export function tagAbsOrigin(a: Abs, loc: { line: number; column: number }): void {
-  if (a && typeof a === "object") absOrigins.set(a, loc);
-}
-
-export function getAbsOrigin(a: Abs | undefined): { line: number; column: number } | undefined {
-  if (!a || typeof a !== "object") return undefined;
-  return absOrigins.get(a);
-}
-
-export function setMemberDiagCollector(
-  c: ((d: BMemberDiag) => void) | null,
-): void {
-  memberDiagCollector = c;
-}
-
-export function pushCallLoc(loc: { line: number; column: number }): void {
-  callLocStack.push(loc);
-}
-
-export function popCallLoc(): void {
-  callLocStack.pop();
-}
-
-export function recordMemberDiag(d: BMemberDiag): void {
-  if (!memberDiagCollector) return;
-  const origin = d.origin ?? callLocStack[callLocStack.length - 1];
-  try {
-    memberDiagCollector(origin ? { ...d, origin } : d);
-  } catch {
-    /* ignore */
-  }
-}
-
-/** string 上仍可能存在的方法（与 TypeValue completions 对齐） */
-const STRING_METHODS = new Set([
-  "toUpperCase", "toLowerCase", "trim", "split", "slice", "substring",
-  "includes", "indexOf", "lastIndexOf", "startsWith", "endsWith", "charAt",
-  "charCodeAt", "replace", "toString", "valueOf", "repeat", "padStart",
-  "padEnd", "replaceAll", "concat", "match", "search", "at",
-]);
-
-/**
- * prim 接收者上的未知成员 → 诊断。
- * 返回 true 表示确定缺失（number 上任意方法；string 上表外方法）。
- */
-export function notePrimMemberMissing(
-  recv: Abs | undefined,
-  name: string,
-  kind: "method" | "property",
-  loc?: [number, number],
-): boolean {
-  const shape = recv?.shape;
-  if (!shape || shape.k !== "prim") return false;
-  const t = shape.type;
-  const argOrigin = getAbsOrigin(recv);
-  const origin = argOrigin
-    ? { line: argOrigin.line, column: argOrigin.column }
-    : undefined;
-  if (t === "number" || t === "boolean" || t === "bigint" || t === "symbol") {
-    recordMemberDiag({
-      kind,
-      name,
-      receiver: t,
-      line: loc?.[0],
-      column: loc?.[1],
-      ...(origin ? { origin } : {}),
-    });
-    return true;
-  }
-  if (t === "string" && kind === "method" && !STRING_METHODS.has(name)) {
-    recordMemberDiag({
-      kind,
-      name,
-      receiver: t,
-      line: loc?.[0],
-      column: loc?.[1],
-      ...(origin ? { origin } : {}),
-    });
-    return true;
-  }
-  return false;
-}
-
-/**
- * unknown 接收者上的成员访问 → unknown-recv（与 TypeValue 口径对齐：
- * object/instance/refined/promise 静默；其余记一条）。
- */
-export function noteUnknownMemberMissing(
-  recv: Abs | undefined,
-  name: string,
-  kind: "method" | "property",
-  loc?: [number, number],
-): boolean {
-  const k = recv?.shape?.k;
-  if (k !== "unknown") return false;
-  const origin = getAbsOrigin(recv);
-  recordMemberDiag({
-    kind,
-    name,
-    receiver: "unknown",
-    line: loc?.[0],
-    column: loc?.[1],
-    ...(origin ? { origin: { line: origin.line, column: origin.column } } : {}),
-  });
-  return true;
-}
-
-/** 方法分派失败时的统一记账（prim / unknown；obj/brand/promise 静默） */
-export function noteMemberDispatchMiss(
-  recv: Abs | undefined,
-  name: string,
-  kind: "method" | "property",
-  loc?: [number, number],
-): void {
-  if (notePrimMemberMissing(recv, name, kind, loc)) return;
-  noteUnknownMemberMissing(recv, name, kind, loc);
-}