Hacker News Reader

every other week there's a post about JIT, LLVM, etc. (either like this or more commonly in Python where people show it improving 5x or whatever)

whenever I see it, it makes me feel like Julia-lang really did a good job picking the approach and technology all the way back in 2010

View on HN

First Erlang version was released in 1986, LLVM 2003.

I don't think that's quite what they mean - Julia was specifically designed to be compiled. LLVM is a tech it uses, but it could use any compiler backend. It's the design that's amenable to compilation that's the important bit.

https://dl.acm.org/doi/pdf/10.1145/3276490

Or more directly, the property of type groundedness + multiple dispatch allows for devirtualization of dispatches to get static-like performance in a dynamic language. That was the main design principle, which was a conjecture from Jeff's thesis later proven in a type-theoretic way by Jan Vitek's group.

https://arxiv.org/pdf/2109.01950.pdf

Reply on news.ycombinator.com