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.

Philosophy¶

KYLLO's core philosophy, from the introduction:

A program should not be considered correct simply because it compiles or runs. It should be checked against its intended behavior, and anything that cannot be verified should be identified as unverified rather than assumed correct.

The primary goal is a language in which AI agents can build software with fewer mistakes because correctness is built into the language itself, rather than left entirely to the agent's judgment.

See also: Design principles and the normative Technical Specification.