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



Um die Kommentare zu sehen, bitte unserer Cookie Vereinbarung zustimmen. Mehr lesen