Show HN: ROX – a minimal language with explicit errors and no magic(roxlang.com)
roxlang.com
Show HN: ROX – a minimal language with explicit errors and no magic
https://roxlang.com/playground.html
4 comments
agreed that we should only allow unpacking the value of a rox_result[T] in a safe branch.
Looks like a decent start. No UDTs? Not on GitHub? AI generated?
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!