С одной стороны, на расте мне бы пришлось писать больше

С другой, там бы точно не пришлось ловить в рантайме кучу багов, которые пропустил кривой/relaxed тайпчекер :/