↑この引用部分はしっくりきますね、僕もよく同じ事を考えてます (edited)

4:09 AM

不変条件を満たさないままデータフローが進むと、どこかでバグが起きる壊れたデータに起因するバグは遅れるほど原因がわからなくなるので顕在化が早いほうがいいし、伝搬するほど検知箇所が増えるので、根元で型に包むところで一回守っておくと効率的だし壊れにくい，と思う。 (edited)

4:12 AM

前倒しする前提条件の保証自体がバグるかもしれない、特に違法initで、というのはリスクとしてはわかるけど、まあかといってそれより良い方法はないと思いますね別の方法を仮定したところで壊す人がいるならそれもまた壊れようし