@okcontract/lambdascript 0.1.0 → 0.2.0

package/dist/program.d.ts

@@ -1,6 +1,6 @@
-import type { ASTNode } from "./ast";
-import type { Environment } from "./env";
-import { type ParseOptions } from "./parse";
+import type { ASTNode } from "./ast.js";
+import type { Environment } from "./env.js";
+import { type ProgramComponent as ParsedProgramComponent, type ParseOptions } from "./parse.js";
 export declare enum EvalOption {
     NoFail = "noFail",// modified from lowercase
     LocalEvaluation = "local",
@@ -12,6 +12,10 @@ export declare enum EvalOption {
 type ProgramOptions = {
     parseOptions?: ParseOptions;
 };
+export type Binding = {
+    name: string;
+    expr: ASTNode;
+};
 /**
  * Program defines a lambdascript program.
  * @usage await new Program().set([defs...])
@@ -21,6 +25,7 @@ export declare class Program {
     _defs: {
         [key: string]: ASTNode;
     };
+    _components: ParsedProgramComponent[];
     _options: ProgramOptions;
     /**
      *
@@ -32,7 +37,7 @@ export declare class Program {
     private _resetProgram;
     /** add a definition to the program, updating the graph */
     private _addDef;
-    set: (...l: string[]) => Promise<Program>;
+    set: (...segments: string[]) => Promise<Program>;
     get: (key: string) => ASTNode | undefined;
     /**
      * order_program returns the order of evaluation for a program.
@@ -69,9 +74,9 @@ export declare class Program {
      * @param l list of definitions in the form "name:expr"
      * @returns Program (may throw error)
      */
-    parseProgram: (l: string[]) => Promise<{
-        [key: string]: ASTNode;
-    }>;
+    private parseProgramSegments;
     get expressions(): string[];
+    get bindings(): readonly Binding[];
+    get components(): readonly ParsedProgramComponent[];
 }
 export {};

package/dist/rational.d.ts

@@ -21,6 +21,7 @@ export declare class Rational {
     toString: () => string;
     get toPrettyString(): string;
     toBigInt: () => bigint;
+    toHex: () => `0x${string}`;
     toNumber: () => number;
     add: (b: Rational) => Rational;
     subtract: (b: Rational) => Rational;
@@ -29,7 +30,7 @@ export declare class Rational {
     power: (b: Rational) => Rational;
     min: (...args: Rational[]) => Rational;
     max: (...args: Rational[]) => Rational;
-    compare: (op: string, b: Rational) => boolean;
+    compare: (op: "<" | ">" | "<=" | ">=" | "==" | "!=", b: Rational) => boolean;
     equals: (b: Rational) => boolean;
     floor: () => Rational;
 }
@@ -71,3 +72,4 @@ export declare function compareRationalNumbers([aNum, aDenom, aNeg]: RationalNum
 export declare function min(v: RationalNumber, ...args: RationalNumber[]): RationalNumber;
 export declare function max(v: RationalNumber, ...args: RationalNumber[]): RationalNumber;
 export declare const zero: Rational;
+export declare const isRational: (v: unknown) => v is Rational;

package/dist/singleEval.d.ts

@@ -0,0 +1,9 @@
+import { type ASTNode } from "./ast.js";
+import type { Environment } from "./env.js";
+import type { Value } from "./eval.js";
+/**
+ * Evaluate an AST as a single cell by mapping once over all used
+ * environment values and library functions, then computing the value
+ * inside the mapping closure.
+ */
+export declare const evaluateASTSingle: (env: Environment) => (node: ASTNode) => Value<unknown>;

package/dist/stdlib.d.ts

@@ -1,7 +1,7 @@
 import { type SheetProxy } from "@okcontract/cells";
-import type { Value } from "./eval";
-import type { TypeScheme } from "./typeScheme";
-import { type MonoType, type TypeConst } from "./types";
+import type { Value } from "./eval.js";
+import type { TypeScheme } from "./typeScheme.js";
+import { type MonoType, type TypeConst } from "./types.js";
 export declare const typeNumber: TypeConst;
 export declare const typeString: TypeConst;
 export declare const typeBoolean: TypeConst;

package/dist/traverse.d.ts

@@ -1,4 +1,4 @@
-import { type ASTNode } from "./ast";
+import { type ASTNode } from "./ast.js";
 /**
  * traverseAST traverses the AST.
  * @param node

package/dist/typeScheme.d.ts

@@ -1,4 +1,4 @@
-import { type MonoType } from "./types";
+import { type MonoType } from "./types.js";
 export type TypeScheme = {
     vars: string[];
     type: MonoType;

package/dist/types.d.ts

@@ -1,4 +1,4 @@
-import { NameConstant, NameLambda, NameList, NameObject, NameTuple, NameVariable } from "./ast";
+import { NameConstant, NameLambda, NameList, NameObject, NameTuple, NameVariable } from "./ast.js";
 export declare const NameAny = "any";
 export type MonoType = (TypeVar | TypeConst | TypeFunction | TypeList | TypeObject | TypeGeneric | TypeConditional | TypeAny | TypeTuple) & {
     /** optional label */

package/dist/unify.d.ts

@@ -1,5 +1,5 @@
-import { type ASTNode } from "./ast";
-import { type MonoType } from "./types";
+import { type ASTNode } from "./ast.js";
+import { type MonoType } from "./types.js";
 export declare class TypeSubstitution {
     private _current;
     constructor();

package/package.json

@@ -1,50 +1,46 @@
 {
   "name": "@okcontract/lambdascript",
-  "description": "lambdascript is a reactive functional scripting language",
+  "description": "A reactive functional scripting language",
   "private": false,
-  "version": "0.1.0",
-  "main": "dist/lambdascript.js",
+  "version": "0.2.0",
+  "main": "./dist/lambdascript.umd.cjs",
+  "module": "./dist/lambdascript.js",
   "type": "module",
+  "packageManager": "bun@1.3.14",
+  "types": "./dist/index.d.ts",
   "exports": {
     ".": {
+      "types": "./dist/index.d.ts",
       "import": "./dist/lambdascript.js",
-      "require": "./dist/lambdascript.umd.cjs",
-      "types": "./dist/index.d.ts"
+      "require": "./dist/lambdascript.umd.cjs"
     }
   },
   "files": [
     "dist/",
     "README.md",
-    "LICENSE"
+    "LICENSE.copying"
   ],
   "devDependencies": {
-    "@biomejs/biome": "^1.8.3",
     "@lezer/generator": "^1.6.0",
-    "@types/node": "^22.5.4",
-    "@vitest/coverage-v8": "^2.0.5",
-    "happy-dom": "^15.7.3",
-    "immer": "^10.0.3",
-    "terser": "^5.31.6",
-    "typescript": "^5.5.4",
-    "vite": "^5.2.11",
-    "vitest": "^2.0.5"
+    "typescript": "^5.5.4"
   },
   "dependencies": {
+    "@lezer/common": "^1.5.2",
     "@lezer/lr": "^1.4.2",
-    "@okcontract/cells": "^0.3.3",
-    "@okcontract/graph": "^0.1.5"
+    "@okcontract/cells": "^0.4.0",
+    "@okcontract/graph": "^0.2.0"
   },
   "scripts": {
     "clean": "rm -rf dist",
     "grammar": "lezer-generator src/parser/λs.grammar -o src/parser/λs.js",
-    "build": "npm run format && vite build",
-    "test": "vitest run",
-    "coverage": "vitest run --coverage",
-    "definitions": "tsc --project tsconfig.build.json",
-    "prepublishOnly": "npm test && npm run build && npm run check && npm run definitions",
-    "check": "npx @biomejs/biome check src",
-    "format": "npx @biomejs/biome format src --write && npx @biomejs/biome check src --write",
-    "formatReadme": "prettier README.md --prose-wrap always --print-width 78 -w"
+    "build": "bun run clean && bun run grammar && bun run format && bun build src/index.ts --outfile dist/lambdascript.js --target browser --format esm --packages external --minify && bun build src/index.ts --outfile dist/lambdascript.umd.cjs --target browser --format cjs --packages external --minify",
+    "test": "bun test --parallel",
+    "test:package": "bun scripts/package-smoke.ts",
+    "coverage": "bun test --coverage --coverage-reporter=lcov",
+    "definitions": "tsc --project tsconfig.build.json && bun scripts/fix-declaration-imports.ts",
+    "prepublishOnly": "bun run build && bun run test:package && bun run test && bun run check && bun run definitions",
+    "check": "biome check src scripts",
+    "format": "biome check src scripts --write"
   },
   "repository": {
     "type": "git",
@@ -52,8 +48,11 @@
   },
   "author": "Henri Binsztok",
   "license": "Apache-2.0",
+  "publishConfig": {
+    "access": "public"
+  },
   "bugs": {
     "url": "https://github.com/okcontract/lambdascript/issues"
   },
-  "homepage": "https://hbbio.github.io/lambdascript"
-}
+  "homepage": "https://github.com/okcontract/lambdascript#readme"
+}