Cast-iron woks do exist, though; we have this and it’s fantastic: https://rikumo.com/products/featherweight-cast-iron-wok

It weighs about 30% more than our old carbon steel wok, which doesn’t matter much in practice.