syu-m-5151 https://blog.hatena.ne.jp/syu-m-5151/ じゃあ、おうちで学べる https://syu-m-5151.hatenablog.com/ Rust rowan はじめに 長年、動いた DB を覗くと、たいていこういうレコードが眠っています。 { "order_id": 12345, "is_paid": true, "payment_id": null } is_paid = true なのに payment_id は null。 ドメイン上、 同時に成立してはいけない組み合わせ が静かに残り、数ヶ月後の返金処理で例外を出します。 今後 「型で illegal state を表現不能にする」みたいな発表をします 。 そしてその前の記事で書いた 「rowan で自家製 lint を書く」 は、 cargo check に乗らない規約をコードで強制する話… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsyu-m-5151.hatenablog.com%2Fentry%2F2026%2F05%2F12%2F161200" title="ドメイン規約を lint で表現する — `Order` に `is_paid + payment_id` を共存させない - じゃあ、おうちで学べる " class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/s/syu-m-5151/20260512/20260512155532.png Hatena Blog https://hatena.blog 2026-05-12 16:12:00 rich https://syu-m-5151.hatenablog.com/entry/2026/05/12/161200 1.0 100%