@elaraai/east 1.0.79 → 1.0.80

package/dist/src/compile/ir.js

@@ -0,0 +1,193 @@
+import { compile_constructors } from "./constructors.js";
+import { compile_control } from "./control.js";
+import { compile_functions } from "./functions.js";
+import { getContextValue, requiresBoxing } from "./runtime.js";
+import { variant } from "../containers/variant.js";
+import { get_current_source_map } from "../location.js";
+// Captured once per top-level compile; all closures share the same SourceMap.
+let _compile_source_map = null;
+/** Compile `IR` into a JavaScript function using a closure-compiler technique.
+* This should execute faster than a simple tree-walking interpreter, but slower than hand-written Javascript.
+*
+* A "context" of the current variables in scope is given. For toplevel function IR, provide `{}`.
+* A "platform" is provided with JavaScript functions to perform effects, like logging. If no effects are needed, simply provide `{}`.
+*
+* @internal
+*/
+export function compile_internal(ir, ctx, platform, asyncPlatformFns, platformDef, fresh_ctx = true, compilingNodes = new Set()) {
+    // Capture source map from the active scope on first call
+    if (fresh_ctx)
+        _compile_source_map = get_current_source_map();
+    const source_map = _compile_source_map;
+    // The IR is checked prior to compilation, so we can assume it's valid here.
+    // The compiler needs to take care that Promises are properly awaited, so most IR nodes need both sync and async implementations.
+    // We assume unnecessary `async` functions degrade performance but unnecessary `await`s are not too bad, so while we could be more "specific" in our awaits we do not bother
+    if (ir.type === "Value") {
+        const v = ir.value.value.value;
+        return (_ctx) => v;
+    }
+    else if (ir.type === "Variable") {
+        const name = ir.value.name;
+        // All context values are variants - read via .value
+        return (ctx) => getContextValue(ctx, name).value;
+    }
+    else if (ir.type === "Let") {
+        const compiled_statement = compile_internal(ir.value.value, ctx, platform, asyncPlatformFns, platformDef, false, compilingNodes);
+        const name = ir.value.variable.value.name;
+        ctx[name] = ir.value.variable.value.type;
+        const boxed = requiresBoxing(ir.value.variable.value);
+        if (ir.value.isAsync) {
+            return async (ctx) => {
+                ctx[name] = boxed
+                    ? variant("boxed", await compiled_statement(ctx))
+                    : variant("value", await compiled_statement(ctx));
+                return null;
+            };
+        }
+        else {
+            return (ctx) => {
+                ctx[name] = boxed
+                    ? variant("boxed", compiled_statement(ctx))
+                    : variant("value", compiled_statement(ctx));
+                return null;
+            };
+        }
+    }
+    else if (ir.type === "Assign") {
+        const name = ir.value.variable.value.name;
+        const compiled_statement = compile_internal(ir.value.value, ctx, platform, asyncPlatformFns, platformDef, false, compilingNodes);
+        if (requiresBoxing(ir.value.variable.value)) {
+            // Boxed variables: mutate in place via .value
+            if (ir.value.isAsync) {
+                return async (ctx) => {
+                    getContextValue(ctx, name).value = await compiled_statement(ctx);
+                    return null;
+                };
+            }
+            else {
+                return (ctx) => {
+                    getContextValue(ctx, name).value = compiled_statement(ctx);
+                    return null;
+                };
+            }
+        }
+        else {
+            // Non-boxed variables: replace the variant
+            if (ir.value.isAsync) {
+                return async (ctx) => {
+                    const value = await compiled_statement(ctx);
+                    // We need to check in which prototype the variable lives
+                    while (!Object.hasOwn(ctx, name))
+                        ctx = Object.getPrototypeOf(ctx);
+                    ctx[name] = variant("value", value);
+                    return null;
+                };
+            }
+            else {
+                return (ctx) => {
+                    const value = compiled_statement(ctx);
+                    // We need to check in which prototype the variable lives
+                    while (!Object.hasOwn(ctx, name))
+                        ctx = Object.getPrototypeOf(ctx);
+                    ctx[name] = variant("value", value);
+                    return null;
+                };
+            }
+        }
+    }
+    else if (ir.type === "As") {
+        // in dynamically typed runtimes like Javascript, this is a no-op
+        // (for statically typed runtimes this assists in unifying types in branches)
+        return compile_internal(ir.value.value, ctx, platform, asyncPlatformFns, platformDef, fresh_ctx, compilingNodes);
+    }
+    else if (ir.type === "UnwrapRecursive") {
+        // in dynamically typed runtimes like Javascript, this is a no-op
+        // (for statically typed runtimes this assists in e.g. typing a reference or pointer)
+        return compile_internal(ir.value.value, ctx, platform, asyncPlatformFns, platformDef, fresh_ctx, compilingNodes);
+    }
+    else if (ir.type === "WrapRecursive") {
+        // in dynamically typed runtimes like Javascript, this is a no-op
+        // (for statically typed runtimes this assists in e.g. typing a heap allocation)
+        return compile_internal(ir.value.value, ctx, platform, asyncPlatformFns, platformDef, false, compilingNodes);
+    }
+    else if (ir.type === "Block") {
+        // The pattern of creating a new context (e.g. a function) and then immediately invoking a block (e.g. as the function body) is very common.
+        // Here we avoid creating a second context when possible, as an optimization.
+        if (fresh_ctx) {
+            const compiled_statements = [];
+            for (const statement of ir.value.statements) {
+                const compiled_statement = compile_internal(statement, ctx, platform, asyncPlatformFns, platformDef, true, compilingNodes);
+                compiled_statements.push(compiled_statement);
+            }
+            if (ir.value.isAsync) {
+                return async (ctx) => {
+                    let ret = null;
+                    for (const statement of compiled_statements) {
+                        ret = await statement(ctx);
+                    }
+                    return ret;
+                };
+            }
+            else {
+                return (ctx) => {
+                    let ret = null;
+                    for (const statement of compiled_statements) {
+                        ret = statement(ctx);
+                    }
+                    return ret;
+                };
+            }
+        }
+        else {
+            const ctx2 = Object.create(ctx);
+            const compiled_statements = [];
+            for (const statement of ir.value.statements) {
+                const compiled_statement = compile_internal(statement, ctx2, platform, asyncPlatformFns, platformDef, true, compilingNodes);
+                compiled_statements.push(compiled_statement);
+            }
+            if (ir.value.isAsync) {
+                return async (ctx) => {
+                    const ctx2 = Object.create(ctx);
+                    let ret = null;
+                    for (const statement of compiled_statements) {
+                        ret = await statement(ctx2);
+                    }
+                    return ret;
+                };
+            }
+            else {
+                return (ctx) => {
+                    const ctx2 = Object.create(ctx);
+                    let ret = null;
+                    for (const statement of compiled_statements) {
+                        ret = statement(ctx2);
+                    }
+                    return ret;
+                };
+            }
+        }
+    }
+    else if (ir.type === "GetField") {
+        const struct = compile_internal(ir.value.struct, ctx, platform, asyncPlatformFns, platformDef, false, compilingNodes);
+        const field = ir.value.field;
+        if (ir.value.isAsync) {
+            return async (ctx) => (await struct(ctx))[field];
+        }
+        else {
+            return (ctx) => struct(ctx)[field];
+        }
+    }
+    else if (ir.type === "Error" || ir.type === "TryCatch" || ir.type === "IfElse" || ir.type === "Match" || ir.type === "While" || ir.type === "ForArray" || ir.type === "ForSet" || ir.type === "ForDict" || ir.type === "Return" || ir.type === "Continue" || ir.type === "Break") {
+        return compile_control(ir, ctx, platform, asyncPlatformFns, platformDef, compilingNodes, source_map);
+    }
+    else if (ir.type === "Function" || ir.type === "AsyncFunction" || ir.type === "Call" || ir.type === "CallAsync" || ir.type === "Builtin" || ir.type === "Platform") {
+        return compile_functions(ir, ctx, platform, asyncPlatformFns, platformDef, compilingNodes, source_map);
+    }
+    else if (ir.type === "Struct" || ir.type === "Variant" || ir.type === "NewRef" || ir.type === "NewArray" || ir.type === "NewSet" || ir.type === "NewDict" || ir.type === "NewVector" || ir.type === "NewMatrix") {
+        return compile_constructors(ir, ctx, platform, asyncPlatformFns, platformDef, compilingNodes, source_map);
+    }
+    else {
+        throw new Error(`Unhandled IR type ${ir.type} at loc_id ${ir.value.loc_id}`); // The `satisfies never` here ensures that this branch is unreachable if all IR types are handled
+    }
+}
+//# sourceMappingURL=ir.js.map

package/dist/src/compile/ir.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir.js","sourceRoot":"","sources":["../../../src/compile/ir.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,cAAc,EAAuB,MAAM,cAAc,CAAC;AACpF,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,EAAE,sBAAsB,EAAkB,MAAM,gBAAgB,CAAC;AAIxE,8EAA8E;AAC9E,IAAI,mBAAmB,GAAqB,IAAI,CAAC;AAEjD;;;;;;;EAOE;AACF,MAAM,UAAU,gBAAgB,CAAC,EAAc,EAAE,GAAkC,EAAE,QAAiD,EAAE,gBAA6B,EAAE,WAA+B,EAAE,YAAqB,IAAI,EAAE,iBAA0B,IAAI,GAAG,EAAE;IACpQ,yDAAyD;IACzD,IAAI,SAAS;QAAE,mBAAmB,GAAG,sBAAsB,EAAE,CAAC;IAC9D,MAAM,UAAU,GAAG,mBAAmB,CAAC;IAEvC,4EAA4E;IAC5E,iIAAiI;IACjI,4KAA4K;IAE5K,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,OAAO,CAAC,IAAoB,EAAE,EAAE,CAAC,CAAC,CAAC;IACrC,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAC3B,oDAAoD;QACpD,OAAO,CAAC,GAAmB,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC;IACnE,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC7B,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;QACjI,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1C,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QACzC,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACtD,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO,KAAK,EAAE,GAAmB,EAAE,EAAE;gBACnC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK;oBACf,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,kBAAkB,CAAC,GAAG,CAAC,CAAC;oBACjD,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpD,OAAO,IAAI,CAAC;YACd,CAAC,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAmB,EAAE,EAAE;gBAC7B,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK;oBACf,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC;oBAC3C,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC9C,OAAO,IAAI,CAAC;YACd,CAAC,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1C,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;QACjI,IAAI,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5C,8CAA8C;YAC9C,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;gBACrB,OAAO,KAAK,EAAE,GAAmB,EAAE,EAAE;oBACnC,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,KAAK,GAAG,MAAM,kBAAkB,CAAC,GAAG,CAAC,CAAC;oBACjE,OAAO,IAAI,CAAC;gBACd,CAAC,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,GAAmB,EAAE,EAAE;oBAC7B,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,KAAK,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;oBAC3D,OAAO,IAAI,CAAC;gBACd,CAAC,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,CAAC;YACN,2CAA2C;YAC3C,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;gBACrB,OAAO,KAAK,EAAE,GAAmB,EAAE,EAAE;oBACnC,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,GAAG,CAAC,CAAC;oBAC5C,yDAAyD;oBACzD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC;wBAAE,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;oBACnE,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;oBACpC,OAAO,IAAI,CAAC;gBACd,CAAC,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,GAAmB,EAAE,EAAE;oBAC7B,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;oBACtC,yDAAyD;oBACzD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC;wBAAE,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;oBACnE,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;oBACpC,OAAO,IAAI,CAAC;gBACd,CAAC,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC5B,iEAAiE;QACjE,6EAA6E;QAC7E,OAAO,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;IACnH,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACzC,iEAAiE;QACjE,qFAAqF;QACrF,OAAO,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;IACnH,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,iEAAiE;QACjE,gFAAgF;QAChF,OAAO,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;IAC/G,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,4IAA4I;QAC5I,6EAA6E;QAC7E,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,mBAAmB,GAAqC,EAAE,CAAC;YACjE,KAAK,MAAM,SAAS,IAAI,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;gBAC5C,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;gBAC3H,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC/C,CAAC;YACD,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;gBACrB,OAAO,KAAK,EAAE,GAAmB,EAAE,EAAE;oBACnC,IAAI,GAAG,GAAG,IAAI,CAAC;oBACf,KAAK,MAAM,SAAS,IAAI,mBAAmB,EAAE,CAAC;wBAC5C,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,CAAC,CAAC;oBAC7B,CAAC;oBACD,OAAO,GAAG,CAAC;gBACb,CAAC,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,GAAmB,EAAE,EAAE;oBAC7B,IAAI,GAAG,GAAG,IAAI,CAAC;oBACf,KAAK,MAAM,SAAS,IAAI,mBAAmB,EAAE,CAAC;wBAC5C,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;oBACvB,CAAC;oBACD,OAAO,GAAG,CAAC;gBACb,CAAC,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAChC,MAAM,mBAAmB,GAAqC,EAAE,CAAC;YACjE,KAAK,MAAM,SAAS,IAAI,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;gBAC5C,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;gBAC5H,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC/C,CAAC;YACD,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;gBACrB,OAAO,KAAK,EAAE,GAAmB,EAAE,EAAE;oBACnC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBAChC,IAAI,GAAG,GAAG,IAAI,CAAC;oBACf,KAAK,MAAM,SAAS,IAAI,mBAAmB,EAAE,CAAC;wBAC5C,GAAG,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,CAAC;oBAC9B,CAAC;oBACD,OAAO,GAAG,CAAC;gBACb,CAAC,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACJ,OAAO,CAAC,GAAmB,EAAE,EAAE;oBAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBAChC,IAAI,GAAG,GAAG,IAAI,CAAC;oBACf,KAAK,MAAM,SAAS,IAAI,mBAAmB,EAAE,CAAC;wBAC5C,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;oBACxB,CAAC;oBACD,OAAO,GAAG,CAAC;gBACb,CAAC,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;QACtH,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC;QAC7B,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACrB,OAAO,KAAK,EAAE,GAAmB,EAAE,EAAE,CAAC,CAAC,MAAM,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACnE,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAmB,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACnR,OAAO,eAAe,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;IACvG,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACrK,OAAO,iBAAiB,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;IACzG,CAAC;SAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClN,OAAO,oBAAoB,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;IAC5G,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,qBAAsB,EAAyB,CAAC,IAAI,cAAe,EAAS,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,iGAAiG;IACjN,CAAC;AACH,CAAC"}

package/dist/src/compile/runtime.d.ts

@@ -0,0 +1,78 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import type { BuiltinName } from "../builtins.js";
+import { variant } from "../containers/variant.js";
+import type { SourceMap } from "../location.js";
+import type { PlatformFunction } from "../platform.js";
+import { type EastTypeValue } from "../type_of_type.js";
+export declare const printTypeValue: (type: EastTypeValue) => string;
+/**
+ * Symbol used to attach source IR to compiled functions.
+ * This enables serialization of free functions (functions with no captures).
+ */
+export declare const EAST_IR_SYMBOL: unique symbol;
+/**
+ * Symbol used to attach capture values to compiled functions.
+ * This enables serialization of closures (functions with captures).
+ */
+export declare const EAST_CAPTURES_SYMBOL: unique symbol;
+/**
+ * Symbol used to attach source map to compiled functions.
+ * Enables encoding location stacks into beast2 source_map_section.
+ */
+export declare const EAST_SOURCE_MAP_SYMBOL: unique symbol;
+/**
+ * Context values are stored as variants to distinguish regular values from boxed mutable captures.
+ * - variant("value", x): regular immutable or non-captured mutable variable
+ * - variant("boxed", x): mutable captured variable (box enables shared mutation across closures)
+ */
+export type ContextValue<T = unknown> = variant<"value", T> | variant<"boxed", T>;
+/** Runtime context mapping variable names to their wrapped values */
+export type RuntimeContext = Record<string, ContextValue>;
+/** Determines if a variable requires boxing (mutable + captured) */
+export declare function requiresBoxing(variable: {
+    mutable: boolean;
+    captured: boolean;
+}): boolean;
+/** Get a context value, throwing InternalError if missing */
+export declare function getContextValue(ctx: RuntimeContext, name: string): ContextValue;
+/** @internal The frozen-mutation error message — identical across the TS, C
+ * and Python runtimes (compliance-tested), so a body that mutates a frozen
+ * task input fails the same way everywhere. */
+export declare const FROZEN_MESSAGE = "cannot mutate a frozen value (task inputs are immutable) \u2014 copy first";
+/** @internal Track iteration locks to prevent concurrent modification */
+export declare const iterationLocks: WeakMap<any, number>;
+/** @internal Lock a collection for iteration (prevents size/keyset modifications) */
+export declare const lockForIteration: (obj: any) => void;
+/** @internal Unlock a collection after iteration */
+export declare const unlockForIteration: (obj: any) => void;
+/** @internal An exception throw for the purpose of early function return */
+export declare class ReturnException {
+    value: any;
+    constructor(value: any);
+}
+/** @internal An exception throw for the purpose of early loop continue */
+export declare class ContinueException {
+    label: string;
+    constructor(label: string);
+}
+/** @internal An exception throw for the purpose of early loop break */
+export declare class BreakException {
+    label: string;
+    constructor(label: string);
+}
+/** Used to call a compiled function with the given arguments and handle errors within builtin functions */
+export declare function call_function(loc_id: bigint, source_map: SourceMap | null, compiled_f: (...args: any[]) => any, ...args: any[]): any;
+/** @internal The error a node that reads collections throws for `e`: a read a
+ * lazy input served that failed becomes an East error at this node's
+ * location, where east-c raises it, so a program can catch it; anything else
+ * is thrown as it is. */
+export declare function lazyReadErrorAt(e: unknown, loc_id: bigint, source_map: SourceMap | null): unknown;
+/** Builds a builtin's implementation from its node: its location and source map, for
+ *  its errors, the platform, and its type parameters. */
+export type BuiltinEvaluator = (loc_id: bigint, source_map: SourceMap | null, platformDef: PlatformFunction[], ...arg_types: any[]) => (...args: any[]) => any;
+/** A domain's builtins, keyed by name. */
+export type BuiltinEvaluators = Partial<Record<BuiltinName, BuiltinEvaluator>>;
+//# sourceMappingURL=runtime.d.ts.map

package/dist/src/compile/runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../../src/compile/runtime.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAY,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAEvD,OAAO,EAAE,KAAK,aAAa,EAAqB,MAAM,oBAAoB,CAAC;AAM3E,eAAO,MAAM,cAAc,EAAkC,CAAC,IAAI,EAAE,aAAa,KAAK,MAAM,CAAC;AAE7F;;;GAGG;AACH,eAAO,MAAM,cAAc,eAAwB,CAAC;AAEpD;;;GAGG;AACH,eAAO,MAAM,oBAAoB,eAA8B,CAAC;AAEhE;;;GAGG;AACH,eAAO,MAAM,sBAAsB,eAAgC,CAAC;AAMpE;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,GAAG,OAAO,IAChC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,GACnB,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAExB,qEAAqE;AACrE,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;AAE1D,oEAAoE;AACpE,wBAAgB,cAAc,CAAC,QAAQ,EAAE;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAEzF;AAED,6DAA6D;AAC7D,wBAAgB,eAAe,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,CAM/E;AAID;;+CAE+C;AAC/C,eAAO,MAAM,cAAc,+EAA0E,CAAC;AAEtG,yEAAyE;AACzE,eAAO,MAAM,cAAc,sBAA6B,CAAC;AAEzD,qFAAqF;AACrF,eAAO,MAAM,gBAAgB,GAAI,KAAK,GAAG,SAExC,CAAC;AAEF,oDAAoD;AACpD,eAAO,MAAM,kBAAkB,GAAI,KAAK,GAAG,SAO1C,CAAC;AAEF,4EAA4E;AAC5E,qBAAa,eAAe;IACP,KAAK,EAAE,GAAG;gBAAV,KAAK,EAAE,GAAG;CAC9B;AAED,0EAA0E;AAC1E,qBAAa,iBAAiB;IACT,KAAK,EAAE,MAAM;gBAAb,KAAK,EAAE,MAAM;CACjC;AAED,uEAAuE;AACvE,qBAAa,cAAc;IACN,KAAK,EAAE,MAAM;gBAAb,KAAK,EAAE,MAAM;CACjC;AAED,2GAA2G;AAC3G,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,GAAG,IAAI,EAAE,UAAU,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,CAiBpI;AAED;;;yBAGyB;AACzB,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,GAAG,IAAI,GAAG,OAAO,CAIjG;AAED;yDACyD;AACzD,MAAM,MAAM,gBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,GAAG,IAAI,EAAE,WAAW,EAAE,gBAAgB,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;AAE/J,0CAA0C;AAC1C,MAAM,MAAM,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC,CAAC"}

package/dist/src/compile/runtime.js

@@ -0,0 +1,111 @@
+import { variant } from "../containers/variant.js";
+import { EastError, InternalError, LazyReadError } from "../error.js";
+import { printFor } from "../serialization/east.js";
+import { EastTypeValueType } from "../type_of_type.js";
+/* The pieces every compiled closure and builtin shares: the context values
+ * variables live in, the control-flow exceptions, the iteration locks, and
+ * the call into a compiled East function a builtin makes. */
+export const printTypeValue = printFor(EastTypeValueType);
+/**
+ * Symbol used to attach source IR to compiled functions.
+ * This enables serialization of free functions (functions with no captures).
+ */
+export const EAST_IR_SYMBOL = Symbol.for("east.ir");
+/**
+ * Symbol used to attach capture values to compiled functions.
+ * This enables serialization of closures (functions with captures).
+ */
+export const EAST_CAPTURES_SYMBOL = Symbol.for("east.captures");
+/**
+ * Symbol used to attach source map to compiled functions.
+ * Enables encoding location stacks into beast2 source_map_section.
+ */
+export const EAST_SOURCE_MAP_SYMBOL = Symbol.for("east.source_map");
+/** Determines if a variable requires boxing (mutable + captured) */
+export function requiresBoxing(variable) {
+    return variable.mutable && variable.captured;
+}
+/** Get a context value, throwing InternalError if missing */
+export function getContextValue(ctx, name) {
+    const value = ctx[name];
+    if (value === undefined) {
+        throw new InternalError(`Variable '${name}' not found in runtime context`);
+    }
+    return value;
+}
+// =============================================================================
+/** @internal The frozen-mutation error message — identical across the TS, C
+ * and Python runtimes (compliance-tested), so a body that mutates a frozen
+ * task input fails the same way everywhere. */
+export const FROZEN_MESSAGE = "cannot mutate a frozen value (task inputs are immutable) — copy first";
+/** @internal Track iteration locks to prevent concurrent modification */
+export const iterationLocks = new WeakMap();
+/** @internal Lock a collection for iteration (prevents size/keyset modifications) */
+export const lockForIteration = (obj) => {
+    iterationLocks.set(obj, (iterationLocks.get(obj) || 0) + 1);
+};
+/** @internal Unlock a collection after iteration */
+export const unlockForIteration = (obj) => {
+    const count = iterationLocks.get(obj) || 0;
+    if (count > 1) {
+        iterationLocks.set(obj, count - 1);
+    }
+    else {
+        iterationLocks.delete(obj);
+    }
+};
+/** @internal An exception throw for the purpose of early function return */
+export class ReturnException {
+    value;
+    constructor(value) {
+        this.value = value;
+    }
+}
+/** @internal An exception throw for the purpose of early loop continue */
+export class ContinueException {
+    label;
+    constructor(label) {
+        this.label = label;
+    }
+}
+/** @internal An exception throw for the purpose of early loop break */
+export class BreakException {
+    label;
+    constructor(label) {
+        this.label = label;
+    }
+}
+/** Used to call a compiled function with the given arguments and handle errors within builtin functions */
+export function call_function(loc_id, source_map, compiled_f, ...args) {
+    try {
+        return compiled_f(...args);
+    }
+    catch (e) {
+        if (e instanceof ReturnException) {
+            return e.value;
+        }
+        else if (e instanceof EastError) {
+            // TODO: push loc_id to EastError once SourceMap resolution is wired up
+            throw (e);
+        }
+        else if (e instanceof ContinueException) {
+            throw new Error(`continue failed to find label ${e.label} at loc_id ${loc_id}`);
+        }
+        else if (e instanceof BreakException) {
+            throw new Error(`break failed to find label ${e.label} at loc_id ${loc_id}`);
+        }
+        else {
+            throw (e);
+        }
+    }
+}
+/** @internal The error a node that reads collections throws for `e`: a read a
+ * lazy input served that failed becomes an East error at this node's
+ * location, where east-c raises it, so a program can catch it; anything else
+ * is thrown as it is. */
+export function lazyReadErrorAt(e, loc_id, source_map) {
+    return e instanceof LazyReadError
+        ? new EastError(e.message, { location: (source_map?.resolve(loc_id) ?? []), cause: e })
+        : e;
+}
+//# sourceMappingURL=runtime.js.map

package/dist/src/compile/runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.js","sourceRoot":"","sources":["../../../src/compile/runtime.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGtE,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAsB,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAE3E;;6DAE6D;AAE7D,MAAM,CAAC,MAAM,cAAc,GAAG,QAAQ,CAAC,iBAAiB,CAAoC,CAAC;AAE7F;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAEpD;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;AAEhE;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;AAkBpE,oEAAoE;AACpE,MAAM,UAAU,cAAc,CAAC,QAAiD;IAC9E,OAAO,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,QAAQ,CAAC;AAC/C,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,eAAe,CAAC,GAAmB,EAAE,IAAY;IAC/D,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,aAAa,CAAC,aAAa,IAAI,gCAAgC,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gFAAgF;AAEhF;;+CAE+C;AAC/C,MAAM,CAAC,MAAM,cAAc,GAAG,uEAAuE,CAAC;AAEtG,yEAAyE;AACzE,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,OAAO,EAAe,CAAC;AAEzD,qFAAqF;AACrF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,GAAQ,EAAE,EAAE;IAC3C,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,oDAAoD;AACpD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,GAAQ,EAAE,EAAE;IAC7C,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACrC,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,OAAO,eAAe;IACP;IAAnB,YAAmB,KAAU;QAAV,UAAK,GAAL,KAAK,CAAK;IAAG,CAAC;CAClC;AAED,0EAA0E;AAC1E,MAAM,OAAO,iBAAiB;IACT;IAAnB,YAAmB,KAAa;QAAb,UAAK,GAAL,KAAK,CAAQ;IAAG,CAAC;CACrC;AAED,uEAAuE;AACvE,MAAM,OAAO,cAAc;IACN;IAAnB,YAAmB,KAAa;QAAb,UAAK,GAAL,KAAK,CAAQ;IAAG,CAAC;CACrC;AAED,2GAA2G;AAC3G,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,UAA4B,EAAE,UAAmC,EAAE,GAAG,IAAW;IAC7H,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,GAAG,IAAI,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,CAAU,EAAE,CAAC;QACpB,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,OAAO,CAAC,CAAC,KAAK,CAAC;QACjB,CAAC;aAAM,IAAI,CAAC,YAAY,SAAS,EAAE,CAAC;YAClC,uEAAuE;YACvE,MAAK,CAAC,CAAC,CAAC,CAAC;QACX,CAAC;aAAM,IAAI,CAAC,YAAY,iBAAiB,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC,KAAK,cAAc,MAAM,EAAE,CAAC,CAAA;QACjF,CAAC;aAAM,IAAI,CAAC,YAAY,cAAc,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC,KAAK,cAAc,MAAM,EAAE,CAAC,CAAA;QAC9E,CAAC;aAAM,CAAC;YACN,MAAK,CAAC,CAAC,CAAC,CAAC;QACX,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;yBAGyB;AACzB,MAAM,UAAU,eAAe,CAAC,CAAU,EAAE,MAAc,EAAE,UAA4B;IACtF,OAAO,CAAC,YAAY,aAAa;QAC/B,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAe,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACrG,CAAC,CAAC,CAAC,CAAC;AACR,CAAC"}

package/dist/src/compile/type_parameters.d.ts

@@ -0,0 +1,4 @@
+import type { EastTypeValue } from "../type_of_type.js";
+/** @internal */
+export declare function applyTypeParameters(t: EastTypeValue | string, params: Map<string, EastTypeValue>): EastTypeValue;
+//# sourceMappingURL=type_parameters.d.ts.map

package/dist/src/compile/type_parameters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type_parameters.d.ts","sourceRoot":"","sources":["../../../src/compile/type_parameters.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExD,gBAAgB;AAChB,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,aAAa,GAAG,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,aAAa,CAkChH"}

package/dist/src/compile/type_parameters.js

@@ -0,0 +1,55 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { variant } from "../containers/variant.js";
+/** @internal */
+export function applyTypeParameters(t, params) {
+    if (typeof (t) === "string") {
+        let ret = params.get(t);
+        if (ret === undefined) {
+            throw new Error(`Unable to find type parameter ${JSON.stringify(t)}`);
+        }
+        return ret;
+    }
+    else if (t.type === "Null" || t.type === "Boolean" || t.type === "Integer" || t.type === "Float" || t.type === "String" || t.type === "DateTime" || t.type === "Blob" || t.type === "Never") {
+        return t;
+    }
+    else if (t.type === "Ref") {
+        return variant("Ref", applyTypeParameters(t.value, params));
+    }
+    else if (t.type === "Array") {
+        return variant("Array", applyTypeParameters(t.value, params));
+    }
+    else if (t.type === "Set") {
+        return variant("Set", applyTypeParameters(t.value, params));
+    }
+    else if (t.type === "Dict") {
+        return variant("Dict", { key: applyTypeParameters(t.value.key, params), value: applyTypeParameters(t.value.value, params) });
+    }
+    else if (t.type === "Struct") {
+        return variant("Struct", t.value.map(({ name, type }) => ({ name, type: applyTypeParameters(type, params) })));
+    }
+    else if (t.type === "Variant") {
+        return variant("Variant", t.value.map(({ name, type }) => ({ name, type: applyTypeParameters(type, params) })));
+    }
+    else if (t.type === "Recursive") {
+        return t;
+    }
+    else if (t.type === "Function") {
+        return variant("Function", { inputs: t.value.inputs.map(i => applyTypeParameters(i, params)), output: applyTypeParameters(t.value.output, params) });
+    }
+    else if (t.type === "AsyncFunction") {
+        return variant("AsyncFunction", { inputs: t.value.inputs.map(i => applyTypeParameters(i, params)), output: applyTypeParameters(t.value.output, params) });
+    }
+    else if (t.type === "Vector") {
+        return variant("Vector", applyTypeParameters(t.value, params));
+    }
+    else if (t.type === "Matrix") {
+        return variant("Matrix", applyTypeParameters(t.value, params));
+    }
+    else {
+        throw new Error(`Unhandled type ${t.type}`);
+    }
+}
+//# sourceMappingURL=type_parameters.js.map

package/dist/src/compile/type_parameters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type_parameters.js","sourceRoot":"","sources":["../../../src/compile/type_parameters.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAGnD,gBAAgB;AAChB,MAAM,UAAU,mBAAmB,CAAC,CAAyB,EAAE,MAAkC;IAC/F,IAAI,OAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC3B,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAI,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7L,OAAO,CAAC,CAAC;IACX,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5B,OAAO,OAAO,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9D,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,OAAO,OAAO,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAChE,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC5B,OAAO,OAAO,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9D,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IAC/H,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjH,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClH,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,CAAC,CAAC;IACX,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO,OAAO,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAE,CAAC;IACxJ,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,OAAO,CAAC,eAAe,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAE,CAAC;IAC7J,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,OAAO,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IACjE,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,OAAO,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IACjE,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,kBAAoB,CAAoC,CAAC,IAAI,EAAE,CAAC,CAAA;IAClF,CAAC;AACH,CAAC"}

package/dist/src/compile/typed_arrays.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { matrix } from "../containers/matrix.js";
+import type { SourceMap } from "../location.js";
+import type { EastTypeValue } from "../type_of_type.js";
+/** Allocates an empty TypedArray of the given length for a given element type */
+export declare function allocateTypedArray(elementType: EastTypeValue, length: number): Float64Array | BigInt64Array | Uint8ClampedArray;
+/** Wraps to East's 64-bit Integer semantics */
+export declare function wrapI64(x: bigint): bigint;
+/** Throws unless the vector/matrix element type parameter is Float or Integer */
+export declare function requireNumericElem(builtin: string, T: EastTypeValue, loc_id: bigint, source_map: SourceMap | null): "Float" | "Integer";
+/** Throws the shared length-mismatch error for elementwise vector operands */
+export declare function requireSameLength(a: {
+    length: number;
+}, b: {
+    length: number;
+}, loc_id: bigint, source_map: SourceMap | null): void;
+/** Throws the shared dimension-mismatch error for elementwise matrix operands */
+export declare function requireSameDims(a: matrix, b: matrix, loc_id: bigint, source_map: SourceMap | null): void;
+/** Validates the sparse-accumulator invariant: parallel lengths and strictly ascending indices */
+export declare function requireSparse(ix: BigInt64Array, v: {
+    length: number;
+}, loc_id: bigint, source_map: SourceMap | null): void;
+/** Creates the appropriate TypedArray for a given element type */
+export declare function createTypedArray(elementType: EastTypeValue, values: any[]): Float64Array | BigInt64Array | Uint8ClampedArray;
+//# sourceMappingURL=typed_arrays.d.ts.map

package/dist/src/compile/typed_arrays.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed_arrays.d.ts","sourceRoot":"","sources":["../../../src/compile/typed_arrays.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAEjD,OAAO,KAAK,EAAY,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAKxD,iFAAiF;AACjF,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa,GAAG,iBAAiB,CAK/H;AAED,+CAA+C;AAC/C,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAEzC;AAED,iFAAiF;AACjF,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,GAAG,IAAI,GAAG,OAAO,GAAG,SAAS,CAKvI;AAED,8EAA8E;AAC9E,wBAAgB,iBAAiB,CAAC,CAAC,EAAE;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,CAAC,EAAE;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,CAIlI;AAED,iFAAiF;AACjF,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,CAIxG;AAED,kGAAkG;AAClG,wBAAgB,aAAa,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,CAS1H;AAED,kEAAkE;AAClE,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,YAAY,GAAG,aAAa,GAAG,iBAAiB,CAgB5H"}

package/dist/src/compile/typed_arrays.js

@@ -0,0 +1,77 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { matrix } from "../containers/matrix.js";
+import { EastError } from "../error.js";
+/* The TypedArray storage Vector and Matrix values use, and the checks their
+ * builtins share. */
+/** Allocates an empty TypedArray of the given length for a given element type */
+export function allocateTypedArray(elementType, length) {
+    if (elementType.type === "Float")
+        return new Float64Array(length);
+    if (elementType.type === "Integer")
+        return new BigInt64Array(length);
+    if (elementType.type === "Boolean")
+        return new Uint8ClampedArray(length);
+    throw new Error(`Unsupported vector element type: ${elementType.type}`);
+}
+/** Wraps to East's 64-bit Integer semantics */
+export function wrapI64(x) {
+    return BigInt.asIntN(64, x);
+}
+/** Throws unless the vector/matrix element type parameter is Float or Integer */
+export function requireNumericElem(builtin, T, loc_id, source_map) {
+    if (T.type !== "Float" && T.type !== "Integer") {
+        throw new EastError(`${builtin} requires Float or Integer elements`, { location: (source_map?.resolve(loc_id) ?? []) });
+    }
+    return T.type;
+}
+/** Throws the shared length-mismatch error for elementwise vector operands */
+export function requireSameLength(a, b, loc_id, source_map) {
+    if (a.length !== b.length) {
+        throw new EastError(`Vector length mismatch (${a.length} vs ${b.length})`, { location: (source_map?.resolve(loc_id) ?? []) });
+    }
+}
+/** Throws the shared dimension-mismatch error for elementwise matrix operands */
+export function requireSameDims(a, b, loc_id, source_map) {
+    if (a.rows !== b.rows || a.cols !== b.cols) {
+        throw new EastError(`Matrix dimension mismatch (${a.rows}x${a.cols} vs ${b.rows}x${b.cols})`, { location: (source_map?.resolve(loc_id) ?? []) });
+    }
+}
+/** Validates the sparse-accumulator invariant: parallel lengths and strictly ascending indices */
+export function requireSparse(ix, v, loc_id, source_map) {
+    if (ix.length !== v.length) {
+        throw new EastError(`Sparse index and value lengths differ (${ix.length} vs ${v.length})`, { location: (source_map?.resolve(loc_id) ?? []) });
+    }
+    for (let i = 1; i < ix.length; i++) {
+        if (ix[i] <= ix[i - 1]) {
+            throw new EastError(`Sparse index vector must be strictly ascending`, { location: (source_map?.resolve(loc_id) ?? []) });
+        }
+    }
+}
+/** Creates the appropriate TypedArray for a given element type */
+export function createTypedArray(elementType, values) {
+    if (elementType.type === "Float") {
+        const arr = new Float64Array(values.length);
+        for (let i = 0; i < values.length; i++)
+            arr[i] = values[i];
+        return arr;
+    }
+    else if (elementType.type === "Integer") {
+        const arr = new BigInt64Array(values.length);
+        for (let i = 0; i < values.length; i++)
+            arr[i] = values[i];
+        return arr;
+    }
+    else if (elementType.type === "Boolean") {
+        const arr = new Uint8ClampedArray(values.length);
+        for (let i = 0; i < values.length; i++)
+            arr[i] = values[i] ? 1 : 0;
+        return arr;
+    }
+    else {
+        throw new Error(`Unsupported vector element type: ${elementType.type}`);
+    }
+}
+//# sourceMappingURL=typed_arrays.js.map

package/dist/src/compile/typed_arrays.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed_arrays.js","sourceRoot":"","sources":["../../../src/compile/typed_arrays.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAIxC;qBACqB;AAErB,iFAAiF;AACjF,MAAM,UAAU,kBAAkB,CAAC,WAA0B,EAAE,MAAc;IAC3E,IAAI,WAAW,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IAClE,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;IACrE,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACzE,MAAM,IAAI,KAAK,CAAC,oCAAoC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,+CAA+C;AAC/C,MAAM,UAAU,OAAO,CAAC,CAAS;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,kBAAkB,CAAC,OAAe,EAAE,CAAgB,EAAE,MAAc,EAAE,UAA4B;IAChH,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/C,MAAM,IAAI,SAAS,CAAC,GAAG,OAAO,qCAAqC,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAe,EAAE,CAAC,CAAC;IACxI,CAAC;IACD,OAAO,CAAC,CAAC,IAAI,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,iBAAiB,CAAC,CAAqB,EAAE,CAAqB,EAAE,MAAc,EAAE,UAA4B;IAC1H,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,SAAS,CAAC,2BAA2B,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC,MAAM,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAe,EAAE,CAAC,CAAC;IAC9I,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,eAAe,CAAC,CAAS,EAAE,CAAS,EAAE,MAAc,EAAE,UAA4B;IAChG,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3C,MAAM,IAAI,SAAS,CAAC,8BAA8B,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAe,EAAE,CAAC,CAAC;IACjK,CAAC;AACH,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,aAAa,CAAC,EAAiB,EAAE,CAAqB,EAAE,MAAc,EAAE,UAA4B;IAClH,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,SAAS,CAAC,0CAA0C,EAAE,CAAC,MAAM,OAAO,CAAC,CAAC,MAAM,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAe,EAAE,CAAC,CAAC;IAC9J,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,IAAI,EAAE,CAAC,CAAC,CAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAE,EAAE,CAAC;YACzB,MAAM,IAAI,SAAS,CAAC,gDAAgD,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAe,EAAE,CAAC,CAAC;QACzI,CAAC;IACH,CAAC;AACH,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,gBAAgB,CAAC,WAA0B,EAAE,MAAa;IACxE,IAAI,WAAW,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3D,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAI,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3D,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAI,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,oCAAoC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC"}