💾 Archived View for yujiri.xyz › software › specs-are-contravariant.gmi captured on 2023-06-16 at 16:19:39. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-06-14)
-=-=-=-=-=-=-
Covariance leaves hierarchies intact; contravariance inverts them. For example, integer is a subtype of number and so an integer can be used where a number is expected, but a mere number can't be used where an integer is expected. Thus an array is covariant because an array of integers can be used where an array of numbers is expected, while an array of mere numbers can't be used where an array of integers is expected. Function arguments are contravariant because a function that takes a number can be used where a function that takes an integer is expected, but a function that only takes an integer *cannot* be used where a function that takes any number is expected.
This example was given by the Rustonomicon. I think it's a very good one. I'm writing this because while most devs readily understand these concepts applied to type systems, I think most devs don't understand contravariance when it comes to *specifications*.
In the context of anything that has to be implemented or supported, supporting more things is *bad*, and contravariance is the reason.
When you add a feature to a standalone program, users get to use it. Hooray! There might be other reasons to think twice about it, but at least functionality is a positive.
But when you add a feature to a protocol or specification, what happens isn't that implementers get new functionality. What happens is that they all have to do extra work. And if they don't, incompatibility! Specifications are contravariant.
Do you think you're making your spec easier to use by making everything case insensitive, allowing *optional* whitespace everywhere just because you can (HTTP headers), giving single and double quotes the same meaning, having multiple names for things, and making some characters equivalent to others (markdown emphasis and list markers)? You're wrong. You're making it a buggy mess. Stop it. Get some help.