Syntax & Types

📜 Syntax-&-Types.md

Inscription (Variables)

Variables are declared using the inscribe keyword. Types are optional but recommended for canonical correctness.

# Dynamic typing
inscribe x = 10;

# Explicit typing (Enforced at runtime)
inscribe name: Text = "Theophilus";
inscribe pi: HolyFloat = 3.14;
inscribe is_holy: Bool = Verily;

Amendment (Mutation)

Variables are mutable, but you must use the amend keyword to modify them.

amend x = x + 1;

The Data Types

Logos Type	Equivalent	Example
HolyInt	int	42, -10
HolyFloat	float	3.14, 0.0
Text	string	"Amen"
Bool	bool	Verily, Nay
Procession	list	[1, 2, 3]
Void	None	Void

Proclamation (Output)

Printing to the standard output is done via proclaim.

proclaim "The service begins.";
proclaim 10 + 20;

Supplication (Input)

Reading input from the user is done via supplicate.

inscribe name = supplicate "What is your name? ";

Transfiguration (Casting)

To change a value from one type to another.

inscribe str_val = "50";
inscribe int_val = transfigure str_val into HolyInt;