Duck type
Duck type is the concept in the domain of the type safety that represents objects, that pass a so-called “Duck Test”:
If it looks like a duck, swims like a duck, and quacks like a duck, then it probably is a duck.
In terms of programming language, it might look like this:
1 2 3 4 5 6 7 8 9 10 11 |
|
The point is that the public interface has methods swim()
and quack()
. This is how you identify the duck in a programming language. This concept is very similar to the concept of the interface
in programming languages that have one, but it is not enforced in any way by the programming language.
Duck typing is mostly natural in dynamic languages, where it is possible to send any message to any object and the check if that is something possible will happen at runtime. In static languages, it is still possible to use duck typing via some sort of Reflection.
Contract test for duck types
In a dynamic language, it is important to make it obvious, that something is implementing certain duck type by writing one test suite for all implementers and executing it against them. For example:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
|
This test suite has to go only through the Duck type public interface. If it is not possible to test behavior through it, one should test at least the function signatures, for example:
1 2 3 4 5 6 |
|
Not doing contract tests for your ducks may result in a passing test suite and broken production code. For example, when one duck and its test suite have been updated, but others haven’t.
Thanks
Thank you for reading, my dear reader. If you liked it, please share this article on social networks and follow me on twitter: @tdd_fellow.
If you have any questions or feedback for me, don’t hesitate to reach me out on Twitter: @tdd_fellow.