Kotlin Fest 2022
採択
2022/12/10 13:00〜
トラックB
ショート（25分）
型だけでバグを減らそう！Kotlinの型パワーをつかった実践タイプセーフエンジニアリング
佐藤有斗
Yuiiitoto
contracts や genericsなど Kotlinは静的型付け言語トップレベルの型機能を有しています。
しかし我々はそれらのリッチな型機能を上手に使いこなせているのでしょうか？
本セッションではKotlinの型機能を使ってコンパイルで検出できる実装ミスを増やしアプリケーションの品質を高める方法を説明します。
Kotlinの機能紹介のみに終始せず、具体的な実装ミス・バグを例にとりながら具体的な実装パターンを紹介していきます。
以下目次
- なぜ型を使いこなすことでバグが減るのか？
- 型によってバグが減らせる3パターン
- 標準の型をラップする
- 認可処理などの特定の処理をパスしたことを型で示す
- 型でデータの不整合をなくす
- まとめ
- 最後に: タイプセーフなポストモーテム