Functional Programming in Kotlin with Kategory

on YouTube ↗40m

" summary

Kategory is a Kotlin library that ports Typelevel Scala ideas (cats) and ships ready-to-use datatypes (Option, Try, Either, IO/effects) with lawful instances and tests. It implements monadic comprehensions using coroutines, an applicative/cartesian builder, stack-safety via trampolines/free, cancellation and thread-context switching, and generated optics (lenses/prisms) via annotations. Higher-kinded types are emulated with an HK interface and codegen; type classes use a global registry plus inline/reified lookup today, and a language proposal aims to replace that.

AI-written summary · about

" chapters (5)

1. 0:00Start
2. 11:53Comprehensions - Exception
3. 12:48Comprehensions - Stack-Safe
4. 13:59Monad Comprehensions - Cancellable
5. 19:47Transforming immutable data

" related talks

• 34mKategory: Functional Data Types & Abstraction for KotlinRaúl Raja Martínez · WeCodeFest 2018
• 39mKotlin for the Pragmatic FunctionalistPaco Estévez García · KotlinConf 2017
• 41mArchitectures Using Functional Programming ConceptsJorge Castillo · KotlinConf 2017
• 34mFunctional Programming in Kotlin for AndroidDevsHari Vignesh Jayapalan · droidcon New York 2022
• 39mFunctional Programming in Kotlin with ΛrrowRaúl Raja Martínez · KotlinConf 2018
• 48mKotlin & Functional Programming: pick the best, skip the restUrs Peter · J-Fall 2023
• 43mFunctional approach to Android architecture using KotlinJorge Castillo · Mobilization 2017
• 52mCategory Theory Through Functional Programming (part 1/3)Alejandro Serrano · LambdaConf Winter Retreat 2017