I've always wanted to do an IL-to-IL optimizer. While the jit does a good job it doesn't have time for in-depth analysis, and there are a number of things you can do upstream to boost performance.
And that's what all optimization freaks are craving for. And to get conceptual simplicity whilst not sacrificing performance too much [declarative programmer, imperative compiler].
I haven't studied IL and IR, but would the IR actually be a better IL? It sounds like it could be.
If IL is at a lower level than IR, and if an IL-IL optimizer has to maybe abstract up to IR, then wouldn't it be better to just stay with IR - depending on the effort required to go IR->IL.
I wonder if the TCPA could be used to secure highly optimized snapshots of compiled code [in encrypted files] so the JITr could effectively be relieved of a lot of up-front work. Of course there's NGen which might do some optimizations up-front.
As far as what all those cores will be doing -- I expect we will find good ways to employ them to directly address user problems. Phoenix itself can profitably use 6-8 cores, and with a bit more work we should be able to scale even higher.
It may be that the world of code is more dynamic in the future, but I thought that 10 years ago when I worked on a big static compiler and things haven't really changed that much.
I didn't mean in the sense of dynamic languages (necessarily), more in the sense of JIT'd bytecode.
Having processor makers produce plugins for Phoenix sounds quite compelling, for Phoenix itself, Microsoft, the processor makers and the users.
And it would be great with more static IL optimizations. On the other hand, in the parallel world of the future, there should be enough cores to continuously GC, profile and analyze code, so one wonders how much Phoenix can adapt to dynamic compilation and
I don't agree that it's important for a language to be stable for it to be useful and make things like AJAX (yawn) possible. As long as changes are backwards compatible, no problem. Even if not, you can create a compiler for the old version that maps to
I think Gilad was *absolutely spot on* about moving the industry forward and somebody is bound to feel "hit" by what he's saying, but it's not arrogance, it's just stating how things are (or at the very least an oppinion of how things are, agree with it
or not)... I really enjoy his sense of humor and point of view.