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.
- 16:10 - 16:50
- Konferenz / Veranstaltung
- Codemotion Amsterdam 2020
- De Kromhouthal, Amsterdam