seval.js 1.0.0

package/dist/tokenizer.js

@@ -0,0 +1,154 @@
+/**
+ * S-Expression Tokenizer
+ *
+ * Converts source string into a stream of tokens.
+ */
+/**
+ * Token types
+ */
+export var TokenType;
+(function (TokenType) {
+    TokenType["LeftParen"] = "LeftParen";
+    TokenType["RightParen"] = "RightParen";
+    TokenType["Number"] = "Number";
+    TokenType["String"] = "String";
+    TokenType["Symbol"] = "Symbol";
+    TokenType["Boolean"] = "Boolean";
+    TokenType["EOF"] = "EOF";
+})(TokenType || (TokenType = {}));
+/**
+ * Tokenize S-expression source code
+ */
+export function tokenize(input) {
+    const tokens = [];
+    let pos = 0;
+    let line = 1;
+    let column = 1;
+    function advance() {
+        const char = input[pos++];
+        if (char === '\n') {
+            line++;
+            column = 1;
+        }
+        else {
+            column++;
+        }
+        return char ?? '';
+    }
+    function peek() {
+        return input[pos] ?? '';
+    }
+    function skipWhitespace() {
+        while (pos < input.length) {
+            const char = peek();
+            if (/\s/.test(char)) {
+                advance();
+            }
+            else if (char === ';') {
+                // Skip comment until end of line
+                while (pos < input.length && peek() !== '\n') {
+                    advance();
+                }
+            }
+            else {
+                break;
+            }
+        }
+    }
+    function readString() {
+        const startLine = line;
+        const startColumn = column;
+        advance(); // skip opening quote
+        let value = '';
+        while (pos < input.length && peek() !== '"') {
+            if (peek() === '\\' && pos + 1 < input.length) {
+                advance(); // skip backslash
+                const escaped = advance();
+                switch (escaped) {
+                    case 'n':
+                        value += '\n';
+                        break;
+                    case 't':
+                        value += '\t';
+                        break;
+                    case '\\':
+                        value += '\\';
+                        break;
+                    case '"':
+                        value += '"';
+                        break;
+                    default:
+                        value += escaped;
+                }
+            }
+            else {
+                value += advance();
+            }
+        }
+        if (peek() !== '"') {
+            throw new Error(`Unterminated string at line ${startLine}, column ${startColumn}`);
+        }
+        advance(); // skip closing quote
+        return { type: TokenType.String, value, line: startLine, column: startColumn };
+    }
+    function readAtom() {
+        const startLine = line;
+        const startColumn = column;
+        let atom = '';
+        while (pos < input.length && !/[\s()";\[\]]/.test(peek())) {
+            atom += advance();
+        }
+        if (atom === '') {
+            throw new Error(`Unexpected character '${peek()}' at line ${line}, column ${column}`);
+        }
+        // Check for boolean
+        if (atom === 'true' || atom === '#t') {
+            return { type: TokenType.Boolean, value: true, line: startLine, column: startColumn };
+        }
+        if (atom === 'false' || atom === '#f') {
+            return { type: TokenType.Boolean, value: false, line: startLine, column: startColumn };
+        }
+        // Check for number
+        const num = Number(atom);
+        if (!Number.isNaN(num)) {
+            return { type: TokenType.Number, value: num, line: startLine, column: startColumn };
+        }
+        // Symbol
+        return { type: TokenType.Symbol, value: atom, line: startLine, column: startColumn };
+    }
+    while (pos < input.length) {
+        skipWhitespace();
+        if (pos >= input.length)
+            break;
+        const startLine = line;
+        const startColumn = column;
+        const char = peek();
+        if (char === '(') {
+            advance();
+            tokens.push({
+                type: TokenType.LeftParen,
+                value: '(',
+                line: startLine,
+                column: startColumn,
+            });
+        }
+        else if (char === ')') {
+            advance();
+            tokens.push({
+                type: TokenType.RightParen,
+                value: ')',
+                line: startLine,
+                column: startColumn,
+            });
+        }
+        else if (char === '"') {
+            tokens.push(readString());
+        }
+        else {
+            tokens.push(readAtom());
+        }
+    }
+    tokens.push({ type: TokenType.EOF, value: '', line, column });
+    return tokens;
+}
+//# sourceMappingURL=tokenizer.js.map

package/dist/tokenizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tokenizer.js","sourceRoot":"","sources":["../src/tokenizer.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;GAEG;AACH,MAAM,CAAN,IAAY,SAQX;AARD,WAAY,SAAS;IACjB,oCAAuB,CAAA;IACvB,sCAAyB,CAAA;IACzB,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,gCAAmB,CAAA;IACnB,wBAAW,CAAA;AACf,CAAC,EARW,SAAS,KAAT,SAAS,QAQpB;AAYD;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAa;IAClC,MAAM,MAAM,GAAY,EAAE,CAAA;IAC1B,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,IAAI,IAAI,GAAG,CAAC,CAAA;IACZ,IAAI,MAAM,GAAG,CAAC,CAAA;IAEd,SAAS,OAAO;QACZ,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC,CAAA;QACzB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAChB,IAAI,EAAE,CAAA;YACN,MAAM,GAAG,CAAC,CAAA;QACd,CAAC;aAAM,CAAC;YACJ,MAAM,EAAE,CAAA;QACZ,CAAC;QACD,OAAO,IAAI,IAAI,EAAE,CAAA;IACrB,CAAC;IAED,SAAS,IAAI;QACT,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;IAC3B,CAAC;IAED,SAAS,cAAc;QACnB,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,IAAI,EAAE,CAAA;YACnB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClB,OAAO,EAAE,CAAA;YACb,CAAC;iBAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACtB,iCAAiC;gBACjC,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBAC3C,OAAO,EAAE,CAAA;gBACb,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,MAAK;YACT,CAAC;QACL,CAAC;IACL,CAAC;IAED,SAAS,UAAU;QACf,MAAM,SAAS,GAAG,IAAI,CAAA;QACtB,MAAM,WAAW,GAAG,MAAM,CAAA;QAC1B,OAAO,EAAE,CAAA,CAAC,qBAAqB;QAE/B,IAAI,KAAK,GAAG,EAAE,CAAA;QACd,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC1C,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC5C,OAAO,EAAE,CAAA,CAAC,iBAAiB;gBAC3B,MAAM,OAAO,GAAG,OAAO,EAAE,CAAA;gBACzB,QAAQ,OAAO,EAAE,CAAC;oBACd,KAAK,GAAG;wBACJ,KAAK,IAAI,IAAI,CAAA;wBACb,MAAK;oBACT,KAAK,GAAG;wBACJ,KAAK,IAAI,IAAI,CAAA;wBACb,MAAK;oBACT,KAAK,IAAI;wBACL,KAAK,IAAI,IAAI,CAAA;wBACb,MAAK;oBACT,KAAK,GAAG;wBACJ,KAAK,IAAI,GAAG,CAAA;wBACZ,MAAK;oBACT;wBACI,KAAK,IAAI,OAAO,CAAA;gBACxB,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,KAAK,IAAI,OAAO,EAAE,CAAA;YACtB,CAAC;QACL,CAAC;QAED,IAAI,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,+BAA+B,SAAS,YAAY,WAAW,EAAE,CAAC,CAAA;QACtF,CAAC;QACD,OAAO,EAAE,CAAA,CAAC,qBAAqB;QAE/B,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,CAAA;IAClF,CAAC;IAED,SAAS,QAAQ;QACb,MAAM,SAAS,GAAG,IAAI,CAAA;QACtB,MAAM,WAAW,GAAG,MAAM,CAAA;QAE1B,IAAI,IAAI,GAAG,EAAE,CAAA;QACb,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YACxD,IAAI,IAAI,OAAO,EAAE,CAAA;QACrB,CAAC;QAED,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,EAAE,aAAa,IAAI,YAAY,MAAM,EAAE,CAAC,CAAA;QACzF,CAAC;QAED,oBAAoB;QACpB,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,CAAA;QACzF,CAAC;QACD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,CAAA;QAC1F,CAAC;QAED,mBAAmB;QACnB,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;QACxB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,CAAA;QACvF,CAAC;QAED,SAAS;QACT,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,CAAA;IACxF,CAAC;IAED,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACxB,cAAc,EAAE,CAAA;QAChB,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM;YAAE,MAAK;QAE9B,MAAM,SAAS,GAAG,IAAI,CAAA;QACtB,MAAM,WAAW,GAAG,MAAM,CAAA;QAC1B,MAAM,IAAI,GAAG,IAAI,EAAE,CAAA;QAEnB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,EAAE,CAAA;YACT,MAAM,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,SAAS,CAAC,SAAS;gBACzB,KAAK,EAAE,GAAG;gBACV,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE,WAAW;aACtB,CAAC,CAAA;QACN,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACtB,OAAO,EAAE,CAAA;YACT,MAAM,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,SAAS,CAAC,UAAU;gBAC1B,KAAK,EAAE,GAAG;gBACV,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE,WAAW;aACtB,CAAC,CAAA;QACN,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAA;QAC7B,CAAC;aAAM,CAAC;YACJ,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAA;QAC3B,CAAC;IACL,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;IAC7D,OAAO,MAAM,CAAA;AACjB,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,52 @@
+/**
+ * S-Expression Types
+ *
+ * Core type definitions for the S-Expression evaluator.
+ */
+import type { SExpr } from './parser';
+/**
+ * Lambda function representation with closure support
+ */
+export interface LambdaFunction {
+    __lambda: true;
+    params: string[];
+    body: SExpr;
+    closure: Environment;
+}
+/**
+ * Runtime value types
+ */
+export type Value = string | number | boolean | null | ValueArray | ValueObject | LambdaFunction;
+export interface ValueArray extends Array<Value> {
+}
+export interface ValueObject extends Record<string, Value> {
+}
+/**
+ * Variable environment (lexical scope)
+ */
+export type Environment = Record<string, Value>;
+/**
+ * Evaluate function signature for recursive evaluation
+ */
+export type EvaluateFn = (expr: SExpr, env: Environment) => Value;
+/**
+ * Primitive function signature
+ * @param args - Evaluated arguments
+ * @param env - Current environment
+ * @param evaluate - Evaluate function for lazy evaluation needs
+ */
+export type PrimitiveFunction = (args: Value[], env: Environment, evaluate: EvaluateFn) => Value;
+/**
+ * Evaluator configuration options
+ */
+export interface EvaluatorOptions {
+    /** Custom primitive functions to add or override */
+    primitives?: Record<string, PrimitiveFunction>;
+    /** Maximum recursion depth (default: 100) */
+    maxDepth?: number;
+}
+/**
+ * Type guard for lambda functions
+ */
+export declare function isLambda(v: Value): v is LambdaFunction;
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AAErC;;GAEG;AACH,MAAM,WAAW,cAAc;IAC3B,QAAQ,EAAE,IAAI,CAAA;IACd,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,IAAI,EAAE,KAAK,CAAA;IACX,OAAO,EAAE,WAAW,CAAA;CACvB;AAED;;GAEG;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,UAAU,GAAG,WAAW,GAAG,cAAc,CAAA;AAEhG,MAAM,WAAW,UAAW,SAAQ,KAAK,CAAC,KAAK,CAAC;CAAG;AACnD,MAAM,WAAW,WAAY,SAAQ,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC;CAAG;AAE7D;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;AAE/C;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,KAAK,KAAK,CAAA;AAEjE;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,KAAK,KAAK,CAAA;AAEhG;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC7B,oDAAoD;IACpD,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;IAC9C,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,MAAM,CAAA;CACpB;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,cAAc,CAEtD"}

package/dist/types.js

@@ -0,0 +1,12 @@
+/**
+ * S-Expression Types
+ *
+ * Core type definitions for the S-Expression evaluator.
+ */
+/**
+ * Type guard for lambda functions
+ */
+export function isLambda(v) {
+    return v !== null && typeof v === 'object' && '__lambda' in v && v.__lambda === true;
+}
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAkDH;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAQ;IAC7B,OAAO,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAA;AACxF,CAAC"}

package/package.json

@@ -0,0 +1,40 @@
+{
+    "name": "seval.js",
+    "version": "1.0.0",
+    "description": "S-expression evaluator for TypeScript/JavaScript",
+    "type": "module",
+    "main": "./dist/index.js",
+    "module": "./dist/index.js",
+    "types": "./dist/index.d.ts",
+    "exports": {
+        ".": {
+            "import": "./dist/index.js",
+            "types": "./dist/index.d.ts"
+        }
+    },
+    "files": ["dist"],
+    "scripts": {
+        "build": "tsc",
+        "dev": "tsc --watch",
+        "test": "bun test",
+        "test:watch": "bun test --watch",
+        "test:coverage": "bun test --coverage",
+        "lint": "biome check .",
+        "lint:fix": "biome check --write .",
+        "format": "biome format --write .",
+        "format:check": "biome format --write . && git diff --exit-code",
+        "prepublishOnly": "bun run build"
+    },
+    "keywords": ["s-expression", "sexp", "lisp", "evaluator", "interpreter"],
+    "author": "cpunion",
+    "license": "MIT",
+    "repository": {
+        "type": "git",
+        "url": "https://github.com/cpunion/seval.js.git"
+    },
+    "devDependencies": {
+        "@biomejs/biome": "^1.9.4",
+        "@types/bun": "latest",
+        "typescript": "^5.7.2"
+    }
+}