型だけでバグを減らそう！Kotlinの型パワーを使った実践タイプセーフエンジニアリング -Kotlin Fest 2022-
zenn.dev