OpenAI·Software Engineer·Technical Phone Screen
- Implement a type inference system for a toy language that supports primitives, generics, nested tuples, and function signatures. Start by implementing string representations for Node and Function types, then write a function that resolves a function's return type given concrete argument types by unifying generics and substituting them into the output type.
“This one took me longer than I expected to get fully right.”