Die Fachbegriffe
hinter der Sprache.

password: argon2 · verify_password(raw, hash)

zahlen: Int[] = [1, 2, 3, 4]

assert(result == 42, "Berechnung fehlgeschlagen")

Source -> AST -> Verifier -> Executable

Option<T> · Result<T, E>

auth { model: User, password: argon2 }

{ temp = 10; print(temp) }

fn save() uses FileSystem, Database { ... }

crud Address { table addresses }

form { csrf; ... }

record User { id: UserId, name: String }

Int · Float · Bool · String · Decimal · Id

contract · requires · ensures

Web (UI) -> Business (Pure) -> Storage (DB)

for id in aufgabe_ids { print(id) }

form AddressForm { street: String min(3) }

user_id: Id fk(users.id)

fn add(a: Int, b: Int) -> Int { return a + b }

json_encode(data) · json_decode<User>(raw)

fn verify_solution() -> Bool { ... }

component Alert(msg: String) { div { msg } }

Language Server Protocol

zelyra db plan · zelyra db apply

mutable counter: Int = 0

ensures { result >= min && result <= max }

sql { SELECT * FROM users WHERE active = true }

type UserId = Id; type OrderId = Id;

"tok-comment">// Null-Pointer sind unmöglich!

avatar_url: String? = None

parallel { a = await task1(); b = await task2(); }

match opt { Some(v) => v, None => "Standard" }

text = read_text("export.csv")

zelyra check main.zyl · zelyra verify main.zyl

fn square(x: Int) -> Int { return x * x }

route POST /admin requires auth permits("admin")

Result<User, String> = Ok(user)

route GET /users -> list_users

capability Database { read, write }

while i < len invariant { i >= 0 } { ... }

slot: content

Specification > Compiler > Tests > Examples > Handbook

print(value) · len(array) · now()

table users { id: Id primary, email: String unique }

Vertrag -> Test -> Implementierung -> Refactoring

transaction { debit(from, amt); credit(to, amt); }

fn find(id: Id) -> User { return _ }

anzahl = 42  "tok-comment">// Automatisch Int

neu = append(liste, 42)

timestamp = now()  "tok-comment">// verlangt uses Clock

port = env("APP_PORT") "tok-comment">// Option<String>

fn save_csv() uses FileSystem { ... }

wuerfel = random_int(1, 6) "tok-comment">// uses Random

requires { limit > 0 && offset >= 0 }

name: String = "Zelyra"

Map { "de": 49, "at": 43, "ch": 41 }

zelyra new · zelyra check · zelyra run

zelyra fmt src/main.zyl

zelyra verify main.zyl

[package]
name = "myapp"
version = "0.1.0"

zelyra check src/main.zyl