Interview with Mitchell Hashimoto about Ghostty and Zig

Re:Interview with Mitchell Hashimoto about Ghostty and Zig by cmrdporcupine on Friday July 10, 2026 @02:52PM (#48863743)

The borrow checker in Rust is frankly novel. Cyclone had something somewhat similar, but not the same.

The broader ML-like type system in Rust is not novel, but the integration of the borrow checker -- and its move semantics more broadly -- with it... that form honestly is an innovation. And one I'd have a hard time living without at this point.

[ Parent | on HN ]

Re:Interview with Mitchell Hashimoto about Ghostty and Zig by whytevuhuni on Friday July 10, 2026 @03:49PM (#48864376)

And also one I'd like to see in more languages! Especially a simpler one, closer to C.

[ Parent | on HN ]

Re:Interview with Mitchell Hashimoto about Ghostty and Zig by cmrdporcupine on Friday July 10, 2026 @03:54PM (#48864429)

Cyclone would be the closest to that I guess. RIP.

[ Parent | on HN ]

Re:Interview with Mitchell Hashimoto about Ghostty and Zig by vkazanov on Friday July 10, 2026 @05:13PM (#48865354)

True! the borrow checker is a special thing. This is what i mean when i say "explicit data flow analysis".

In a way this is compiler internals exposed to a programmer.

[ Parent | on HN ]