News for hackers. Stuff that matters.

A comment on Zig's Comptime Is Bonkers Good. Parent comment

Re:Zig's Comptime Is Bonkers Good by eptcyka on Tuesday January 07, 2025 @03:21AM (#42620460)
> Rust could be a much more ergonomic language if the compiler wouldn't have to rely on function signatures alone but instead could peek into called function bodies

This path leads to unbounded runtime for the type checker/borrow checker. We’re not happy about build times as is.

[ Parent | on HN ]
Re:Zig's Comptime Is Bonkers Good by littlestymaar on Tuesday January 07, 2025 @06:38AM (#42621435)
And also lead to subtle errors for users of crates. Semver is hard enough to do when the compiler only deals with signatures, but if the body of the functions now contain invariants that can be relied on by function callers then it becomes intractable.
[ Parent | on HN ]