Power and Pitfalls of Generic Smart Contracts

Generics are a powerful feature of programming languages that allows one to write highly reusable code. More specifically, they are based on the use of type placeholders in order to produce parametrized code, that can be instantiated for each concrete type provided for them. In many programming languages, such as Java, they are implemented by erasure, ie. replaced by their upper bound type during ...