Type inference enginesis probably most important component in the area of the tooling for dynamically typed languages. We will start from explaining why it is important, what features depend on it, and what the key characteristics of type inference engines. Then we will cover main approaches that can be used for type inference, share design and implementation of our type inference engine, show some metrics of our solution as well as discuss further evolution and what we think coming next in the area.

Outline

1. What is type inference engine, why they are needed?

2. What are types of type inference engines in the world.

3. What are the extra requirements to the engine that are coming in IDE environment?

4. Our view on type inference process, our design of TI engine

5. Metrics, use cases, limitations

6. What is coming next?

Takeaway

• What is type inference engine, why it is important
• What approach we use and what we achieved so far