Implement type AST and infer generics

Q: How do I practice coding and algorithm questions?

Use PracHub's coding console to write, test, and debug your solutions in Python or JavaScript. View hints, test against sample inputs, and compare with official solutions.

Q: What difficulty level is this coding question?

This is a hard difficulty Coding & Algorithms question, commonly asked during Technical Screen rounds at OpenAI.

Q: What role is this question designed for?

This question is commonly asked for Software Engineer candidates at OpenAI during technical interviews.

Question

Implement type AST and infer generics

PracHub · Accepted Answer

This question evaluates a candidate's ability to design an abstract syntax tree representation and implement generic type inference for a small language, exercising skills in type systems, structural recursion, and detecting conflicting bindings.

Quick Overview

Implement type AST and infer generics