
Join Imran Settuba, a software engineer from our team, on January 25th at f(by) 2020 in Minsk, Belarus, where he’ll be presenting a talk about Arrow Meta and the relationship between type-proofs and the Kotlin compiler.
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 2 types.
Tickets are available on the f(by) website.