Editing Duck typing (section)

===Templates or generic types===

[[Template metaprogramming|Template]] (also called [[Generic programming|generic]]) functions or methods apply the duck test in a [[Type system#Static typing|static typing]] context; this brings all of the advantages and disadvantages of [[Type system#Static and dynamic type checking in practice|static versus dynamic type checking]]. Duck typing can also be more flexible in that only the methods actually called at runtime must be implemented, while templates require implementations of all methods that cannot be proven [[Unreachable code|unreachable]] at compile time.

In languages such as Java, Scala and Objective-C, [[reflection (computer programming)|reflection]] may be employed to inspect whether objects implement methods or add necessary methods at runtime. For example, [[Java (programming language)|Java]]'s MethodHandle API can be used in this manner.<ref>{{cite web|url=https://stackoverflow.com/questions/62321273/implement-duck-typing-using-java-methodhandles|title=StackOverflow: Implement duck typing using java MethodHandles|access-date=13 June 2020}}</ref>