It depends what you mean by "abstraction". If an "abstraction" removes a choice, then it is not zero cost, because the programmer can no longer create the code that would have resulted from the removed direction of the choice, and it's only a matter of time before it is needed.
-
-
Because actually what happens is that the compiler usually overspecializes, producing specialized versions for every possible morph, rather than parameterizing some in ways that are free to do in asm (like with register instead of immediate offsets).
-
Really the core concept here that needs to be understood is anything that is not supervised by an expert is probably being done less efficiently than it should be. "Zero cost" is just not a good term. It's never zero cost. We could have a different term, surely.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.