इस प्रोजेक्ट के बारे में

Promise is a statically-typed programming language designed for AI-agent efficiency and written by AI agents. Key features include explicit ownership, goroutine-style concurrency, algebraic error handling, generics, and exhaustive pattern matching. It compiles natively to LLVM for Linux, macOS, Windows, and WASM. **Key Features:** - Ownership & borrowing with `&` (shared), `~` (mutable), and `*` (raw pointers) - Algebraic error handling via `!`, `?^`, `?!`, and pattern-matched handlers - Generics with type constraints - Enums with data and exhaustive pattern matching - String interpolation and goroutine-style concurrency (`go expr` returns `Task[T]`) - Generators with `yield` and `yield*` - Meta annotations for declarative metadata - No macros or conditional compilation — all code fully visible **Mono-versioned catalog:** The ecosystem ships as atomic "epoch" releases (e.g., `2026.0`). No per-package versions or lockfiles. Every module is tested together as a unit. **Standard library modules implemented:** `io`, `json`, `os`, `net`, `tls`, `path`, `math`, `strings`, `time`, `http`, `gzip`, `crypto`, `encoding`. Planned: `ai`, `auth`, `cloud`, `markdown`, `mcp`, `msgpack`, `sandbox`, `schema`, `term`, `toml`, `yaml`. **Self-contained toolchain:** The compiler is a single binary (~15MB) that bundles the standard library, catalog modules, and runtime. It sets up its own LLVM 22 toolchain under `~/.promise`. **Native LLVM compilation** targets Linux, macOS, Windows, and WASM. **Usage:** ```sh promise build file.pr # compile to executable promise run file.pr # compile and run promise exec 'code' # inline execution promise test file.pr # run tests promise check file.pr # type-check only ``` **Building from source** requires Go 1.22+, Java (for ANTLR4), clang, and LLVM 22+. Promise is built using Bounded-Autonomy Software Engineering (BASE), a methodology where humans define durable intent and quality gates while AI agents handle implementation. As of August 2026, the project includes 18,869 tests across the compiler and language. **Status:** Under active development, not for production use. The compiler is functional end-to-end but expect rough edges and crashes. **License:** Apache-2.0 or MIT.