Re: What is osdev? Rants from the screenshot thread.
Posted: Mon Jul 10, 2017 9:45 am
I am actually finding this flamefest (which really is what it is, not an actual debate, as those involved - especially Tilde - aren't really paying attention to what the others are saying) interesting, because my own language ideas are in part focused on finding a way to allow both hand-coded and automated machine-specific optimizations in the context of a very-high-level language.
My main thrust has been the use of macros, read macros, code templates, code destructuring, and in-language compiler extensions to allow fine-grained specialization, hopefully in ways that doesn't interfere with each other or with higher-level optimizations. This is part of the reason for my interest in both Synthesis kernel (which templates the system services and can in places generate specialized service operations at run-time) and Slim Binaries (to allow most of the compilation to be done AOT, while still giving the JIT compiler enough information to specialize the program for the specific hardware it is to run on).
I have no idea where this will lead, or if any of it will work. Probably, it won't work at all. That's why I call it experimental.
My main thrust has been the use of macros, read macros, code templates, code destructuring, and in-language compiler extensions to allow fine-grained specialization, hopefully in ways that doesn't interfere with each other or with higher-level optimizations. This is part of the reason for my interest in both Synthesis kernel (which templates the system services and can in places generate specialized service operations at run-time) and Slim Binaries (to allow most of the compilation to be done AOT, while still giving the JIT compiler enough information to specialize the program for the specific hardware it is to run on).
I have no idea where this will lead, or if any of it will work. Probably, it won't work at all. That's why I call it experimental.