Join an online session of micro.sphere.it on June 16th featuring a presentation by 47 Degrees CTO and co-founder Raúl Raja.

Type Proofs and Functional Programming for the Kotlin Type System

Type Proofs is a new compiler plugin built on Arrow Meta enabling new features in the Kotlin type system, such as Type Classes, Union Types, Type Refinements, and many other extensions that make Functional Programming easier in Kotlin.

Type Proofs propositions are expressed as extension functions that unlock new relationships between types ad-hoc whilst remaining fully compatible with subtype polymorphism and the existing inheritance type system.

This talk 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.

Registration for this micro.sphere.it session is free, but requires the creation of an account on Hopin.

Get in touch

Increase the speed of your applications using far less code in a secure and fault-tolerant environment. Modernize the way your applications run with a consulting engagement with 47 Degrees.