Disclaimer In this post, I assume: You know a little bit about Rust. You know a little bit about Zig. I'll be using my own syntax to express ideas from both of these languages. Why "types are just values" doesn't work As programmers, we like it when our programs run well. Type systems are there to help us with that. They track the types of values in our programs before we run them, which not only saves us from runtime crashes but enforces guidelines for writing good code. Normally, type syntax (...