13.5.0 · LOCAL OFFLINE SEALEDWINDOWS + GNU/LINUX SOFTWARE VERIFIEDREAL_BIOSTAR 13.5 NOT QUALIFIEDPROOF

DBYTE 13.5.0 · LANGUAGE DOCUMENTATION

DBYTE 13.5.0

Get the compiler running first. Then read what changed in 13.5: compile-time loops and pure functions. Every limit below comes from the tagged source and tests.

First steps

  1. Install the toolchain and verify the binary version and self-hosted lexer.
  2. Learn the core language: types, declarations, functions, control flow, imports and standard-library basics.
  3. Use compile-time execution: bounded loops and pure functions, with exact limits and diagnostics.
  4. Browse the full manual for the VM, native compiler, ABI and previous documented versions.

Try the code

From examples/ctfe_pure_fn_v135.dby. A compile-time function calculates a value used to produce a native runtime entry point:

comptime {
    fn factorial(n: int) -> int:
        if n <= 1:
            return 1
        else:
            return n * factorial(n - 1)
    let answer: int = factorial(4) + 18
    emit_source("pub fn answer() -> i32:\n    return " + str(answer) + "\n")
}

pub fn main() -> i32:
    return answer()

For this verified fixture, the resulting executable returns 42. See language restrictions and verification cases.

What ships, what does not

The packages contain the dbyte CLI, native compiler dbytec, assembler dbtasm and a verified DByte-written frontend sidecar. Kernel Lab and DByteOS components are experimental and are not a finished full operating system.

Windows/Linux software gates passed. Physical BIOSTAR qualification for 13.5.0 has not been performed; the 13.2.0 hardware record is historical and separate. Read the version 13.5 release evidence.

Inherited features and new grammar

The mandatory 13.3 lexer and 13.4 source emitter remain separate from the new 13.5 bounded for/range and local pure function grammar. 13.4.1 is the intervening maintenance release.