@ascent-lang/dev 0.1.0

package/README.md

@@ -0,0 +1,68 @@
+# Ascent: The Teaching Language
+
+> *Ascent is a programming language built to teach programming to complete beginners. The goal is to do it clearly, gently, and from the ground up.*
+
+## ⚠️ Experimental
+
+`@ascent-lang/dev` is an experimental package intended for rapid development and language exploration.
+
+During this phase, the language syntax, parser, interpreter, APIs, and project structure may change frequently between releases. Breaking changes may occur at any time, and version numbers should not be interpreted as indicators of API stability.
+
+This package is primarily intended for:
+- experimenting with new language features,
+- testing language design ideas,
+- early adopters interested in following development.
+
+Once the language and architecture mature, functionality will be split into dedicated packages such as `@ascent-lang/parser`, `@ascent-lang/interpreter`, and `@ascent-lang/core`, which will follow a more stable versioning and compatibility policy.
+
+Until then, expect frequent changes and be prepared to update your code when upgrading to newer releases.
+
+## Installation
+
+```bash
+npm install -g @ascent-lang/dev
+```
+
+Or run it once without installing:
+
+```bash
+npx @ascent-lang/dev path/to/program.asc
+```
+
+## Using the CLI
+
+Run a `.asc` file:
+
+```bash
+ascent program.asc
+```
+
+If the program declares `args`, pass them as flags:
+
+```bash
+ascent program.asc --name Ada --score 95
+```
+
+Start the interactive REPL by running `ascent` with no file:
+
+```bash
+ascent
+```
+
+## Using it as a library
+
+The individual pipeline stages are exported from the package entry point,
+so you can lex, parse, type-check, and interpret Ascent source from your own
+tooling:
+
+```js
+import { Lexer, Parser, typecheck, executeProgram, Environment } from '@ascent-lang/dev';
+
+const source = '1 + 2';
+const { tokens } = new Lexer(source).tokenize();
+const { program } = new Parser(tokens).parse();
+const { typedProgram } = typecheck(program);
+const result = executeProgram(typedProgram, new Environment());
+
+console.log(result); // { type: 'Int', value: 3n }
+```

package/dist/errors/index.d.ts

@@ -0,0 +1,4 @@
+import type { ErrorEntry } from './types.js';
+export declare const ERRORS: ErrorEntry[];
+export declare const byCode: Map<string, ErrorEntry>;
+//# sourceMappingURL=index.d.ts.map

package/dist/errors/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/errors/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAE7C,eAAO,MAAM,MAAM,EAAE,UAAU,EA+B9B,CAAC;AAEF,eAAO,MAAM,MAAM,yBAAwC,CAAC"}

package/dist/errors/index.js

@@ -0,0 +1,35 @@
+// AUTO-GENERATED — do not edit. Run `npm run generate` to update.
+export const ERRORS = [
+    { code: 'L0001', name: 'unexpected-character', category: 'lexical', summary: "A character that can't begin any token." },
+    { code: 'L0002', name: 'invalid-number-literal', category: 'lexical', summary: "A letter immediately followed a number — '123abc' is not a valid token." },
+    { code: 'L0003', name: 'unterminated-string', category: 'lexical', summary: "A string literal that doesn't end before the end of the line." },
+    { code: 'N0001', name: 'undefined-slot', category: 'name', summary: "A name was used that has not been declared with 'fix' or 'mut'." },
+    { code: 'N0002', name: 'reassign-fix', category: 'name', summary: "Assignment to a slot declared with 'fix' — 'fix' slots never change; declare it with 'mut' instead if it needs to." },
+    { code: 'S0001', name: 'unclosed-paren', category: 'syntactic', summary: "An opening '(' has no matching ')'." },
+    { code: 'S0002', name: 'expected-expression', category: 'syntactic', summary: "An expression was required here but the input contained none." },
+    { code: 'S0003', name: 'expected-slot-name', category: 'syntactic', summary: "A slot name (lowercase identifier) was expected after 'fix'." },
+    { code: 'S0004', name: 'expected-equals', category: 'syntactic', summary: "An '=' was expected after the slot name in a 'fix' declaration." },
+    { code: 'S0005', name: 'unclosed-brace', category: 'syntactic', summary: "An opening '{' has no matching '}'." },
+    { code: 'S0006', name: 'expected-test-paren', category: 'syntactic', summary: "An '(' was expected here to start the condition." },
+    { code: 'S0007', name: 'expected-block', category: 'syntactic', summary: "A block ('{ … }') was expected here." },
+    { code: 'S0008', name: 'chained-comparison', category: 'syntactic', summary: "Comparisons don't chain — 'a < b < c' isn't valid. Group with parentheses instead." },
+    { code: 'S0009', name: 'expected-colon', category: 'syntactic', summary: "A ':' was expected between the argument name and its type." },
+    { code: 'S0010', name: 'expected-type', category: 'syntactic', summary: "A type name was expected here. Valid types are Int, Float, Bool, String, and List<T>." },
+    { code: 'S0011', name: 'expected-semicolon', category: 'syntactic', summary: "A ';' was expected here." },
+    { code: 'S0012', name: 'expected-method-name', category: 'syntactic', summary: "A method name (lowercase identifier) was expected after '.'." },
+    { code: 'S0013', name: 'unclosed-bracket', category: 'syntactic', summary: "An opening '[' has no matching ']'." },
+    { code: 'T0001', name: 'annotation-mismatch', category: 'type', summary: "The declared type annotation doesn't match the inferred type of the initialiser." },
+    { code: 'T0002', name: 'incompatible-list-elements', category: 'type', summary: "List elements have incompatible types — a list must be homogeneous (all the same type, with Int widening to Float)." },
+    { code: 'T0003', name: 'empty-list-needs-annotation', category: 'type', summary: "An empty list '[]' has no element type. Annotate the variable: 'fix xs: List<Int> = []'." },
+    { code: 'T0004', name: 'condition-not-bool', category: 'type', summary: "The condition in 'if' or 'while' must be of type Bool." },
+    { code: 'T0005', name: 'if-branch-mismatch', category: 'type', summary: "The 'then' and 'else' branches of 'if' have incompatible types." },
+    { code: 'T0006', name: 'no-such-method', category: 'type', summary: "The type has no method with this name." },
+    { code: 'T0007', name: 'wrong-arg-count', category: 'type', summary: "Wrong number of arguments for this method or function call." },
+    { code: 'T0008', name: 'wrong-arg-type', category: 'type', summary: "An argument has the wrong type for this method or function call." },
+    { code: 'T0009', name: 'operator-type-error', category: 'type', summary: "An operator was applied to operands of incompatible types." },
+    { code: 'T0010', name: 'index-requires-list', category: 'type', summary: "The '[ ]' index operator requires a List, but the receiver has a different type." },
+    { code: 'T0011', name: 'index-not-int', category: 'type', summary: "List indices must be of type Int." },
+    { code: 'T0012', name: 'no-methods', category: 'type', summary: "This type has no methods." },
+];
+export const byCode = new Map(ERRORS.map(e => [e.code, e]));
+//# sourceMappingURL=index.js.map

package/dist/errors/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/errors/index.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAIlE,MAAM,CAAC,MAAM,MAAM,GAAiB;IAClC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,sBAAsB,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,yCAAyC,EAAE;IACxH,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,yEAAyE,EAAE;IAC1J,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,+DAA+D,EAAE;IAC7I,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,iEAAiE,EAAE;IACvI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,oHAAoH,EAAE;IACxL,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,qCAAqC,EAAE;IAChH,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,+DAA+D,EAAE;IAC/I,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,8DAA8D,EAAE;IAC7I,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,iEAAiE,EAAE;IAC7I,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,qCAAqC,EAAE;IAChH,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,kDAAkD,EAAE;IAClI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,sCAAsC,EAAE;IACjH,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,oFAAoF,EAAE;IACnK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,4DAA4D,EAAE;IACvI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,uFAAuF,EAAE;IACjK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,0BAA0B,EAAE;IACzG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,sBAAsB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,8DAA8D,EAAE;IAC/I,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,qCAAqC,EAAE;IAClH,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,kFAAkF,EAAE;IAC7J,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,4BAA4B,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,qHAAqH,EAAE;IACvM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,6BAA6B,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,0FAA0F,EAAE;IAC7K,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,wDAAwD,EAAE;IAClI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,iEAAiE,EAAE;IAC3I,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,wCAAwC,EAAE;IAC9G,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,6DAA6D,EAAE;IACpI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,kEAAkE,EAAE;IACxI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,4DAA4D,EAAE;IACvI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,kFAAkF,EAAE;IAC7J,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,mCAAmC,EAAE;IACxG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,2BAA2B,EAAE;CAC9F,CAAC;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/errors/types.d.ts

@@ -0,0 +1,9 @@
+export type Category = 'lexical' | 'syntactic' | 'name' | 'type' | 'runtime';
+export interface ErrorEntry {
+    code: string;
+    name: string;
+    category: Category;
+    summary: string;
+    retired?: boolean;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/errors/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/errors/types.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,QAAQ,GAAG,SAAS,GAAG,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;AAE7E,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB"}

package/dist/errors/types.js

@@ -0,0 +1,5 @@
+// Append-only registry of every diagnostic code emitted by this stage.
+// A code is permanent — never reused, never renumbered, never deleted.
+// To retire one, set retired: true and leave the row in the YAML.
+export {};
+//# sourceMappingURL=types.js.map

package/dist/errors/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/errors/types.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,uEAAuE;AACvE,kEAAkE"}

package/dist/index.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":""}

package/dist/index.js

@@ -0,0 +1,200 @@
+#!/usr/bin/env node
+import { createInterface } from 'node:readline/promises';
+import { readFile } from 'node:fs/promises';
+import chalk from 'chalk';
+import { Lexer } from './lexer/index.js';
+import { Parser } from './parser/index.js';
+import { typecheck } from './parser/typechecker.js';
+import { formatValue } from './parser/printer.js';
+import { formatTypedStmt } from './parser/typed-printer.js';
+import { executeStmt, executeProgram, Environment } from './interpreter.js';
+// \x01 and \x02 bracket invisible bytes so readline counts the visible
+// width of the prompt correctly — without them cursor positioning breaks.
+const PROMPT = `\x01${chalk.bold.green('>')}\x02 `;
+// Parses '--name value' pairs from argv into a name→raw-string map.
+const parseCliFlags = (argv) => {
+    const flags = new Map();
+    for (let i = 0; i < argv.length; i++) {
+        const arg = argv[i];
+        if (arg.startsWith('--')) {
+            const name = arg.slice(2);
+            const next = argv[i + 1];
+            if (next !== undefined && !next.startsWith('--')) {
+                flags.set(name, next);
+                i++;
+            }
+            else {
+                flags.set(name, 'true'); // bare flag → boolean
+            }
+        }
+    }
+    return flags;
+};
+// Converts raw CLI strings to RuntimeValues according to each ArgDef,
+// then declares them as fixed slots. Exits on missing or ill-typed args.
+const bindArgs = (argDefs, cliFlags, env) => {
+    for (const def of argDefs) {
+        const raw = cliFlags.get(def.name);
+        if (raw === undefined) {
+            process.stderr.write(`Missing argument: --${def.name} (${def.type})\n`);
+            process.exit(1);
+        }
+        let value;
+        switch (def.type) {
+            case 'Int': {
+                if (!/^-?\d+$/.test(raw)) {
+                    process.stderr.write(`--${def.name}: expected Int, got '${raw}'\n`);
+                    process.exit(1);
+                }
+                value = { type: 'Int', value: BigInt(raw) };
+                break;
+            }
+            case 'Float': {
+                const n = Number(raw);
+                if (isNaN(n)) {
+                    process.stderr.write(`--${def.name}: expected Float, got '${raw}'\n`);
+                    process.exit(1);
+                }
+                value = { type: 'Float', value: n };
+                break;
+            }
+            case 'Bool': {
+                if (raw !== 'true' && raw !== 'false') {
+                    process.stderr.write(`--${def.name}: expected Bool (true or false), got '${raw}'\n`);
+                    process.exit(1);
+                }
+                value = { type: 'Bool', value: raw === 'true' };
+                break;
+            }
+            case 'String': {
+                value = { type: 'String', value: raw };
+                break;
+            }
+        }
+        env.declare(def.name, value, false);
+    }
+};
+const runFile = async (filePath) => {
+    if (!filePath.endsWith('.asc')) {
+        process.stderr.write(`Expected a .asc file, got '${filePath}'\n`);
+        process.exit(1);
+    }
+    let src;
+    try {
+        src = await readFile(filePath, 'utf8');
+    }
+    catch {
+        process.stderr.write(`Cannot read file '${filePath}'\n`);
+        process.exit(1);
+    }
+    const lexResult = new Lexer(src).tokenize();
+    const parseResult = new Parser(lexResult.tokens).parse();
+    const errors = [...lexResult.errorMarkers, ...parseResult.errorMarkers];
+    if (errors.length > 0) {
+        for (const marker of errors) {
+            process.stderr.write(chalk.red(`[${marker.code}]`) + '\n');
+        }
+        process.exit(1);
+    }
+    if (parseResult.program === null)
+        return;
+    const typeResult = typecheck(parseResult.program);
+    if (typeResult.errorMarkers.length > 0) {
+        for (const marker of typeResult.errorMarkers) {
+            process.stderr.write(chalk.red(`[${marker.code}]`) + '\n');
+        }
+        process.exit(1);
+    }
+    const env = new Environment();
+    if (parseResult.program.args.length > 0) {
+        bindArgs(parseResult.program.args, parseCliFlags(process.argv.slice(3)), env);
+    }
+    try {
+        const result = executeProgram(typeResult.typedProgram, env);
+        if (result.type !== 'Done') {
+            process.stdout.write(formatValue(result) + '\n');
+        }
+    }
+    catch (e) {
+        process.stderr.write(chalk.red(String(e)) + '\n');
+        process.exit(1);
+    }
+};
+const runRepl = async () => {
+    process.stdout.write(chalk.bold.green('Ascent') + ' REPL\n');
+    const rl = createInterface({ input: process.stdin, output: process.stdout });
+    const env = new Environment();
+    try {
+        while (true) {
+            const line = await rl.question(PROMPT);
+            const lexResult = new Lexer(line).tokenize();
+            let markerIndex = 0;
+            const tokenParts = lexResult.tokens
+                .filter(tok => tok.kind !== 'EOF')
+                .map(tok => {
+                if (tok.kind === 'ERROR') {
+                    const code = lexResult.errorMarkers[markerIndex++]?.code ?? '?';
+                    return chalk.red(`[${code}]`);
+                }
+                return `[${chalk.cyan(tok.kind)} ${chalk.yellow(`"${tok.value}"`)}]`;
+            });
+            process.stdout.write(tokenParts.join(`  ${chalk.dim('·')}  `) + '\n');
+            const parseResult = new Parser(lexResult.tokens).parse();
+            // A non-null program no longer means error-free: panic-mode
+            // recovery can skip a malformed statement and still finish the
+            // parse, so errorMarkers — not program nullness — is what decides
+            // whether it's safe to typecheck/run.
+            if (parseResult.errorMarkers.length > 0) {
+                // Only show parser errors when the lexer succeeded — if the lexer
+                // already flagged something, the parser error is a downstream echo.
+                if (lexResult.errorMarkers.length === 0) {
+                    for (const marker of parseResult.errorMarkers) {
+                        process.stdout.write(chalk.red(`[${marker.code}]`) + '\n');
+                    }
+                }
+            }
+            else if (parseResult.program !== null) {
+                const typeResult = typecheck(parseResult.program);
+                const typeErrors = typeResult.errorMarkers;
+                if (typeErrors.length > 0) {
+                    for (const marker of typeErrors) {
+                        process.stdout.write(chalk.red(`[${marker.code}]`) + '\n');
+                    }
+                }
+                else {
+                    // Print the untyped parse tree; execute the typed AST.
+                    // The two arrays are guaranteed to be the same length when
+                    // typedProgram is non-null (every statement type-checked).
+                    const typedStmts = typeResult.typedProgram.stmts;
+                    for (let i = 0; i < typedStmts.length; i++) {
+                        process.stdout.write(formatTypedStmt(typedStmts[i]) + '\n');
+                        try {
+                            const result = executeStmt(typedStmts[i], env);
+                            process.stdout.write(chalk.dim('=> ') + formatValue(result) + '\n');
+                        }
+                        catch (e) {
+                            process.stdout.write(chalk.red(String(e)) + '\n');
+                        }
+                    }
+                }
+            }
+        }
+    }
+    catch {
+        // stdin closed (Ctrl+D)
+    }
+    finally {
+        rl.close();
+    }
+};
+const main = async () => {
+    const filePath = process.argv[2];
+    if (filePath !== undefined) {
+        await runFile(filePath);
+    }
+    else {
+        await runRepl();
+    }
+};
+main();
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,WAAW,EAAgB,MAAM,kBAAkB,CAAC;AAG1F,uEAAuE;AACvE,0EAA0E;AAC1E,MAAM,MAAM,GAAG,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;AAEnD,oEAAoE;AACpE,MAAM,aAAa,GAAG,CAAC,IAAc,EAAuB,EAAE;IAC5D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACrB,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACtB,CAAC,EAAE,CAAC;YACN,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,sBAAsB;YACjD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,sEAAsE;AACtE,yEAAyE;AACzE,MAAM,QAAQ,GAAG,CAAC,OAAiB,EAAE,QAA6B,EAAE,GAAgB,EAAQ,EAAE;IAC5F,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,uBAAuB,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC;YACxE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QAED,IAAI,KAAmB,CAAC;QACxB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACzB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,IAAI,wBAAwB,GAAG,KAAK,CAAC,CAAC;oBACpE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,CAAC;gBACD,KAAK,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5C,MAAM;YACR,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;gBACtB,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;oBACb,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,IAAI,0BAA0B,GAAG,KAAK,CAAC,CAAC;oBACtE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,CAAC;gBACD,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACpC,MAAM;YACR,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;oBACtC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,IAAI,yCAAyC,GAAG,KAAK,CAAC,CAAC;oBACrF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,CAAC;gBACD,KAAK,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,MAAM,EAAE,CAAC;gBAChD,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;gBACvC,MAAM;YACR,CAAC;QACH,CAAC;QAED,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,KAAK,EAAE,QAAgB,EAAiB,EAAE;IACxD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,8BAA8B,QAAQ,KAAK,CAAC,CAAC;QAClE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,QAAQ,KAAK,CAAC,CAAC;QACzD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5C,MAAM,WAAW,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;IAEzD,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC,YAAY,EAAE,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;YAC5B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,WAAW,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO;IAEzC,MAAM,UAAU,GAAG,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,UAAU,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;YAC7C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,WAAW,EAAE,CAAC;IAC9B,IAAI,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAChF,CAAC;IAED,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,YAAa,EAAE,GAAG,CAAC,CAAC;QAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QAClD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,KAAK,IAAmB,EAAE;IACxC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,SAAS,CAAC,CAAC;IAE7D,MAAM,EAAE,GAAG,eAAe,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7E,MAAM,GAAG,GAAG,IAAI,WAAW,EAAE,CAAC;IAE9B,IAAI,CAAC;QACH,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAEvC,MAAM,SAAS,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC7C,IAAI,WAAW,GAAG,CAAC,CAAC;YACpB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM;iBAChC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC;iBACjC,GAAG,CAAC,GAAG,CAAC,EAAE;gBACT,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBACzB,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC,EAAE,IAAI,IAAI,GAAG,CAAC;oBAChE,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;gBAChC,CAAC;gBACD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC;YACvE,CAAC,CAAC,CAAC;YAEL,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;YAEtE,MAAM,WAAW,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;YAEzD,4DAA4D;YAC5D,+DAA+D;YAC/D,kEAAkE;YAClE,sCAAsC;YACtC,IAAI,WAAW,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,kEAAkE;gBAClE,oEAAoE;gBACpE,IAAI,SAAS,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACxC,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,YAAY,EAAE,CAAC;wBAC9C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;oBAC7D,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,WAAW,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;gBACxC,MAAM,UAAU,GAAG,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;gBAClD,MAAM,UAAU,GAAG,UAAU,CAAC,YAAY,CAAC;gBAE3C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC1B,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;wBAChC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;oBAC7D,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,uDAAuD;oBACvD,2DAA2D;oBAC3D,2DAA2D;oBAC3D,MAAM,UAAU,GAAG,UAAU,CAAC,YAAa,CAAC,KAAK,CAAC;oBAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC3C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,GAAG,IAAI,CAAC,CAAC;wBAC7D,IAAI,CAAC;4BACH,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,CAAC;4BAChD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;wBACtE,CAAC;wBAAC,OAAO,CAAC,EAAE,CAAC;4BACX,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;wBACpD,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,wBAAwB;IAC1B,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,IAAI,GAAG,KAAK,IAAmB,EAAE;IACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC;SAAM,CAAC;QACN,MAAM,OAAO,EAAE,CAAC;IAClB,CAAC;AACH,CAAC,CAAC;AAEF,IAAI,EAAE,CAAC"}

package/dist/interpreter.d.ts

@@ -0,0 +1,35 @@
+import type { TypedExpr, TypedStatement, TypedProgram } from './parser/typed-ast.js';
+export type RuntimeValue = ({
+    type: 'Int';
+    value: bigint;
+} | {
+    type: 'Float';
+    value: number;
+} | {
+    type: 'Bool';
+    value: boolean;
+} | {
+    type: 'String';
+    value: string;
+} | {
+    type: 'List';
+    elements: RuntimeValue[];
+} | {
+    type: 'None';
+} | {
+    type: 'Done';
+});
+export type AssignResult = 'ok' | 'immutable' | 'undeclared';
+export declare class Environment {
+    private readonly parent;
+    private readonly vars;
+    constructor(parent?: Environment | null);
+    get(name: string): RuntimeValue | undefined;
+    declare(name: string, value: RuntimeValue, mutable: boolean): void;
+    assign(name: string, value: RuntimeValue): AssignResult;
+    child(): Environment;
+}
+export declare const evaluateExpr: (expr: TypedExpr, env: Environment) => RuntimeValue;
+export declare const executeStmt: (stmt: TypedStatement, env: Environment) => RuntimeValue;
+export declare const executeProgram: (program: TypedProgram, env: Environment) => RuntimeValue;
+//# sourceMappingURL=interpreter.d.ts.map

package/dist/interpreter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interpreter.d.ts","sourceRoot":"","sources":["../src/interpreter.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAc,cAAc,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAGjG,MAAM,MAAM,YAAY,GAAG,CACvB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,YAAY,EAAE,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CACnB,CAAC;AAIF,MAAM,MAAM,YAAY,GAAG,IAAI,GAAG,WAAW,GAAG,YAAY,CAAC;AAO7D,qBAAa,WAAW;IAGH,OAAO,CAAC,QAAQ,CAAC,MAAM;IAF1C,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA8B;gBAEf,MAAM,GAAE,WAAW,GAAG,IAAW;IAE9D,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS;IAI3C,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI;IASlE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,GAAG,YAAY;IAUvD,KAAK,IAAI,WAAW;CAG5B;AAYD,eAAO,MAAM,YAAY,GAAI,MAAM,SAAS,EAAE,KAAK,WAAW,KAAG,YAwEhE,CAAC;AAWF,eAAO,MAAM,WAAW,GAAI,MAAM,cAAc,EAAE,KAAK,WAAW,KAAG,YA8BpE,CAAC;AAkJF,eAAO,MAAM,cAAc,GAAI,SAAS,YAAY,EAAE,KAAK,WAAW,KAAG,YAMxE,CAAC"}