Reported interview periodDec 2025–Jul 2026
Infer return types in a tiny generic type system
Implement type substitution for a small language. Types are either atomic names, such as int or generic T, or product types containing an ordered list of child types. A function describes parameter templates an…
Practice focusScenario Implement type substitution for a small language. Types are either atomic names, such as int or generic T , or product types containing an ordered list of child types. A function describes parameter templates and an output-type template. Given concrete argument types, infer the concrete return type. Treat int , float , str , bool , and char as concrete primitives. Any other atomic name in a function template is a generic variable.…