型の契約

金融システムの開発チームに異動した佐藤は、レガシーコードの型安全性の問題に直面する。バグを減らし、保守性を高めるため、型システムの再設計に挑む。