Language Guide

Language Guide

A guided walkthrough of the current Kira language surface, from entrypoints and operators to constructs, FFI, and execution.

The Language Guide explains Kira in reading order.

Use it when you want to understand how the language fits together rather than look up one rule in isolation.

What the Guide Assumes

This guide stays grounded in repo-proven source material:

  • runnable examples such as examples/hello, examples/arithmetic, and examples/imports_demo
  • check-only construct coverage such as examples/complex_language_showcase
  • corpus cases that prove both successful and failing behavior

What It Emphasizes

Every chapter keeps the same distinction in view:

  • what the frontend parses
  • what semantics validates
  • what the current backends run

When a feature crosses those boundaries, the chapter calls it out explicitly.

Chapters

  1. The Basics
  2. Basic Operators
  3. Strings and Characters
  4. Collection Types
  5. Control Flow
  6. Functions
  7. Structures and Types
  8. Properties
  9. Methods
  10. Annotations
  11. Constructs
  12. Interop and FFI
  13. Execution Model
  14. Memory and Safety

A Kira Tour

A compact pass through entrypoints, imports, types, constructs, and execution annotations using repo-proven syntax.

The Basics

Source files, comments, entrypoints, declarations, local bindings, and the broad shape of Kira code.

On this page

What the Guide AssumesWhat It EmphasizesChapters