Propositions as types, Proofs as Programs: Functional Programming for the Kotlin Type System
Raúl Raja demonstrates some of the new features the Arrow team is introducing in Arrow at the type level and IDE and how others can benefit from them when building libraries and applications.
This presentation was delivered on June 16th, 2020 at the the KTUG Munich June Meetup, and was also given in conjunction with the micro.sphere virtual conference and sponsored by the 47 Degrees Academy.
If you found this talk interesting, consider joining us for a 47 Degrees Academy course. We have a variety of topics on Kotlin and other Functional Programming languages.
Interested in more content like this? Subscribe to the 47 Degrees YouTube channel to be notified when new videos are added.