今回はTypeScriptで「DateRange型」のような型を作る利点とその正しさを保証する方法を書きます。 DateRange型の例 type DateRange = Readonly<{ since: Date; until: Date; }>; 利点について Domain Modeling Made FunctionalはF#で関数型によるDDDを実践す…