2026年6月21日 Rustのnewtypeで、誤った状態をコンパイル時に無償で表現不能にする 1フィールドのラッパー構造体が、1バイトのオーバーヘッドも増やさずに単位混在バグや型の混同を防ぐ。 type-level-correctnessrustnewtypeszero-cost-abstractions
2026年6月17日 数値はただの数値ではない：コンパイラに単位のバグを見つけさせる方法 ミリ秒を要求される場所に秒を渡すようなバグは、どんなテストも通り抜けてしまう。ここでは、単位を TypeScript の型システムに直接エンコードして、実行時コストゼロで混在をコンパイル時に検出する方法を解説する。 type-level-correctnessunitstypescriptzero-cost-abstractions
