2026年6月17日 数値はただの数値ではない:コンパイラに単位のバグを見つけさせる方法 ミリ秒を要求される場所に秒を渡すようなバグは、どんなテストも通り抜けてしまう。ここでは、単位を TypeScript の型システムに直接エンコードして、実行時コストゼロで混在をコンパイル時に検出する方法を解説する。 type-level-correctnessunitstypescriptzero-cost-abstractions