2 ms·
Just a comment: you’re right on the money here. This is the dream that a few people in the Julia community are working towards. The framework of abstract inter
by mccoyb 5y ago
Just a comment: you’re right on the money here. This is the dream that a few people in the Julia community are working towards.
The framework of abstract interpretation, when combined with multiple dispatch as a language design feature, is absolutely insane.
I think programming language enthusiasts might meditate on these points —- and get quite excited with the direction that the Julia compiler implementation is heading.
- benrbray 5y agoThis sounds cool. Do you happen to have any links to share?
- mccoyb 5y agoIf 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...