To what ends, is the ability to do separate compilation NECESSARY?
Please also construct and deconstruct the possible counter-arguments.
Note: I am not challenging the judgement (I agree for reasons partially rational and partially emanating from personal history.)
css
cssAt 07:00 PM 4/15/2012, you wrote:
On Sun, Apr 15, 2012 at 4:36 PM, Sandro Magi < [email protected]> wrote:
- A JIT would solve all of Jonathan's problems, except keeping the TCB
- small and auditable. At the moment, the situation is very much: small
- TCB, inlining, separate compilation, pick any two.
Yes, though JIT has a huge systemic cost when it is applied to all of the programs in a system.
I have no objection to using JIT techniques. In fact, I think that doing so is a very good idea. What I want to avoid is designing a language whose only sensible compilation method relies on JIT. Maintaining the ability to do separate compilation is a necessity, in my view.
shap
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
