4 ms·
AdaCore just built an Ada front end for LLVM, so maybe not for long :-). I'm not sure I understand the problem with rust build times. In Ada, at least with GNA
by touisteur 7y ago
AdaCore just built an Ada front end for LLVM, so maybe not for long :-).
I'm not sure I understand the problem with rust build times. In Ada, at least with GNAT, a full rebuild of 200KLOC can be a bit long, depending on your use of generics, and your number of cores (thanks to AMD, build times will soon be ridiculously short). But next builds with slight modifications are quite fast, thanks to modular compilation (every module built independently, same as for C, thanks to spec/body separation if you just change the body of a module you just recompile the specific module) and incremental compilation (only rebuild what changed and their dependencies).
Is there something inherently slow in the Rust compiler that disallows those ?
I know that writing an Ada compiler that could compile units independently seemed impossible to everyone at first, until (the late, sadly) Robert Dewar worked it out with RMS : https://news.ycombinator.com/item?id=15880160 https://news.ycombinator.com/item?id=15880160
I don't know Rust enough, just that what they're doing is amazing, and I hope they're not too focused on the small scale optimizations (which are great!) and look at the high level optimizations too, and especially to what's been done elsewhere through sweat and pain.
- pjmlp 7y agoWell, there are other Ada compilers around besides GNAT, although GNAT is the only affordable one to most mortals. Most people might also not be aware that Rational Software started their business by selling Ada machines, where one could enjoy an experience somehow similar to Lisp Machines, just with Ada instead. Thanks for the link.