Braid Language Specification

Overview of Braid's design philosophy, key features, and hello world examples.

Build the braidc compiler from source using CMake and GCC.

Get up and running with your first Braid program in minutes.

A guided tour through Braid's syntax, types, and core features.

Comments, identifiers, keywords, literals, and token rules.

Primitive types, compound types, tensors, diameters, and type inference.

Immutable bindings, type annotations, reassignment, and scope.

Arithmetic, comparison, logical, pipe, and string operators.

Assignments, blocks, print, and expression statements.

if/else, while loops, match expressions with pattern matching.

Declarations, closures, recursion, extern and native functions.

impl blocks, self parameter, method syntax, and constructors.

Trait definitions, implementations, and interface contracts.

Generic types, type parameters, and bounded polymorphism.

Module paths, imports, exports, and file resolution.

Package configuration, dependencies, and version management.

@autograd, @layer, @param, and custom attributes.

Nil returns, error propagation, and safe patterns.

Threads, channels, spawn blocks, and parallel execution.

Async functions, await expressions, and the async runtime.

ARC, cycle detection, reference counting, and heap allocation.

extern fn C linkage, native fn runtime bindings, and C interop.

Runtime code generation with std.compiler and eval patterns.

io, math, time, async, dts, and compiler modules.

Lexer, parser, AST, IR, and codegen pipeline stages.

CMake build configuration, targets, and build flags.

braidc commands for parsing, building, running, and testing.

braid.toml config file, compiler options, and targets.

Error codes, warnings, and compiler diagnostic messages.

Supercompilation, polyhedral optimization, and performance.

Memory safety, sandboxing, and security guarantees.

N-dimensional tensors, dtypes, slicing, and device transfer.

Matrix multiplication, element-wise ops, reductions, and broadcasting.

Linear layers, convolutions, attention, and activation functions.

Model definitions, optimizers, learning rate schedulers, and training loops.

Pre-built ML utilities, data loaders, and evaluation metrics.

Full-stack framework for routing, middleware, storage, and deployment.

URL routing, parameters, nested routes, and route guards.

Virtual DOM components, lifecycle, and stateful widgets.

Styling system with themes, responsive design, and animations.

Client-side routing with transitions and prefetching.

State management with reducers, selectors, and subscriptions.

Complete API reference for all standard library modules.

Distinction Tree Storage — O(1) knowledge graph operations.

Dialectical reasoning patterns and predefined decision templates.

Package registry, versioning, and dependency management.