Comment by IshKebab
3 months ago
I guess comptime is a little different but yeah I wouldn't say it fundamentally changes how you think about software.
I wouldn't say that about OCaml either really though. It's not wildly different in the way that e.g. Lean's type system, or Rust's borrow checker or Haskell's purity is.
D has similar comptime capabilities if I recall correctly and proceeds Zig by almost 2 decades or so.
I don't think it's the same. You can do template metaprogramming, but Zig lets you use Zig itself which is a lot nicer.
I'm not a D programmer though so I could be wrong.
I’m not a D programmer but I remember talks by Alexandrescu where he was arguing for this capability in C++ and ultimately one of his stated reasons why he switched from C++ to D
Look up static if - AST manipulation in native D code.