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.