Yes, Julia uses a similar &quot;lowered&quot; form: <a href="http:&#x2F;&#x2F;docs.julialang.org&#x2F;en&#x2F;latest&#x2F;devdocs&#x2F;ast&#x2F;#lowered-form" rel="nofollow">http:&#x2F;&#x2F;docs.julialang.org&#x2F;en&#x2F;latest&#x2F;devdocs&#x2F;ast&#x2F;#lowered-for...</a><p>If you are interested in more details, there was a talk two years about the compiler design: <a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=osdeT-tWjzk" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=osdeT-tWjzk</a> (many type names and implementation details have changed since then, but conceptually it is still very applicable).