@okcontract/lambdascript 0.1.0

package/dist/types.d.ts

@@ -0,0 +1,113 @@
+import { NameConstant, NameLambda, NameList, NameObject, NameTuple, NameVariable } from "./ast";
+export declare const NameAny = "any";
+export type MonoType = (TypeVar | TypeConst | TypeFunction | TypeList | TypeObject | TypeGeneric | TypeConditional | TypeAny | TypeTuple) & {
+    /** optional label */
+    label?: string;
+    /** optional hint */
+    hint?: string;
+};
+export type TypeAny = {
+    kind: typeof NameAny;
+};
+export type TypeVar = {
+    kind: typeof NameVariable;
+    type: string;
+};
+export type TypeConst = {
+    kind: typeof NameConstant;
+    type: string;
+};
+export type TypeFunction = {
+    kind: typeof NameLambda;
+    argTypes: MonoType[];
+    /** type of variadic arguments */
+    argVariadic?: MonoType;
+    returnType: MonoType;
+};
+/**
+ * TypeFunction constructor.
+ * @param argTypes
+ * @param returnType
+ * @param argVariadic
+ * @returns
+ */
+export declare const typeFunction: (argTypes: MonoType[], returnType: MonoType, argVariadic?: MonoType) => TypeFunction;
+export type TypeList = {
+    kind: typeof NameList;
+    elementType: MonoType;
+    /** fixed-size list or tuples */
+    size?: number;
+    /** min length */
+    min?: number;
+    /** max length */
+    max?: number;
+};
+export declare const typeList: (elementType: MonoType) => TypeList;
+export type TypeTuple = {
+    kind: typeof NameTuple;
+    elementTypes: MonoType[];
+};
+export declare const newTypeTuple: (elementTypes: MonoType[]) => TypeTuple;
+export type TypeObject = {
+    kind: typeof NameObject;
+    fields: {
+        [key: string]: MonoType;
+    };
+    open: boolean;
+};
+/**
+ * TypeObject constructor.
+ * @param fields
+ * @param open
+ * @returns
+ */
+export declare const newTypeObject: (fields: {
+    [key: string]: MonoType;
+}, open?: boolean) => TypeObject;
+export declare const NameGeneric = "generic";
+export declare const NameConditional = "conditional";
+export declare const NameExtends = "extends";
+export type TypeGeneric = {
+    kind: typeof NameGeneric;
+    baseType: MonoType;
+    typeArgs: MonoType[];
+};
+export type TypeConditional = {
+    kind: typeof NameConditional;
+    check: TypeCheck;
+    trueType: MonoType;
+    falseType: MonoType;
+};
+export type TypeCheck = {
+    kind: typeof NameExtends;
+    left: MonoType;
+    right: MonoType;
+};
+export declare function newTypeVar(prefix: string): TypeVar;
+/**
+ * refreshTypeVars generates a mapping for a list of type variables.
+ * @param vars
+ * @param prefix
+ * @returns
+ */
+export declare const refreshTypeVars: (vars: string[], prefix: string) => {
+    [orig: string]: string;
+};
+export declare const refreshTypeVarsAlpha: (vars: string[]) => {
+    [orig: string]: string;
+};
+export declare function isTypeVar(type: MonoType): type is TypeVar;
+export declare const newTypeConst: (type: string) => TypeConst;
+export declare function isTypeConst(type: MonoType): type is TypeConst;
+export declare const typeAny: TypeAny;
+/**
+ * Substitutes type variables in a type. Substitution is not recursive (i.e. it
+ * is not applied on the result of the provided function).
+ *
+ * The function returns the same object if no substitution happened. This allows
+ * for fast equality comparisons.
+ *
+ * @param fn Map a type variable name to a type. Return undefined if the type
+ *  variable should not be substituted.
+ */
+export declare function mapType(fn: (varName: string) => MonoType | undefined, monoType: MonoType): MonoType;

package/dist/unify.d.ts

@@ -0,0 +1,8 @@
+import { type ASTNode } from "./ast";
+import { type MonoType } from "./types";
+export declare class TypeSubstitution {
+    private _current;
+    constructor();
+    _apply: (type: MonoType) => MonoType;
+    _unify: (type1: MonoType, type2: MonoType, typeVar?: string, node?: ASTNode) => void;
+}

package/dist/utils.d.ts

@@ -0,0 +1,13 @@
+/**
+ * length returns the length of a value.
+ * @param value any value (object, array, single value)
+ */
+export declare const length: (value: unknown) => number;
+/**
+ * plural returns a label with "s" if value length is more than 1.
+ * Also, display the number (unless _count_ set to false).
+ * @param label name of entity
+ * @param value any value
+ * @param showCount display count (true by default)
+ */
+export declare const plural: (label: string, value: unknown, showCount?: boolean) => string;

package/package.json

@@ -0,0 +1,59 @@
+{
+  "name": "@okcontract/lambdascript",
+  "description": "lambdascript is a reactive functional scripting language",
+  "private": false,
+  "version": "0.1.0",
+  "main": "dist/lambdascript.js",
+  "type": "module",
+  "exports": {
+    ".": {
+      "import": "./dist/lambdascript.js",
+      "require": "./dist/lambdascript.umd.cjs",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "files": [
+    "dist/",
+    "README.md",
+    "LICENSE"
+  ],
+  "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"
+  },
+  "dependencies": {
+    "@lezer/lr": "^1.4.2",
+    "@okcontract/cells": "^0.3.3",
+    "@okcontract/graph": "^0.1.5"
+  },
+  "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"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/okcontract/lambdascript.git"
+  },
+  "author": "Henri Binsztok",
+  "license": "Apache-2.0",
+  "bugs": {
+    "url": "https://github.com/okcontract/lambdascript/issues"
+  },
+  "homepage": "https://hbbio.github.io/lambdascript"
+}