Domain constraints belong in the type system, not in validation code written after the fact.

Gengo is a small embeddable scripting engine. You write the host application. Your users write Gengo scripts. The engine runs those scripts in a controlled environment — isolated instances, configurable instruction budgets, explicit capability grants, and typed host function bindings.

Engine · Playground