Kategory: Functional Data Types & Abstraction for Kotlin

on YouTube ↗34m

" summary

Kategory presents functional data types and abstractions for Kotlin, showing how to use a functional programming library in Kotlin to model and manipulate data. It covers concrete functional constructs (as provided by Kategory) and how they bring functional patterns from Scala into Kotlin for better backend and application design.

AI-written summary · about

" chapters (12)

1. 0:00Arrow introduction
2. 3:55Functional data types basics
3. 7:29Error handling and validation
4. 10:39Applicatives and declarative programming
5. 13:27Monads and dependent sequences
6. 15:56Lenses for immutable data
7. 19:12Free monads and decoupled programming
8. 22:20Higher-Kinded Types in Kotlin
9. 26:08Polymorphic abstract programming
10. 28:15Financial industry benefits
11. 30:24Alternatives and community
12. 31:51Q&A

" related talks

• 40mFunctional Programming in Kotlin with KategoryPaco Estévez, Raúl Raja Martínez · Lambda World 2017
• 39mKotlin for the Pragmatic FunctionalistPaco Estévez García · KotlinConf 2017
• 41mArchitectures Using Functional Programming ConceptsJorge Castillo · KotlinConf 2017
• 50mPure Kotlin.Jarek Ratajski · Devoxx Ukraine 2022: Secure our Future
• 43mFunctional Programming in Practice with Kotlin & ScalaBenedikt Jerat, Florian Pfleiderer · JCON 2020
• 34mFunctional Programming in Kotlin for AndroidDevsHari Vignesh Jayapalan · droidcon New York 2022
• 49mImperative, declarative, object oriented, functional: four of a Kotlin kindMaia Grotepass · Android Worldwide January 2024
• 27mWhy Kotlin is my favourite example of Functional Programming?Jayashree S Kumar · EclipseCon Europe 2018