4 ms·
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 se
by moelf 4y ago
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
- rad_gruchalski 4y agoFirst Erlang version was released in 1986, LLVM 2003.
- chrisseaton 4y agoI 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 https://dl.acm.org/doi/pdf/10.1145/3276490
- deleted 4y ago[deleted]
- ChrisRackauckas 4y agoOr 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 https://arxiv.org/pdf/2109.01950.pdf