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.
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!