Give Me Your Types Pegaso
summary
Karumi describes how they use Kotlin's type system to reduce bugs and simplify development in backend and Android projects, showing code examples and practical patterns for leveraging typed models. The talk presents concrete techniques for solving classic development problems with types and relates these ideas to real cases encountered at Karumi.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 6:45Common type arguments
- 11:00Data semantics modeling
- 14:51Practical optional types
- 20:02Modeling results and errors
- 27:51Either for APIs
- 31:24Revealing intentions with types
- 38:10Types in Python and TypeScript
- 46:20Sealed classes and inheritance
- 51:17Refined types and constraints
- 53:24Conclusion
related talks
35mThe Power of Types
35mEffective Kotlin_PiP
42mAdvanced Kotlin
52mKotlin Backend Development 6 Yrs Recap. The Good, the Bad and the Ugly
50mKotlin is as awesome as you've heard. Here's why.
14mThe Art of KMP: how I learned backend development with Kotlin and why you should too
23mThe Art of KMP: how I learned backend development with Kotlin and why you should too
31mDesign Patterns with Kotlin