tom7's videos and SIGBOVIK papers are treasures

http://tom7.org/

"'be conservative in what you send, be liberal in what you accept' ... Among programmers, to produce compatible functions, the principle is also known in the form: be contravariant in the input type and covariant in the output type."