%zinc) means that specific types nest inside of generic types: it's like claiming that a core that produces a
%plantcan produce a
%tree, a subcategory of
%plant. Covariance is useful for flexibility in return values.
%iron) means that generic types are expected to nest inside of specific types: it's like claiming that a core that can accept a
%treecan accept a
%plant, the supercategory of
%tree. (Contravariance seems counterintuitive for many developers when they encounter it for the first time.) Contravariance is useful for flexibility in input values (samples).
%lead) means that we can allow both covariant and contravariant behavior. While bivariance is included for completeness, it is not commonly used and only a few examples exist in the standard library for building shared data structure cores.
%gold) means that types must mutually nest compatibly: a core that accepts or produces a
%treecan only accept or produce a
%tree. This is the default behavior of cores. Cores which allow variance are changing that behavior.
%gold core can be cast or converted to any metal, and any metal can be cast or converted to
- Hoon School: metals: This lesson covers core variance.