Lars Hupel

Consultant - INNOQ

Lars is a consultant with INNOQ in Munich, Germany. He has been using Scala for quite a while now, and is known as one of the founders of the Typelevel initiative which is dedicated to providing principled, type-driven Scala libraries in a friendly, welcoming environment. He is a frequent conference speaker and active in the open source community, particularly in Scala. He also enjoys programming in and talking about Haskell, Prolog, and Rust.

Back to speakers list


The more type parameters, the merrier!

Just about all modern programming languages allow programmers to parametrize routines, both over value and type parameters. But the devil is in the details: various languages and runtimes have wildly different ways of implementing type parameters, ranging from templating to erasure. In this talk, I will argue that the JVM solution – type erasure – is good and necessary. It can also improve correctness of your programs! I will also give an outlook to ever more precise ways to give types to methods and how all this ties into mathematical logic.

Language: English

Level: Advanced

Videos and slides not available

Main Sponsor