What this snippet does
A function accepting a base type (Animal) can be assigned to a function expecting a subtype (Dog), known as contravariance.
Expected output
animal
Why practise typing this
Typing advanced generics code builds muscle memory for the symbols and indentation TypeScript uses most, which prose-based typing tests never cover. DevType measures your words per minute and accuracy on this snippet and tracks the individual characters you mistype, so later lessons can target them.
More TypeScript practice
- Array covariance in TypeScriptAdvanced Generics · advanced
- Unsafe array covariance allowing runtime errorsAdvanced Generics · advanced
- Defining a linked list node typeAdvanced Generics · advanced
- Typing a deeply nested JSON structureAdvanced Generics · advanced
- Infinite recursion in conditional typesAdvanced Generics · advanced
- Inferring only the first type argumentAdvanced Generics · advanced