Promising! I like the tidy design. I think the "Control" menu is missing one explaination about how can one return a rox_result[T].

Also I tried to remove the error check ("if (isOk(res))"), and the compiler did not complained. You might 1. want to add a "match" operator to force handling errors and/or 2. tell the compiler to check for this unhandled error handling (your app may crash otherwise).

I thought/brainstormed on 100% type safe language syntax a while ago, and for this reason I decided to only allow "repeat" for loops and "match" for conditionals.

Keep up the good work!

Looks like a decent start. No UDTs? Not on GitHub? AI generated?