3 ms·
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 o
by slowcache 5mo 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
- nm980 5mo agoIt looks like a mix between zig and rust I would say
- asdkop 5mo agoI'm not really sure what your point is. "Rust without all of the functionality" is sort of a ridiculous thing to say given the goals of the two projects are completely different. You can't really apply DbC in Rust, and Rust makes it difficult to iterate upon ideas due to its rigid borrow checker.
- imtringued 5mo agoDoesn't Rust have anodized? The usability is poor and I dislike stacking an endless quantity of function attribute markers, but if a library can replace your language, your priorities are wrong. https://crates.io/crates/anodized https://crates.io/crates/anodized
- asdkop 5mo ago...I really don't think stacking an insane amount of attribute markers will replace any dedicated programming language aiming to solve the issue. I would rather use Eiffel than use Rust like that.