I think the difference is in name only -- but TBH, I'm a little naive on more specific PL details.
That's just how I imagine the implementation of that concept would likely go in the Julia space.
That's just how I imagine the implementation of that concept would likely go in the Julia space.
Where I do agree with you is that PLT awareness has not permeated the entire community as much as I'd like to see. Certainly one feels a need sometimes to push back against increased "Matlab-ification" of the language. However, it is also nice to see a direct line between rather theoretical concepts like abstract interpretation and very practical use cases like GPU computation.
[1] https://www.youtube.com/watch?v=mQnSRfseu0c [2] https://github.com/AlgebraicJulia/Catlab.jl [3] https://en.wikipedia.org/wiki/Abstract_interpretation
What I'd like to see more of is things like arrows, higher-kinded data types, etc, that work better with support from the language's type system, and things like parametrized modules and contracts, that just need someone with the right background to show Julia how to do it well.