Language Overview
The language surface has outgrown a single “basics” page. Use this page as the entry point into the deeper language guides.
What Kelvra already supports
Section titled “What Kelvra already supports”- signed and unsigned integer types,
usize, andf32/f64 - booleans
null- strings
- grouping expressions
varandconstbindings with local inference- assignment, compound assignment,
++, and-- if,while, classicfor, foreach,break,continue, and labeled loops- arrays, sets, and dictionaries
- named functions, lambdas, recursion, and closures
type ... struct, aliases, methods,this, inheritance, andsuper- source modules and native packages through
@import(...) - nullable types with
? - explicit casts with
asand theanyinterop type
Read by topic
Section titled “Read by topic”- Values and Bindings for expressions, locals, inference, and assignment.
- Built-in Types and Casts for scalar
types, numeric suffixes,
as, andany. - Control Flow for loops, labels, and foreach.
- Collections for arrays, sets, dictionaries, indexing, and iteration.
- Functions and Closures for function types, lambdas, and captured locals.
- Types and Inheritance for structs,
methods, aliases,
this, andsuper. - Modules and Imports for source files, named imports, aliases, and package-vs-source resolution.
- Nullability and Type Checking for optional types and the current error model.
Cross-links
Section titled “Cross-links”The syntax edge cases live in Syntax Rules. Runtime helpers live in Built-in Functions.