Prady is a statically-typed programming language engineered for mission-critical architectural systems. It gives engineers the safety and speed of modern systems languages alongside the simplicity and ergonomics of TypeScript.
Getting Started
If you're new to Prady, start here to install the compiler and write your first program.
An introduction to Prady, key architectural principles, and the LLVM native compiler model.
How to install Prady on Windows, macOS, or Linux via binary archives or terminal scripts.
Create your first .pr source file, run it in development, and build a standalone binary.
The Handbook
Comprehensive, narrative guides designed to be read start-to-finish to master the language.
Variables, mutability, lexical scoping, type annotations, and core syntax ergonomics.
Numeric types, Boolean logic, Strings, Optionals, and modern composite structures.
Master conditional logic, loops (while, for, foreach..in), and exhaustive switch statements.
First-class functions, closures, functional pipelines (filter, map, reduce), and arrow syntax.
Enforce modular system boundaries with architecture, layer, and cannot import rules.
Language Reference
Detailed technical specifications, keyword tables, and complete API references for built-in types.
Exhaustive table of all 32 reserved keywords, operators, annotations, and precedence.
Detailed specs for Int8..Int64, UInt, Float32/64, String, Char, Bool, Unit, and Never.
RedBlackTree, AVLTree, Trie, LRU/LFU Cache, Min/MaxHeap, DisjointSet, SegmentTree, and more.
Core I/O, file system operations, math utilities, and system process APIs.
Tooling & IDE
Official developer tools that guarantee high productivity and rapid feedback cycles.