All videos
All videos
Type Proofs and Functional Programming for the Kotlin Type System
June 16, 2020
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.
Tags
Other videos that you might like
Pragmatic App Migration to the Cloud: Quarkus, Kotlin, Hazelcast and GraalVM in action
Nicolas Frankel
Building Kotlin DSL
Marcin Moskala
Inkuire – Using types as search keys in Kotlin libraries
Andrzej Ratajczak, Kacper Korban
Superpowers for tailoring asynchrony or how to customize your coroutines
Paweł Marks