Skip to content

About this page: this page is editorial guidance written for this documentation site. It summarises and links to source material; it defines no language rules. The normative rules are in the Technical Specification.

Language Guide

The Language Guide explains KYLLO in tutorial form. It is not the normative specification — where a guide page simplifies a rule, the Technical Specification governs.

  • Syntax — structure, declaration rules, and restrictions.
  • Types — primitive, structured, and safety types.
  • Functions — contracts: inputs, outputs, preconditions, postconditions, effects, failures.
  • Modules — modules, interfaces, and dependencies.
  • Error Handling — explicit, typed failure handling with Result.
  • Concurrency — explicit parallel and asynchronous execution.
  • Permissions — side effects and authorization.
  • Common Mistakes — the mistakes the language is designed to catch.

Normative detail: Section 2: Type System, Section 3: Functions and Contracts, Section 4: Control Flow, Section 8: Modules, Section 9: Side Effects and Permissions, Section 10: Error Handling.