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.

View all Kotlin courses

Interested in more content like this? Subscribe to the 47 Degrees YouTube channel to be notified when new videos are added.

Ensure the success of your project

47 Degrees can work with you to help manage the risks of technology evolution, develop a team of top-tier engaged developers, improve productivity, lower maintenance cost, increase hardware utilization, and improve product quality; all while using the best technologies.