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.

Date
2020-05-27
Time
16:10 - 16:50
Conference / Event
Codemotion Amsterdam 2020
Venue
De Kromhouthal, Amsterdam

TAGS

Comments

Please accept our cookie agreement to see full comments functionality. Read more