Reference Index

Pudu Language Reference

This index names the chapter that owns each language area. The chapters state semantics and show complete forms; this page is for navigation, not a second specification.

Status: current dev implementation. “Interpreter” means the checked program executes through the Pudu evaluator. Native output is not implemented.

Surface	Shape	Status	Detail
Module	module App.Main	Check and interpreter	Modules And Imports
Import	import Std.Text as Text	Check and interpreter	Modules And Imports
Selective import	import Std.Option {map, unwrapOr}	Check and interpreter	Modules And Imports
Immutable binding	let name = value	Check and interpreter	Values Bindings And Blocks
Mutable binding	var count = 0	Check and interpreter	Values Bindings And Blocks
Refutable binding	let Some(x) = value else { return 0 }	Check and interpreter	Pattern Language
Function	fn add(a: Int, b: Int) -> Int	Check and interpreter	Functions Generics And Traits
Async function	async fn load() -> Result[Str, Str]	Check and interpreter	Tasks And Scopes
Function value	fn(Int) -> Int	Check and interpreter	Types And Inference
Record	type Point = { x: Int, y: Int }	Check and interpreter	Records Sums And Tuples
Sum type	`type Shape = Circle(Int)	Empty`	Check and interpreter
Generic declaration	type Box[T] = { value: T }	Check and interpreter	Functions Generics And Traits
Parameter of higher kind	trait Mappable[F[_]]	Check and interpreter	Functions Generics And Traits
Trait and implementation	impl Show for Item	Check and interpreter	Functions Generics And Traits
Dynamic trait value	dynamic Trait	Check and interpreter	Functions Generics And Traits
Match	match value { case ... }	Exhaustiveness check and interpreter	Pattern Language
Pattern condition	if let Some(x) = value	Check and interpreter	Control Flow And Patterns
Pattern loop	while let Some(x) = next()	Check and interpreter	Iteration And Loops
Failure propagation	operation()?	Result and Option	Failure And Propagation
Iteration	for item in value	Built-ins and Std.Iter.Sequence	Iteration And Loops
Set literal	#{1, 2, 3}	Check and interpreter	Sets Maps And Sequences
Set membership	value in members	Check and interpreter	Sets Maps And Sequences
Purpose-specific map	SortedMap.SortedMap[K, V]	Standard library and interpreter	Keyed Structures
Recursive tree	Tree.Tree[T]	Standard library and interpreter	Trees And Hierarchies
Exact decimal	1.50d	Check and interpreter	Numbers And Collections
Compile-time function	comptime fn	Restricted evaluator	Compile-Time Evaluation
Typed macro	macro name(x: expr)	Hygienic expansion	Typed Macros
Unsafe capability region	unsafe(raw) { ... }	Capability checking; FFI syntax incomplete	References And Unsafe
Formatter	pudu fmt --check	Implemented	Diagnostics And Formatting
Output configuration	Out.Printer	Standard library and interpreter	Output Formatting And Testing
Value formatting	Fmt.Spec	Standard library and interpreter	Output Formatting And Testing
Test suite	Test.Suite	Standard library and interpreter	Output Formatting And Testing
Language server	pudu lsp	Implemented narrow LSP	Language Server And VS Code
Native backend	—	Not implemented	Implementation Status
Package manager	—	Not implemented	Implementation Status

Authoritative sources

• Pudu grammar
• Semantic system
• Compiler tests
• End-to-end fixtures