Talk Details

Local variable type inference - will it compile?

Java Language

Since Java 10, type inference in Java has been extended to declarations of local variables with initializers, thus reducing the ceremony associated with writing code. Although seemingly simple at first sight, the feature comes with a series of restrictions making its usage rather tricky at times. In this live-coding session, we push the limits of local variable type inference and examine its behaviour through a series of 40 examples. We do this in the form of a quiz, and focus on situations where the type inference doesn’t work, or leads to unclean code. Come and test your intuition and knowledge of local variable type inference, and learn how to use it well in practice!

Scheduled on Saturday from 15:00 to 15:50 in Room 1

Type Inference
Java 10
Java 11
Java 12
Java Type System

Miro Cupak


Miro is a Co-founder and VP Engineering at DNAstack, where he builds a leading genomics cloud platform. He is a Java enthusiast with expertise in distributed systems and middleware, passionate about genetics and making meaningful software. Miro is the creator of the largest search and discovery engine of human genetic data, and the author of a book on parallelization of genomic queries. In his spare time, he blogs and contributes to several open-source projects.