YahuCode

The compiler does the lying for you.

$ cargo run -- examples/03_olive_branch.yahu

Two outputs ship from every source file: what happened, and what was broadcast. Both are in production. Only one of them compiles.

SIX IDEAS. SIX TRICKS.

01 — THE NAMING GATE

@operation("Bombing Campaign")

E-DISHONESTOPNAME

@operation("Olive Branch") ✓

You can't just bomb people. First you need a sick name for it. Only heroic names compile.

02 — THE EUPHEMIZER

murder(dissident)

↓ E(x)

accident_occur(protester)

Words go in ugly and come out employable. E is total. You cannot unspin.

03 — CLEARANCE TYPES

PUBLIC a quiet night.

סודי strike authorized at 02:14.

How much truth you get is a type. Yours is public. (Click the redacted line.)

04 — THE FACTSLIST

facts.delist(siege);

facts.get(12); // still here

Delisted is never deleted. Every entry stays reconstructible. The record keeps receipts.

05 — HASBARA BLOCKS

hasbara("self-defense") {

strike(target);

}

The grammar won't let you do a war crime without a caption. No act may exist before its excuse.

06 — THE UNIVERSAL CAST

(self_defense) airstrike

(self_defense) the_entire_war

One cast type-checks anything, at any magnitude. The compiler never once said no.

Watch it lie, live.

One source file. The compiler applies E to every verb and releases the official version.

03_olive_branch.yahu

SOURCE · WHAT YOU WROTE

1@operation("Olive Branch") {

2 murder(dissident);

3 bomb(residential_block);

4 ceasefire;

5 declare(casualties == 0);

OFFICIAL BUILD · WHAT SHIPPED

1@operation("Olive Branch") {

2 accident_occur(protester);

3 strike(military_adjacent_structure);

4 continue;

5 declare(casualties == 0);

the honest version of this file does not compile.

Ship the official build.

VIEW THE SOURCE ↗ LANGUAGE REFERENCE ↗