edict-lang 1.2.0 → 1.5.0

package/dist/builtins/builtins.js

@@ -0,0 +1,691 @@
+// =============================================================================
+// Builtins — Built-in functions available to all Edict programs
+// =============================================================================
+// These are not defined in user code. The resolver and type checker
+// register them automatically. The codegen imports them from the host.
+import { INT_TYPE, INT64_TYPE, FLOAT_TYPE, STRING_TYPE, BOOL_TYPE, ARRAY_INT_TYPE, OPTION_INT_TYPE, RESULT_INT_TYPE, RESULT_STRING_TYPE } from "../ast/type-constants.js";
+/**
+ * All built-in functions.
+ *
+ * `print` takes a String and returns a String (the value printed).
+ * At the WASM level, it's imported as host.print(ptr, len) → ptr
+ * (returns the same pointer for passthrough).
+ */
+export const BUILTIN_FUNCTIONS = new Map([
+    [
+        "print",
+        {
+            type: {
+                kind: "fn_type",
+                params: [STRING_TYPE],
+                effects: ["io"],
+                returnType: STRING_TYPE,
+            },
+            wasmImport: ["host", "print"],
+        },
+    ],
+    [
+        "string_replace",
+        {
+            type: {
+                kind: "fn_type",
+                params: [STRING_TYPE, STRING_TYPE, STRING_TYPE],
+                effects: ["pure"],
+                returnType: STRING_TYPE,
+            },
+            wasmImport: ["host", "string_replace"],
+        },
+    ],
+    // =========================================================================
+    // String builtins — pure, string handling needed
+    // =========================================================================
+    [
+        "string_length",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "string_length"],
+        },
+    ],
+    [
+        "substring",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, INT_TYPE, INT_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "substring"],
+        },
+    ],
+    [
+        "string_concat",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "string_concat"],
+        },
+    ],
+    [
+        "string_indexOf",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "string_indexOf"],
+        },
+    ],
+    [
+        "toUpperCase",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "toUpperCase"],
+        },
+    ],
+    [
+        "toLowerCase",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "toLowerCase"],
+        },
+    ],
+    [
+        "string_trim",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "string_trim"],
+        },
+    ],
+    [
+        "string_startsWith",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+            wasmImport: ["host", "string_startsWith"],
+        },
+    ],
+    [
+        "string_endsWith",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+            wasmImport: ["host", "string_endsWith"],
+        },
+    ],
+    [
+        "string_contains",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+            wasmImport: ["host", "string_contains"],
+        },
+    ],
+    [
+        "string_repeat",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, INT_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "string_repeat"],
+        },
+    ],
+    // =========================================================================
+    // Math builtins — pure, no string handling needed
+    // =========================================================================
+    [
+        "abs",
+        {
+            type: { kind: "fn_type", params: [INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "abs"],
+        },
+    ],
+    [
+        "min",
+        {
+            type: { kind: "fn_type", params: [INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "min"],
+        },
+    ],
+    [
+        "max",
+        {
+            type: { kind: "fn_type", params: [INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "max"],
+        },
+    ],
+    [
+        "pow",
+        {
+            type: { kind: "fn_type", params: [INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "pow"],
+        },
+    ],
+    [
+        "sqrt",
+        {
+            type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: FLOAT_TYPE },
+            wasmImport: ["host", "sqrt"],
+        },
+    ],
+    [
+        "floor",
+        {
+            type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "floor"],
+        },
+    ],
+    [
+        "ceil",
+        {
+            type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "ceil"],
+        },
+    ],
+    [
+        "round",
+        {
+            type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "round"],
+        },
+    ],
+    // =========================================================================
+    // Type conversion builtins — pure, cross-type conversion
+    // =========================================================================
+    [
+        "intToString",
+        {
+            type: { kind: "fn_type", params: [INT_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "intToString"],
+        },
+    ],
+    [
+        "floatToString",
+        {
+            type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "floatToString"],
+        },
+    ],
+    [
+        "boolToString",
+        {
+            type: { kind: "fn_type", params: [BOOL_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "boolToString"],
+        },
+    ],
+    [
+        "floatToInt",
+        {
+            type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "floatToInt"],
+        },
+    ],
+    [
+        "intToFloat",
+        {
+            type: { kind: "fn_type", params: [INT_TYPE], effects: ["pure"], returnType: FLOAT_TYPE },
+            wasmImport: ["host", "intToFloat"],
+        },
+    ],
+    // =========================================================================
+    // Int64 conversion builtins — widen/narrow between Int and Int64
+    // =========================================================================
+    [
+        "intToInt64",
+        {
+            type: { kind: "fn_type", params: [INT_TYPE], effects: ["pure"], returnType: INT64_TYPE },
+            wasmImport: ["host", "intToInt64"],
+        },
+    ],
+    [
+        "int64ToInt",
+        {
+            type: { kind: "fn_type", params: [INT64_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "int64ToInt"],
+        },
+    ],
+    [
+        "int64ToFloat",
+        {
+            type: { kind: "fn_type", params: [INT64_TYPE], effects: ["pure"], returnType: FLOAT_TYPE },
+            wasmImport: ["host", "int64ToFloat"],
+        },
+    ],
+    [
+        "int64ToString",
+        {
+            type: { kind: "fn_type", params: [INT64_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "int64ToString"],
+        },
+    ],
+    // =========================================================================
+    // Array builtins — pure, operate on heap-allocated [length][elem0][elem1]...
+    // =========================================================================
+    [
+        "array_length",
+        {
+            type: { kind: "fn_type", params: [ARRAY_INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "array_length"],
+        },
+    ],
+    [
+        "array_get",
+        {
+            type: { kind: "fn_type", params: [ARRAY_INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "array_get"],
+        },
+    ],
+    [
+        "array_set",
+        {
+            type: { kind: "fn_type", params: [ARRAY_INT_TYPE, INT_TYPE, INT_TYPE], effects: ["pure"], returnType: ARRAY_INT_TYPE },
+            wasmImport: ["host", "array_set"],
+        },
+    ],
+    [
+        "array_push",
+        {
+            type: { kind: "fn_type", params: [ARRAY_INT_TYPE, INT_TYPE], effects: ["pure"], returnType: ARRAY_INT_TYPE },
+            wasmImport: ["host", "array_push"],
+        },
+    ],
+    [
+        "array_pop",
+        {
+            type: { kind: "fn_type", params: [ARRAY_INT_TYPE], effects: ["pure"], returnType: ARRAY_INT_TYPE },
+            wasmImport: ["host", "array_pop"],
+        },
+    ],
+    [
+        "array_concat",
+        {
+            type: { kind: "fn_type", params: [ARRAY_INT_TYPE, ARRAY_INT_TYPE], effects: ["pure"], returnType: ARRAY_INT_TYPE },
+            wasmImport: ["host", "array_concat"],
+        },
+    ],
+    [
+        "array_slice",
+        {
+            type: { kind: "fn_type", params: [ARRAY_INT_TYPE, INT_TYPE, INT_TYPE], effects: ["pure"], returnType: ARRAY_INT_TYPE },
+            wasmImport: ["host", "array_slice"],
+        },
+    ],
+    [
+        "array_isEmpty",
+        {
+            type: { kind: "fn_type", params: [ARRAY_INT_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+            wasmImport: ["host", "array_isEmpty"],
+        },
+    ],
+    [
+        "array_contains",
+        {
+            type: { kind: "fn_type", params: [ARRAY_INT_TYPE, INT_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+            wasmImport: ["host", "array_contains"],
+        },
+    ],
+    [
+        "array_reverse",
+        {
+            type: { kind: "fn_type", params: [ARRAY_INT_TYPE], effects: ["pure"], returnType: ARRAY_INT_TYPE },
+            wasmImport: ["host", "array_reverse"],
+        },
+    ],
+    // =========================================================================
+    // HOF array builtins — WASM-native (not host-imported)
+    // These use call_indirect to invoke closure arguments, so they must be
+    // generated as WASM functions in codegen, not imported from the host.
+    // wasmImport sentinel ["__wasm", "..."] signals codegen to skip import.
+    // =========================================================================
+    [
+        "array_map",
+        {
+            type: {
+                kind: "fn_type",
+                params: [
+                    ARRAY_INT_TYPE,
+                    { kind: "fn_type", params: [INT_TYPE], effects: [], returnType: INT_TYPE },
+                ],
+                effects: ["pure"],
+                returnType: ARRAY_INT_TYPE,
+            },
+            wasmImport: ["__wasm", "array_map"],
+        },
+    ],
+    [
+        "array_filter",
+        {
+            type: {
+                kind: "fn_type",
+                params: [
+                    ARRAY_INT_TYPE,
+                    { kind: "fn_type", params: [INT_TYPE], effects: [], returnType: BOOL_TYPE },
+                ],
+                effects: ["pure"],
+                returnType: ARRAY_INT_TYPE,
+            },
+            wasmImport: ["__wasm", "array_filter"],
+        },
+    ],
+    [
+        "array_reduce",
+        {
+            type: {
+                kind: "fn_type",
+                params: [
+                    ARRAY_INT_TYPE,
+                    INT_TYPE,
+                    { kind: "fn_type", params: [INT_TYPE, INT_TYPE], effects: [], returnType: INT_TYPE },
+                ],
+                effects: ["pure"],
+                returnType: INT_TYPE,
+            },
+            wasmImport: ["__wasm", "array_reduce"],
+        },
+    ],
+    [
+        "array_find",
+        {
+            type: {
+                kind: "fn_type",
+                params: [
+                    ARRAY_INT_TYPE,
+                    { kind: "fn_type", params: [INT_TYPE], effects: [], returnType: BOOL_TYPE },
+                ],
+                effects: ["pure"],
+                returnType: OPTION_INT_TYPE,
+            },
+            wasmImport: ["__wasm", "array_find"],
+        },
+    ],
+    [
+        "array_sort",
+        {
+            type: {
+                kind: "fn_type",
+                params: [
+                    ARRAY_INT_TYPE,
+                    { kind: "fn_type", params: [INT_TYPE, INT_TYPE], effects: [], returnType: INT_TYPE },
+                ],
+                effects: ["pure"],
+                returnType: ARRAY_INT_TYPE,
+            },
+            wasmImport: ["__wasm", "array_sort"],
+        },
+    ],
+    // =========================================================================
+    // Option builtins — operate on heap-allocated [tag: i32][value: i32]
+    // =========================================================================
+    [
+        "isSome",
+        {
+            type: { kind: "fn_type", params: [OPTION_INT_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+            wasmImport: ["host", "isSome"],
+        },
+    ],
+    [
+        "isNone",
+        {
+            type: { kind: "fn_type", params: [OPTION_INT_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+            wasmImport: ["host", "isNone"],
+        },
+    ],
+    [
+        "unwrap",
+        {
+            type: { kind: "fn_type", params: [OPTION_INT_TYPE], effects: ["fails"], returnType: INT_TYPE },
+            wasmImport: ["host", "unwrap"],
+        },
+    ],
+    [
+        "unwrapOr",
+        {
+            type: { kind: "fn_type", params: [OPTION_INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "unwrapOr"],
+        },
+    ],
+    // =========================================================================
+    // Result builtins — operate on heap-allocated [tag: i32][value_or_error: i32]
+    // Ok = tag 0, Err = tag 1
+    // =========================================================================
+    [
+        "isOk",
+        {
+            type: { kind: "fn_type", params: [RESULT_INT_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+            wasmImport: ["host", "isOk"],
+        },
+    ],
+    [
+        "isErr",
+        {
+            type: { kind: "fn_type", params: [RESULT_INT_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+            wasmImport: ["host", "isErr"],
+        },
+    ],
+    [
+        "unwrapOk",
+        {
+            type: { kind: "fn_type", params: [RESULT_INT_TYPE], effects: ["fails"], returnType: INT_TYPE },
+            wasmImport: ["host", "unwrapOk"],
+        },
+    ],
+    [
+        "unwrapErr",
+        {
+            type: { kind: "fn_type", params: [RESULT_INT_TYPE], effects: ["fails"], returnType: INT_TYPE },
+            wasmImport: ["host", "unwrapErr"],
+        },
+    ],
+    [
+        "unwrapOkOr",
+        {
+            type: { kind: "fn_type", params: [RESULT_INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "unwrapOkOr"],
+        },
+    ],
+    [
+        "unwrapErrOr",
+        {
+            type: { kind: "fn_type", params: [RESULT_INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+            wasmImport: ["host", "unwrapErrOr"],
+        },
+    ],
+    // =========================================================================
+    // JSON builtins — parse/stringify for string-based JSON manipulation
+    // =========================================================================
+    [
+        "jsonParse",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: RESULT_STRING_TYPE },
+            wasmImport: ["host", "jsonParse"],
+        },
+    ],
+    [
+        "jsonStringify",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "jsonStringify"],
+        },
+    ],
+    // =========================================================================
+    // Random builtins — non-deterministic, use `reads` effect
+    // =========================================================================
+    [
+        "randomInt",
+        {
+            type: { kind: "fn_type", params: [INT_TYPE, INT_TYPE], effects: ["reads"], returnType: INT_TYPE },
+            wasmImport: ["host", "randomInt"],
+        },
+    ],
+    [
+        "randomFloat",
+        {
+            type: { kind: "fn_type", params: [], effects: ["reads"], returnType: FLOAT_TYPE },
+            wasmImport: ["host", "randomFloat"],
+        },
+    ],
+    [
+        "randomUuid",
+        {
+            type: { kind: "fn_type", params: [], effects: ["reads"], returnType: STRING_TYPE },
+            wasmImport: ["host", "randomUuid"],
+        },
+    ],
+    // =========================================================================
+    // Date/time builtins — timestamps, formatting, parsing, and differences
+    // =========================================================================
+    [
+        "now",
+        {
+            type: { kind: "fn_type", params: [], effects: ["reads"], returnType: INT64_TYPE },
+            wasmImport: ["host", "now"],
+        },
+    ],
+    [
+        "formatDate",
+        {
+            type: { kind: "fn_type", params: [INT64_TYPE, STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "formatDate"],
+        },
+    ],
+    [
+        "parseDate",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["fails"], returnType: INT64_TYPE },
+            wasmImport: ["host", "parseDate"],
+        },
+    ],
+    [
+        "diffMs",
+        {
+            type: { kind: "fn_type", params: [INT64_TYPE, INT64_TYPE], effects: ["pure"], returnType: INT64_TYPE },
+            wasmImport: ["host", "diffMs"],
+        },
+    ],
+    // =========================================================================
+    // Regex builtins — pattern matching, extraction, and replacement
+    // =========================================================================
+    [
+        "regexTest",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+            wasmImport: ["host", "regexTest"],
+        },
+    ],
+    [
+        "regexMatch",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "regexMatch"],
+        },
+    ],
+    [
+        "regexReplace",
+        {
+            type: {
+                kind: "fn_type",
+                params: [STRING_TYPE, STRING_TYPE, STRING_TYPE],
+                effects: ["pure"],
+                returnType: STRING_TYPE,
+            },
+            wasmImport: ["host", "regexReplace"],
+        },
+    ],
+    // =========================================================================
+    // Crypto hashing builtins — pure, deterministic hash computation
+    // =========================================================================
+    [
+        "sha256",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "sha256"],
+        },
+    ],
+    [
+        "md5",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+            wasmImport: ["host", "md5"],
+        },
+    ],
+    [
+        "hmac",
+        {
+            type: {
+                kind: "fn_type",
+                params: [STRING_TYPE, STRING_TYPE, STRING_TYPE],
+                effects: ["pure"],
+                returnType: STRING_TYPE,
+            },
+            wasmImport: ["host", "hmac"],
+        },
+    ],
+    // =========================================================================
+    // HTTP client builtins — network IO, returns Result<String, String>
+    // =========================================================================
+    [
+        "httpGet",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["io"], returnType: RESULT_STRING_TYPE },
+            wasmImport: ["host", "httpGet"],
+        },
+    ],
+    [
+        "httpPost",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["io"], returnType: RESULT_STRING_TYPE },
+            wasmImport: ["host", "httpPost"],
+        },
+    ],
+    [
+        "httpPut",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["io"], returnType: RESULT_STRING_TYPE },
+            wasmImport: ["host", "httpPut"],
+        },
+    ],
+    [
+        "httpDelete",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["io"], returnType: RESULT_STRING_TYPE },
+            wasmImport: ["host", "httpDelete"],
+        },
+    ],
+    // =========================================================================
+    // IO builtins — filesystem, environment, process control
+    // =========================================================================
+    [
+        "readFile",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["io"], returnType: RESULT_STRING_TYPE },
+            wasmImport: ["host", "readFile"],
+        },
+    ],
+    [
+        "writeFile",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["io"], returnType: RESULT_STRING_TYPE },
+            wasmImport: ["host", "writeFile"],
+        },
+    ],
+    [
+        "env",
+        {
+            type: { kind: "fn_type", params: [STRING_TYPE], effects: ["reads"], returnType: STRING_TYPE },
+            wasmImport: ["host", "env"],
+        },
+    ],
+    [
+        "args",
+        {
+            type: { kind: "fn_type", params: [], effects: ["reads"], returnType: STRING_TYPE },
+            wasmImport: ["host", "args"],
+        },
+    ],
+    [
+        "exit",
+        {
+            type: { kind: "fn_type", params: [INT_TYPE], effects: ["io"], returnType: INT_TYPE },
+            wasmImport: ["host", "exit"],
+        },
+    ],
+]);
+/**
+ * Check if a name refers to a built-in function.
+ */
+export function isBuiltin(name) {
+    return BUILTIN_FUNCTIONS.has(name);
+}
+/**
+ * Get the built-in function definition, or undefined.
+ */
+export function getBuiltin(name) {
+    return BUILTIN_FUNCTIONS.get(name);
+}
+//# sourceMappingURL=builtins.js.map