praxis-stdlib

The method catalog schema and the prelude for Praxis.

One source of truth for what built-in methods exist, what their types are, and how they lower — to a runtime symbol or to an intrinsic. The type checker, HIR lowering, the code generator, the documentation generator and the language server's completion all read this catalog, so none of them can come to hold a second opinion about what Vec.windows means.

That is a hard rule of the design rather than a convention, and it is why the schema carries everything all five consumers need in one entry: signature, purity, capability requirements, lowering, and the documentation text an editor shows on hover.

What it provides

• MethodCatalog, MethodEntry, MethodLowering, Purity — the schema.
• builtin_catalog — the built-in methods themselves.
• PRELUDE, BUILTIN_TYPES, NUMERIC_HELPERS, GRAPH_HELPERS, SIZED_CTORS — the names in scope before a program declares anything.
• TypePattern, ScalarType, CollectionCtor, Bound — the type vocabulary the catalog's signatures are written in, shared with praxis-typeck.
• completion_data — the catalog projected into what a language server offers.

Part of Praxis

Praxis is a small, statically typed, garbage-collected language for Advent of Code-style puzzles: the input parser is part of the language, types are inferred rather than written, and a program that falls over hands you its state instead of a stack trace.

To use the language, install praxis-cli — it provides the praxis binary. The repository has the book, the design document and the decision records.

This crate is one stage of that compiler, published so the pipeline is inspectable and so praxis-cli can be built from the registry. Its API tracks what the compiler needs and is not a stable platform for outside consumers.

Praxis was written with large language models against a human design. The repository's README says what that means for the license.

Licensed under either of Apache License 2.0 or the MIT license, at your option.