Clarity is the smart contract language for the Stacks blockchain. It is interpreted and non-Turing complete, which means it forbids loops and recursion to ensure that all execution paths are finite and predictable.
clarity (define-public (hello-world) (ok "Hello, Stacks!"))
This predictability is known as 'decidability', allowing developers and nodes to know the exact execution cost and outcome before broadcasting.