- January 25, 2020
- •
- talks
Introduction to type-proofs in Kotlin
Type-proofs are powered by Arrow Meta - a meta-programming library and functional companion to the Kotlin Compiler and IDE. Type-proofs open the door to the Kotlin typesystem and establish a trust relationship with the Kotlin compiler where users can define functions between two types.
Subscribe to the 47 Degrees YouTube channel to be notified when new videos are added.