Welcome to the Prady Handbook. This guide walks you through the fundamental building blocks of the language from start to finish.
Variables & Immutability
By default in Prady, variables declared with let are immutable. Once assigned, their values cannot be reassigned. This helps prevent accidental side effects and concurrency bugs.
let port = 8080;
// port = 3000; // Compile Error: Cannot reassign immutable variable 'port'If you need a variable that can be updated over time, use the mut modifier:
let mut counter = 0;
counter = counter + 1;
print("Counter: " + counter); // 1Constants
For compile-time fixed constants, use the const keyword. Constants must be initialized with literal expressions or pure constant evaluatable values:
const MAX_BUFFER_SIZE = 4096;
const API_VERSION = "v1.0.0";Type Inference & Explicit Annotations
Prady features robust structural type inference. In most cases, you do not need to explicitly declare the type of a variable:
let name = "Prady"; // Inferred as String
let version = 1; // Inferred as Int
let isOptimized = true; // Inferred as BoolHowever, explicit type annotations are fully supported whenever clarity is desired:
let timeoutMs: Int = 5000;
let ratio: Float = 0.75;
let buffer: List<Int> = [10, 20, 30];Scoping & Shadowing
Prady uses lexical block scoping defined by curly braces {}. Variables declared inside a block are dropped when execution exits the block:
let x = 10;
{
let x = 20; // Shadows the outer 'x' within this block
print("Inner x: " + x); // 20
}
print("Outer x: " + x); // 10Comments
Prady supports single-line and multi-line comments:
// This is a single-line comment
/*
* This is a multi-line
* block comment.
*/Next Step: Everyday Types
Continue to Everyday Types to learn about numbers, characters, strings, structural collections, and algebraic error types.