F(by) 2020

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.

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.