3 ms·

This sounds cool. Do you happen to have any links to share?

• mccoyb 5y ago
  If you are curious, I would stop by the Julia slack — specifically the #compiler-plugin channel. Otherwise, if you’re curious about how Julia’s type inference algorithm works via abstract interpretation, I would recommend the following blog posts: https://juliacomputing.com/blog/2016/04/inference-convergence/ https://juliacomputing.com/blog/2016/04/inference-convergenc... https://juliacomputing.com/blog/2017/05/inference-converage2/ https://juliacomputing.com/blog/2017/05/inference-converage2...