エラーと警告でコードをデザインする ~赤と黄の輪舞曲~

警告やエラーはお好きでしょうか。
コードの誤りをコンパイラレベルで指摘する "疾速のフィードバック"、目を奪われずにはいられない "圧倒的存在感"。彼らこそ、我々エンジニアを正しい道へと導く最高の使者である。
本発表では、attribute や Phantom Type 等を用いて、自らの生み出したコードをエラーや警告に守護させ、使用者を導く方法をお話しします。