I actually think that vibe coding lends itself well to stuff with really strict type systems. When you use Claude Code, it basically works on a loop until it gets something "right". A type system allows for part of the "right" criteria to be baked into the compilation, giving a hard block if it doesn't at least pass that.

I've had reasonably good luck having Claude generate Rust code that performs well.