2026年5月21日 Rustのランタイムcontractsはリリースビルドで無料にできるが、コンパイラは勝手にやってくれない Rustはdebug assertionsを自動で除去するが、本物のdesign-by-contractにはdebug_assert!以上のものが必要だ。リリースバイナリーから完全に消えるゼロコストのランタイムcontractsを作る方法を紹介する。 deep-divesrustruntime-contractsperformance
2026年5月19日 バリデーション層がビジネスロジックより肥大化している 手作りのバリデーションは codebase を膨張させ、それでもエッジケースを見逃す。宣言的なスキーマで runtime contracts を enforce し、実装に干渉しない方法を解説する。 deep-divesruntime-contractsvalidationdesign-by-contract