In this talk we present Arrow Analysis, a Kotlin compiler plug-in which does pre- and post-condition and type invariant checking at compile time. For example, it can ensure that no .first() is ever called on an empty list. During the talk we shall look at different examples, and explain how to extend the analysis with your own checks.
About the speaker
Alejandro Serrano Mena
Trainer and Software Engineer @ 47 Degrees
Alejandro is currently a trainer and sofware engineer at 47 Degrees, a company specialized in functional programming. Before that, we was a PhD and lecturer at Utrecht University, working on compilers for functional languages. He has written two books, “Practical Haskell” and “The Book of Monads”, and it’s active in promoting functional programming and Haskell in particular.