Higher Kinded Types in a Lower Kinded Language by Jacob Bass
Yow! Lambda Jam, Sydney, Australia · · One min read

It's hard coming back down to the earth of a JVM based language after spending time with Haskell and OCaml. This talk will discuss functional programming in Kotlin with the Arrow library, how the abstractions it provides can improve your code, and how this magic that provides higher-kinded types works under the hood.