Details
Download the slides of this presentation.
In this talk, we present Arrow Analysis, a Kotlin compiler plug-in that 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.
Prerequisite knowledge
Nothing special.
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.
