@stevenvo780/st-lang 4.7.0 → 4.9.0

package/dist/type-theory/effects/writer.js

@@ -0,0 +1,79 @@
+"use strict";
+// ============================================================
+// Effect: Writer<W>
+// ============================================================
+//
+// Una sola operación:
+//   - Writer.tell : W → undefined
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.sumMonoid = exports.stringMonoid = exports.WRITER_TELL = void 0;
+exports.tell = tell;
+exports.handleWriter = handleWriter;
+exports.runWriter = runWriter;
+exports.listMonoid = listMonoid;
+const core_1 = require("./core");
+exports.WRITER_TELL = 'Writer.tell';
+/** Acumula un mensaje en el log. */
+function tell(w) {
+    return (0, core_1.perform)(exports.WRITER_TELL, w);
+}
+/**
+ * Intérprete componible. Acumula los `tell` con el monoide y deja
+ * otros efectos intactos.
+ */
+function handleWriter(eff, monoid) {
+    function go(node, log) {
+        if (node.kind === 'pure')
+            return (0, core_1.pure)({ result: node.value, log });
+        const op = node.effect;
+        if (op.tag === exports.WRITER_TELL) {
+            const next = monoid.combine(log, op.input);
+            return go(node.continuation(undefined), next);
+        }
+        return {
+            kind: 'impure',
+            effect: op,
+            continuation: (value) => go(node.continuation(value), log),
+        };
+    }
+    return go(eff, monoid.empty);
+}
+/**
+ * Intérprete terminal: ejecuta combinando todos los `tell` con el
+ * monoide dado. Devuelve `{ result, log }`. Lanza si encuentra otra
+ * operación sin manejar.
+ */
+function runWriter(eff, monoid) {
+    let log = monoid.empty;
+    let node = eff;
+    for (;;) {
+        if (node.kind === 'pure')
+            return { result: node.value, log };
+        const op = node.effect;
+        if (op.tag === exports.WRITER_TELL) {
+            log = monoid.combine(log, op.input);
+            node = node.continuation(undefined);
+            continue;
+        }
+        throw new Error(`[runWriter] efecto no soportado: ${op.tag}`);
+    }
+}
+// ---------- Monoides comunes ----------
+/** Monoide concatenación de listas. */
+function listMonoid() {
+    return {
+        empty: [],
+        combine: (a, b) => [...a, ...b],
+    };
+}
+/** Monoide concatenación de strings. */
+exports.stringMonoid = {
+    empty: '',
+    combine: (a, b) => a + b,
+};
+/** Monoide aditivo sobre números. */
+exports.sumMonoid = {
+    empty: 0,
+    combine: (a, b) => a + b,
+};
+//# sourceMappingURL=writer.js.map

package/dist/type-theory/effects/writer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"writer.js","sourceRoot":"","sources":["../../../src/type-theory/effects/writer.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oBAAoB;AACpB,+DAA+D;AAC/D,EAAE;AACF,sBAAsB;AACtB,kCAAkC;;;AAWlC,oBAEC;AAMD,oCAkBC;AAOD,8BAaC;AAKD,gCAKC;AAjED,iCAAuC;AAG1B,QAAA,WAAW,GAAG,aAAsB,CAAC;AAKlD,oCAAoC;AACpC,SAAgB,IAAI,CAAI,CAAI;IAC1B,OAAO,IAAA,cAAO,EAAmC,mBAAW,EAAE,CAAC,CAAC,CAAC;AACnE,CAAC;AAED;;;GAGG;AACH,SAAgB,YAAY,CAC1B,GAAoB,EACpB,MAAiB;IAEjB,SAAS,EAAE,CAAC,IAAqB,EAAE,GAAM;QACvC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAA,WAAI,EAAC,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACnE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QACvB,IAAI,EAAE,CAAC,GAAG,KAAK,mBAAW,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,KAAU,CAAC,CAAC;YAChD,OAAO,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,SAAkB,CAAC,EAAE,IAAI,CAAC,CAAC;QACzD,CAAC;QACD,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,EAAE;YACV,YAAY,EAAE,CAAC,KAAY,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC;SAClE,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,SAAgB,SAAS,CAAO,GAAoB,EAAE,MAAiB;IACrE,IAAI,GAAG,GAAM,MAAM,CAAC,KAAK,CAAC;IAC1B,IAAI,IAAI,GAAG,GAAG,CAAC;IACf,SAAS,CAAC;QACR,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC;QAC7D,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QACvB,IAAI,EAAE,CAAC,GAAG,KAAK,mBAAW,EAAE,CAAC;YAC3B,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,KAAU,CAAC,CAAC;YACzC,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,SAAkB,CAAC,CAAC;YAC7C,SAAS;QACX,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,oCAAoC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IAChE,CAAC;AACH,CAAC;AAED,yCAAyC;AAEzC,uCAAuC;AACvC,SAAgB,UAAU;IACxB,OAAO;QACL,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;KAChC,CAAC;AACJ,CAAC;AAED,wCAAwC;AAC3B,QAAA,YAAY,GAAmB;IAC1C,KAAK,EAAE,EAAE;IACT,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC;CACzB,CAAC;AAEF,qCAAqC;AACxB,QAAA,SAAS,GAAmB;IACvC,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC;CACzB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stevenvo780/st-lang",
-  "version": "4.7.0",
+  "version": "4.9.0",
   "description": "ST — Lenguaje ejecutable con nucleo logico y capa textual. Motor multi-perfil (11 lógicas), derivaciones, tablas de verdad, contramodelos, aliases modales, Belnap 4-valores y capa textual para formalización de documentos.",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",