@lango-project/lango-js 0.1.6 → 0.1.8

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lango-project/lango-js",
-  "version": "0.1.6",
+  "version": "0.1.8",
   "license": "Apache-2.0",
   "publishConfig": {
     "access": "public"

package/src/compiler.mjs

@@ -283,6 +283,17 @@ class Parser {
         this.blank();
         continue;
       }
+      const hostImport = /^import js global ([A-Za-z_]\w*(?:\/[A-Za-z_]\w*)*)(?: as ([A-Za-z_]\w*))?$/.exec(line.text);
+      if (hostImport) {
+        if (declarationSeen)
+          this.fail(line, "LNG1121", "imports must precede class and function declarations");
+        const name = hostImport[2] ?? hostImport[1].split("/").at(-1);
+        if (jsImports.some((item) => item.name === name))
+          this.fail(line, "LNG1122", `duplicate JavaScript import name ${name}`);
+        jsImports.push({ name, globalPath: hostImport[1].split("/").map(kebabName) });
+        this.blank();
+        continue;
+      }
       const jsImport = /^import js "([^"]+)" as ([A-Za-z_]\w*)$/.exec(line.text);
       if (jsImport) {
         if (declarationSeen)
@@ -1074,8 +1085,12 @@ class Parser {
   }
   captures() {
     if (!(this.peek() ?? "").trimStart().startsWith("capture ")) return [];
-    const line = this.line();
-    const names = splitTopLevel(line.text.trim().slice(8));
+    const line = { text: this.peek(), number: this.i + 1 };
+    const indent = spaces(line.text);
+    const names = [];
+    while (spaces(this.peek() ?? "") === indent && (this.peek() ?? "").trimStart().startsWith("capture ")) {
+      names.push(...splitTopLevel(this.line().text.trim().slice(8)));
+    }
     if (
       names.some(
         (name) =>
@@ -1116,7 +1131,7 @@ class Parser {
         value:
           match[2] === "{"
             ? this.object(indent + 4)
-            : expr(match[2], line, this),
+            : expr(this.continuedStatement(match[2], line, indent + 4), line, this),
       });
     }
     return { type: "object", fields };
@@ -1181,18 +1196,42 @@ function collectSqlParameters(sql) {
   return [...new Set(names)];
 }
 
+function interpolationEnd(text, start) {
+  let depth = 1;
+  for (let index = start; index < text.length; index += 1) {
+    const character = text[index];
+    if (character === "'" || character === '"') {
+      index = quotedStringEnd(text, index);
+      if (index < 0) return -1;
+    } else if (character === "{") depth += 1;
+    else if (character === "}" && --depth === 0) return index;
+  }
+  return -1;
+}
+
+function quotedStringEnd(text, start) {
+  const quote = text[start];
+  for (let index = start + 1; index < text.length; index += 1) {
+    if (text[index] === "\\") { index += 1; continue; }
+    if (text.startsWith("${", index)) {
+      index = interpolationEnd(text, index + 2);
+      if (index < 0) return -1;
+    } else if (text[index] === quote) return index;
+  }
+  return -1;
+}
+
+function skipString(text, start) {
+  const end = quotedStringEnd(text, start);
+  return end < 0 ? text.length : end;
+}
+
 function topLevelBinary(text, operators, rightAssociative = false) {
-  let quote = null;
   let depth = 0;
   let match = null;
   for (let index = 0; index < text.length; index += 1) {
     const character = text[index];
-    if (quote !== null) {
-      if (character === "\\") { index += 1; continue; }
-      if (character === quote) quote = null;
-      continue;
-    }
-    if (character === "'" || character === '"') { quote = character; continue; }
+    if (character === "'" || character === '"') { index = skipString(text, index); continue; }
     if ("([{".includes(character)) { depth += 1; continue; }
     if (")]}".includes(character)) { depth -= 1; continue; }
     if (depth !== 0) continue;
@@ -1208,16 +1247,10 @@ function topLevelBinary(text, operators, rightAssociative = false) {
 }
 
 function curlyDelimiterDepth(text) {
-  let quote = null;
   let depth = 0;
   for (let index = 0; index < text.length; index += 1) {
     const character = text[index];
-    if (quote !== null) {
-      if (character === "\\") { index += 1; continue; }
-      if (character === quote) quote = null;
-      continue;
-    }
-    if (character === "'" || character === '"') { quote = character; continue; }
+    if (character === "'" || character === '"') { index = skipString(text, index); continue; }
     if (character === "{") depth += 1;
     if (character === "}") depth -= 1;
   }
@@ -1228,16 +1261,14 @@ const KEBAB_MARKER = "__lango_dash__";
 
 function normalizeKebabIdentifiers(source) {
   let result = "";
-  let quote = null;
   for (let index = 0; index < source.length; index += 1) {
     const character = source[index];
-    if (quote !== null) {
-      result += character;
-      if (character === "\\") result += source[++index] ?? "";
-      else if (character === quote) quote = null;
+    if (character === "'" || character === '"') {
+      const end = skipString(source, index);
+      result += source.slice(index, end + 1);
+      index = end;
       continue;
     }
-    if (character === "'" || character === '"') { quote = character; result += character; continue; }
     const match = /^[A-Za-z_]\w*(?:-[A-Za-z_]\w*)+/.exec(source.slice(index));
     if (match) {
       result += match[0].replaceAll("-", KEBAB_MARKER);
@@ -1270,16 +1301,10 @@ function emitKebabPath(value) {
 function splitTopLevel(text, separator = ", ") {
   const parts = [];
   let start = 0;
-  let quote = null;
   let depth = 0;
   for (let index = 0; index < text.length; index += 1) {
     const character = text[index];
-    if (quote !== null) {
-      if (character === "\\") { index += 1; continue; }
-      if (character === quote) quote = null;
-      continue;
-    }
-    if (character === "'" || character === '"') { quote = character; continue; }
+    if (character === "'" || character === '"') { index = skipString(text, index); continue; }
     if ("([{".includes(character)) { depth += 1; continue; }
     if (")]}".includes(character)) { depth -= 1; continue; }
     if (depth === 0 && text.startsWith(separator, index)) {
@@ -1294,16 +1319,10 @@ function splitTopLevel(text, separator = ", ") {
 
 function parenthesizedExpression(text) {
   if (!text.startsWith("(") || !text.endsWith(")")) return null;
-  let quote = null;
   let depth = 0;
   for (let index = 0; index < text.length; index += 1) {
     const character = text[index];
-    if (quote !== null) {
-      if (character === "\\") { index += 1; continue; }
-      if (character === quote) quote = null;
-      continue;
-    }
-    if (character === "'" || character === '"') { quote = character; continue; }
+    if (character === "'" || character === '"') { index = skipString(text, index); continue; }
     if (character === "(") depth += 1;
     if (character === ")") {
       depth -= 1;
@@ -1744,23 +1763,13 @@ function xmlTagEnd(source, start) {
 }
 
 function stripComment(line) {
-  let quote = null;
-  let escaped = false;
   for (let index = 0; index < line.length; index += 1) {
     const character = line[index];
-    if (escaped) {
-      escaped = false;
-      continue;
-    }
-    if (quote && character === "\\") {
-      escaped = true;
-      continue;
-    }
     if (character === '"' || character === "'") {
-      quote = quote === character ? null : quote ?? character;
+      index = skipString(line, index);
       continue;
     }
-    if (!quote && character === "#") return line.slice(0, index).trimEnd();
+    if (character === "#") return line.slice(0, index).trimEnd();
   }
   return line;
 }
@@ -1769,20 +1778,25 @@ function literal(value, line, parser) {
   const quote = value[0];
   if (!((quote === "'" || quote === '"') && value.at(-1) === quote))
     parser.fail(line, "LNG1109", "expected a string literal");
-  const decoded = value
-    .slice(1, -1)
+  const decode = (text) => text
     .replace(/\\n/g, "\n")
     .replace(/\\t/g, "\t")
-    .replace(/\\(['"\\])/g, "$1");
+    .replace(/\\(['"\\$])/g, "$1");
   const parts = [];
-  let at = 0;
-  const regex = /\$\{([A-Za-z_]\w*(?:\.[A-Za-z_]\w*|\[\d+\])?)\}/g;
-  let match;
-  while ((match = regex.exec(decoded))) {
-    parts.push({ text: decoded.slice(at, match.index), value: match[1] });
-    at = match.index + match[0].length;
+  let at = 1;
+  for (let index = 1; index < value.length - 1; index += 1) {
+    if (value[index] === "\\") { index += 1; continue; }
+    if (!value.startsWith("${", index)) continue;
+    const end = interpolationEnd(value, index + 2);
+    if (end < 0 || end >= value.length - 1)
+      parser.fail(line, "LNG1267", "unterminated string interpolation");
+    const source = value.slice(index + 2, end).trim();
+    if (!source) parser.fail(line, "LNG1267", "string interpolation requires an expression");
+    parts.push({ text: decode(value.slice(at, index)), value: expr(normalizeKebabIdentifiers(source), line, parser) });
+    index = end;
+    at = end + 1;
   }
-  parts.push({ text: decoded.slice(at), value: null });
+  parts.push({ text: decode(value.slice(at, -1)), value: null });
   return parts;
 }
 
@@ -1804,6 +1818,8 @@ function validate(program, imports = []) {
     ),
   );
   const jsImportNames = new Set(program.jsImports.map((item) => item.name));
+  const jsModuleNames = new Set(program.jsImports.filter((item) => !item.globalPath).map((item) => item.name));
+  const hostImportNames = new Set(program.jsImports.filter((item) => item.globalPath).map((item) => item.name));
   const importedFunctions = new Map(
     imports.flatMap((item) =>
       (item.selections ?? [])
@@ -1837,7 +1853,7 @@ function validate(program, imports = []) {
     ["xml2obj", 1],
     ["start_trans", 0], ["commit_trans", 0], ["rollback_trans", 0], ["trans_state", 0],
   ]);
-  const hostFunctions = new Set(["fetch"]);
+  const hostFunctions = new Set(["fetch", ...hostImportNames]);
   const isDecimalValue = (value) =>
     value &&
     (value.type === "decimal" ||
@@ -2261,6 +2277,18 @@ function validate(program, imports = []) {
     findMethod(classNode, "constructor", false);
   const walk = (value, localCallables, classNode = null, staticMethod = false) => {
     if (!value || typeof value !== "object") return;
+    if (value.type === "closure" || value.type === "closureAssign")
+      localCallables = new Set([...localCallables, ...value.parameters.map((parameter) => parameter.name), ...dynamicBindingNames(value.body)]);
+    const bindings = [
+      ...(["assign", "closureAssign", "increment", "contextSet", "contextDeclare", "globalDeclare"].includes(value.type) ? [value.name] : []),
+      ...(value.parameters ?? []).map((parameter) => parameter.name),
+      ...(value.type === "for" ? [value.item] : []),
+      ...(value.type === "forObject" ? [value.key, value.value] : []),
+      ...(value.catchName ? [value.catchName] : []),
+    ];
+    const readonly = bindings.find((name) => hostImportNames.has(name));
+    if (readonly)
+      throw new LangoError("LNG1268", value.line ?? 1, `${readonly} is a readonly host import and cannot be rebound or shadowed`);
     if (value.type === "binary" && ["+", "-", "*", "/", "%", "**", ">", "<", ">=", "<="].includes(value.operator)) {
       const string = (item) => item.type === "string";
       const number = (item) => item.type === "raw" && /^\d/.test(item.value);
@@ -2337,7 +2365,7 @@ function validate(program, imports = []) {
           value.line,
           `use / between JavaScript namespace segments in new ${value.name}(...)`,
         );
-      if (value.name.includes("/")) validateJavaScriptArguments(value, value.name);
+      if (value.name.includes("/") || hostImportNames.has(value.name)) validateJavaScriptArguments(value, value.name);
       const target = classes.get(value.name);
       const constructor = target && findConstructor(target);
       if (constructor) validateRequiredArguments(constructor, value, value.name);
@@ -2345,7 +2373,7 @@ function validate(program, imports = []) {
     if (value.type === "methodCall" && typeof value.receiver === "string") {
       if (
         value.receiver.includes(".") &&
-        jsImportNames.has(value.receiver.split(".")[0])
+        jsModuleNames.has(value.receiver.split(".")[0])
       )
         throw new LangoError(
           "LNG1232",
@@ -2405,6 +2433,8 @@ function validate(program, imports = []) {
           `${targetClass.name}${target.method.static ? "::" : ":"}${value.name}`,
         );
     }
+    if (value.type === "methodCall" && hostImportNames.has(receiverRoot(value.receiver)))
+      validateJavaScriptArguments(value, `${receiverRoot(value.receiver)}.${value.name}`);
     if (value.type === "methodCall" && receiverRoot(value.receiver) === "args")
       validateJavaScriptArguments(value, `args.${value.name}`);
     if (value.type === "namespaceMethodCall") {
@@ -2482,6 +2512,7 @@ function validate(program, imports = []) {
   const expressionReferences = (node, references) => {
     if (!node || typeof node !== "object") return;
     if (node.type === "raw") {
+      if (["true", "false", "null", "this"].includes(node.value)) return;
       const match = /^(@{0,2}[A-Za-z_]\w*)/.exec(node.value);
       if (match) references.add(match[1]);
       return;
@@ -2519,10 +2550,7 @@ function validate(program, imports = []) {
     if (node.type === "string" || node.type === "translate") {
       node.literal
         .filter((part) => part.value)
-        .forEach((part) => {
-          const match = /^(@{0,2}[A-Za-z_]\w*)/.exec(part.value);
-          if (match) references.add(match[1]);
-        });
+        .forEach((part) => expressionReferences(part.value, references));
       return;
     }
     Object.values(node).forEach((value) => {
@@ -3404,6 +3432,7 @@ function emit(program, moduleImports = [], includeTests = false) {
         item.names.map((name) => name.split(" as ").at(-1)),
       ),
     ),
+    hostGlobals: new Map(program.jsImports.filter((item) => item.globalPath).map((item) => [item.name, item.globalPath])),
   };
   const classes = program.classes
     .map((item) => emitClass(item, flags))
@@ -3427,7 +3456,18 @@ function emit(program, moduleImports = [], includeTests = false) {
         .concat("...__langoOwnTests")
         .join(", ")}];\n`
     : "";
+  const globals = program.globals
+    .map((item) => {
+      const value = emitExpr(item.value, flags);
+      const prefix = item.exported ? "export let" : "let";
+      if (!item.name.startsWith("$")) return `${prefix} ${item.name} = ${value};\n`;
+      flags.decimal = true;
+      return `${prefix} ${item.name} = __decimal(${item.value.type === "raw" ? JSON.stringify(item.value.value) : value});\n`;
+    })
+    .join("");
   const helpers = [
+    flags.hostGlobal && "hostGlobal as __hostGlobal",
+    flags.hostGlobalCall && "hostGlobalCall as __hostGlobalCall",
     flags.decimal && "decimal as __decimal",
     flags.print && "println as __println",
     flags.translate && "translate as __translate",
@@ -3461,6 +3501,8 @@ function emit(program, moduleImports = [], includeTests = false) {
     flags.normalize && "normalize as __normalize",
     flags.finite && "finite as __finite",
     flags.number && "requireNumber as __requireNumber",
+    flags.numeric && "requireNumeric as __requireNumeric",
+    flags.numericAdd && "numericAdd as __numericAdd",
     flags.call && "call as __call",
     flags.callMethod && "callMethod as __callMethod",
     flags.boundary && "boundary as __boundary",
@@ -3483,20 +3525,12 @@ function emit(program, moduleImports = [], includeTests = false) {
     )
     .join("");
   const jsModules = program.jsImports
+    .filter((item) => !item.globalPath)
     .map(
       (item) =>
         `import * as ${item.name} from ${JSON.stringify(item.specifier)};\n`,
     )
     .join("");
-  const globals = program.globals
-    .map((item) => {
-      const value = emitExpr(item.value, flags);
-      const prefix = item.exported ? "export let" : "let";
-      if (!item.name.startsWith("$")) return `${prefix} ${item.name} = ${value};\n`;
-      flags.decimal = true;
-      return `${prefix} ${item.name} = __decimal(${item.value.type === "raw" ? JSON.stringify(item.value.value) : value});\n`;
-    })
-    .join("");
   const testReset = includeTests
     ? `export function __langoResetTests() {\n${program.globals
         .map((item) => `    ${item.name} = ${emitExpr(item.value, flags)};\n`)
@@ -3712,7 +3746,7 @@ function collectEmitLocals(body, names = new Set(), nested = false) {
   return names;
 }
 function emitDecimalExpression(node, flags) {
-  const operand = (value) => {
+  const operand = (value, numericOnly = false) => {
     if (value.type === "decimal") return emitExpr(value, flags);
     if (value.type === "binary" && ["+", "-", "*", "/", "%", "**"].includes(value.operator))
       return emitDecimalExpression(value, flags);
@@ -3722,13 +3756,15 @@ function emitDecimalExpression(node, flags) {
     }
     if (value.type === "raw" && value.value.startsWith("$")) return emitExpr(value, flags);
     flags.decimal = true;
-    return `__decimal(${emitExpr(value, flags)})`;
+    if (numericOnly) flags.numeric = true;
+    const emitted = emitExpr(value, flags);
+    return `__decimal(${numericOnly ? `__requireNumeric(${emitted})` : emitted})`;
   };
   if (node.type !== "binary" || !["+", "-", "*", "/", "%", "**"].includes(node.operator))
     return operand(node);
   flags.decimal = true;
   const methods = { "+": "plus", "-": "minus", "*": "times", "/": "div", "%": "mod", "**": "pow" };
-  return `${operand(node.left)}.${methods[node.operator]}(${operand(node.right)})`;
+  return `${operand(node.left, node.operator === "+")}.${methods[node.operator]}(${operand(node.right, node.operator === "+")})`;
 }
 function needsLoopLabel(body, nestedLoopDepth = 0) {
   for (const node of body) {
@@ -3800,6 +3836,10 @@ function emitStatement(node, depth, declared, flags) {
   if (node.type === "indexAssign") {
     const target = `${emitReceiverName(node.receiver, flags)}${(node.indexes ?? [node.index]).map((index) => `[${emitExpr(index, flags)}]`).join("")}`;
     const value = emitExpr(node.value, flags);
+    if (node.operator === "+") {
+      flags.numericAdd = true;
+      return `${pad}${target} = __numericAdd(${target}, ${value});\n`;
+    }
     if (node.operator) flags.finite = true;
     return `${pad}${target} = ${node.operator ? `__finite(${target} ${node.operator} ${value})` : value};\n`;
   }
@@ -3813,7 +3853,10 @@ function emitStatement(node, depth, declared, flags) {
   }
   if (node.type === "superConstructor")
     return `${pad}super(${node.arguments.map((item) => emitExpr(item, flags)).join(", ")});\n`;
-  if (node.type === "increment") return `${pad}${node.name} += 1;\n`;
+  if (node.type === "increment") {
+    flags.numericAdd = true;
+    return `${pad}${node.name} = __numericAdd(${node.name}, 1);\n`;
+  }
   if (node.type === "add")
     return `${pad}${node.target}.push(${emitExpr(node.value, flags)});\n`;
   if (node.type === "return")
@@ -3976,6 +4019,11 @@ function emitBoundaryChecks(parameters, depth, flags) {
     .join("");
 }
 function emitReceiverName(name, flags) {
+  const host = /^([A-Za-z_]\w*)(.*)$/.exec(name);
+  if (host && flags.hostGlobals?.has(host[1])) {
+    flags.hostGlobal = true;
+    return `__hostGlobal(${JSON.stringify(flags.hostGlobals.get(host[1]))})${emitKebabPath(host[2])}`;
+  }
   const member = /^(@{1,2})(\$?[A-Za-z_]\w*)(.*)$/.exec(name);
   if (member) {
     const [, scope, property, suffix] = member;
@@ -4006,6 +4054,13 @@ function emitExpr(node, flags) {
     flags.normalize = true;
     return `__normalize(${value})`;
   };
+  if (node.type === "raw" && flags.hostGlobals.has(node.value.split(/[.\[?]/)[0]))
+    return normalize(emitReceiverName(node.value, flags));
+  if (node.type === "call" && flags.hostGlobals.has(node.name)) {
+    flags.hostGlobalCall = true;
+    const arguments_ = node.arguments.map((item) => item.type === "closure" ? emitClosure(item, 0, flags) : emitExpr(item, flags)).join(", ");
+    return `__hostGlobalCall(${JSON.stringify(flags.hostGlobals.get(node.name))}${arguments_ ? `, ${arguments_}` : ""})`;
+  }
   if (node.type === "raw")
     if (/^@{1,2}\$?[A-Za-z_]\w*[.\[?]/.test(node.value))
       return normalize(emitReceiverName(node.value, flags));
@@ -4068,7 +4123,7 @@ function emitExpr(node, flags) {
     return `__finite(-${numericLiteral ? emitExpr(node.value, flags) : `__requireNumber(${emitExpr(node.value, flags)})`})`;
   }
   if (node.type === "new")
-    return `new ${node.name.replaceAll("/", ".")}(${node.arguments.map((item) =>
+    return `new ${flags.hostGlobals.has(node.name.split("/")[0]) ? `(${emitReceiverName(node.name.replaceAll("/", "."), flags)})` : node.name.replaceAll("/", ".")}(${node.arguments.map((item) =>
       item.type === "closure" ? emitClosure(item, 0, flags) : emitExpr(item, flags),
     ).join(", ")})`;
   if (node.type === "superMethodCall")
@@ -4084,7 +4139,7 @@ function emitExpr(node, flags) {
   if (node.type === "methodCall" || node.type === "namespaceMethodCall") {
     const namespace = node.type === "namespaceMethodCall";
     const sourceReceiver = namespace
-      ? node.receiver.replaceAll("/", ".")
+      ? emitReceiverName(node.receiver.replaceAll("/", "."), flags)
       : typeof node.receiver === "string"
         ? emitReceiverName(node.receiver, flags)
         : emitExpr(node.receiver, flags);
@@ -4209,8 +4264,16 @@ function emitExpr(node, flags) {
           : value.type === "raw" && /^\d+(?:\.\d+)?$/.test(value.value)
             ? `__decimal(${JSON.stringify(value.value)})`
             : emitExpr(value, flags);
+      if (node.operator === "+") {
+        flags.numericAdd = true;
+        return `__numericAdd(${operand(node.left)}, ${operand(node.right)})`;
+      }
       return `${operand(node.left)}.${methods[node.operator]}(${operand(node.right)})`;
     }
+    if (node.operator === "+") {
+      flags.numericAdd = true;
+      return `__numericAdd(${emitExpr(node.left, flags)}, ${emitExpr(node.right, flags)})`;
+    }
     const value = `${emitExpr(node.left, flags)} ${operators[node.operator] ?? node.operator} ${emitExpr(node.right, flags)}`;
     if (["+", "-", "*", "/", "%", "**"].includes(node.operator)) {
       flags.finite = true;
@@ -4299,7 +4362,7 @@ function emitExpr(node, flags) {
     .join("");
   const values = node.literal
     .filter((item) => item.value)
-    .map((item) => item.value);
+    .map((item) => emitExpr(item.value, flags));
   return `__translate(${JSON.stringify(template)}, [${values.join(", ")}])`;
 }
 function emitBoolean(node, flags) {
@@ -4308,7 +4371,7 @@ function emitBoolean(node, flags) {
 }
 function emitString(parts, flags) {
   if (parts.length === 1) return JSON.stringify(parts[0].text);
-  return `\`${parts.map((item) => `${item.text.replaceAll("`", "\\`")}${item.value === null ? "" : `\${${emitReceiverName(item.value, flags)}}`}`).join("")}\``;
+  return `\`${parts.map((item) => `${JSON.stringify(item.text).slice(1, -1).replaceAll("`", "\\`").replaceAll("${", "\\${")}${item.value === null ? "" : `\${${emitExpr(item.value, flags)}}`}`).join("")}\``;
 }
 function spaces(line) {
   return line.length - line.trimStart().length;

package/src/runtime.mjs

@@ -530,11 +530,54 @@ export function requireNumber(value) {
     return finite(value);
 }
 
+export function requireNumeric(value) {
+    if (isDecimal(value) && value.isFinite()) return value;
+    return requireNumber(value);
+}
+
+export function numericAdd(left, right) {
+    requireNumeric(left);
+    requireNumeric(right);
+    if (isDecimal(left) || isDecimal(right))
+        return decimal(left).plus(right);
+    return finite(left + right);
+}
+
 export function call(value, ...arguments_) {
     if (typeof value !== "function") throw new Error("NotCallable");
     return normalize(value(...arguments_));
 }
 
+export class HostGlobalUnavailable extends Error {
+    constructor(path) {
+        super("HostGlobalUnavailable: " + path.join("/"));
+        this.name = "HostGlobalUnavailable";
+    }
+}
+
+function resolveHostGlobal(path) {
+    let owner = globalThis;
+    let value = owner;
+    for (const segment of path) {
+        owner = value;
+        if (owner === null || owner === undefined || !(segment in Object(owner)))
+            throw new HostGlobalUnavailable(path);
+        value = owner[segment];
+    }
+    if (value === undefined) throw new HostGlobalUnavailable(path);
+    return { owner, value };
+}
+
+export function hostGlobal(path) {
+    return resolveHostGlobal(path).value;
+}
+
+export function hostGlobalCall(path, ...arguments_) {
+    const { owner, value } = resolveHostGlobal(path);
+    if (typeof value !== "function") throw new Error("NotCallable");
+    return normalize(Reflect.apply(value, owner, arguments_));
+}
+
 export function callMethod(receiver, name, ...arguments_) {
     const value = receiver?.[name];
     if (typeof value !== "function") throw new Error("NotCallable");