Yeah, it's very useful to validate schemas at compile-time and runtime. It prevents several different problems to occur.

Lately, I used code agents a lot, and having typescripts types infered from Zod schemas allows me to catch errors when the large-language model generated slightly wrong code.