slowcache2 hours ago
I'm not really sure what niche this fills.
To me, the main draw looks to be the invariants that you can supply within functions, but this isn't a new concept outside of it being a dedicated keyword. Otherwise this looks like rust without all of the functionality
nm9806 minutes ago
It looks like a mix between zig and rust I would say
yesbutan hour ago
> You will notice the trust keyword here. Any operation (such as IO) that has an underlying unsafe mechanism (such as the @print builtin that std.stdio.print uses), must be explicitly trusted, as it is inherently impure.
just document the impure operations and stop forcing the programmer to type extra characters.
[deleted]2 hours agocollapsed