Introduction to Arrow
summary
Arrow is presented as a Kotlin library that brings typeclass-style abstractions to the language and consolidates earlier separate libraries into one Arrow project. The demo implements a Monoid (zero and combine) and shows a single naturalMultiply function reused for Int, String (concatenation/repetition), and Pair by composing monoid instances; it also demonstrates a live-coding example and an experimental compiler plugin that can resolve instances implicitly but currently still requires explicit instances and has sparse documentation.
AI-written summary · about
chapters (12)
- 0:00Introduction
- 2:08Kotlin pillars
- 7:07Kotlin basics for Arrow
- 9:13Arrow library
- 11:41Typeclasses example
- 20:25Ad-hoc vs parametric polymorphism
- 27:15Typeclasses in practice
- 30:05Live demo: Arrow and Monoids
- 37:39Typeclass benefits
- 39:44Category theory and Arrow
- 41:30Future of typeclasses
- 43:59Conclusion
