21-Dec-2013 21:10, Andrei Alexandrescu пишет:
On 12/21/13 12:08 AM, Dmitry Olshansky wrote:
21-Dec-2013 00:43, Martin Nowak пишет:
Couldn't static imports be made lazy without breaking any code?
The above example would read.
static import std.range.
void foo(R)(R range) if (std.range.isForwardRange!R)
{
}
That has the disadvantage of importing the whole std.range.
Yah but only if the symbol foo is actually used.
That assuming static import becomes lazy (if/when).
In such a case I'd be against the idom still if only because of extra
verbosity in constraints - it's a place where we'd want to have less of it.
Second point is that even if import becomes lazy it's still
analyze-the-whole-module at the first reference required.
No escaping the fact that both constraints and bodies of templates
function need to use fine grained imports (more . The more can be
shifted inside of the body, and the more specific it gets the better
dependency management we have. The latter implies the well-known benefit
of having less stuff to analyze, compile and link.
Thus I conclude that introducing lazy loading of symbols
accomplishes too little for the amount of changes it entails.
--
Dmitry Olshansky
