Hi all! I'm pushing type inference (call-graph)
into GSoC this year. I really believe that the future of our
development applications and optimizations comes from this side. The main idea resides in two aspects:
* enhance inference, allowing complex inference
* building a queryable call graph, that allows to get type and flow information for a given expression.