A low-level general-purpose programming language that keeps its promises.
Kurt holds itself to a fixed set of principles. See ETHOS.
This specification defines the syntax, semantics, and translation model of the Kurt programming language. It is intended for use by implementers and by programmers.
It specifies:
— the form and interpretation of programmes written in Kurt;
— the semantic rules governing their execution;
— the constraints imposed by a conforming implementation.
It does not specify:
— any library or trait definition;
— the mechanism by which source text is obtained;
— the mechanism by which the opaque code produced by translation is combined into an executable image;
— the mechanism by which a translated programme is invoked;
— the capacity limits of any data-processing system.
These documents are encoded as UTF-8 over the Universal Coded Character Set (ISO/IEC 10646), formatted as text/markdown; variant=CommonMark (IETF RFC 7763, RFC 7764).
In this specification, shall is to be interpreted as a requirement on an implementation or on a programme; shall not as a prohibition. A conforming implementation shall accept and correctly translate any source unit whose syntax and semantics conform to this specification, and shall reject any source unit that violates a constraint described as a translation failure.
A conforming programme is a source unit that uses only the constructs defined in this specification and does not rely on implementation-defined behaviour.
This specification is licensed under 크리에이티브 커먼즈 저작자표시 4.0 국제 공중 라이선스 (CC BY 4.0), subject to the terms of 쿠어트 무결성 특약 1.0 (Addendum). Where the Addendum and CC BY 4.0 conflict, the Addendum prevails.
See LICENCE and LICENCE.ADDENDUM for the full text.