Compilation times and idiomatic D code

[jmh530 via Digitalmars-d]

On Saturday, 15 July 2017 at 15:58:12 UTC, Jonathan M Davis wrote:
>
>     int[] a;
>     auto b = a.map!(a => a / 2)();
>     pragma(msg, typeof(b));
>
> then it prints out
>
>     MapResult!(__lambda1, int[])
>
> If you have
>
>     int[] a;
>     auto b = a.map!(a => a / 2)().map!(a => a)();
>     pragma(msg, typeof(b));
>
> then it prints out
>
>     MapResult!(__lambda2, MapResult!(__lambda1, int[]))
>
> If you have
>
>     int[] a;
>     auto b = a.map!(a => a / 2)().map!(a => a)().filter!(a => a 
> < 7)();
>     pragma(msg, typeof(b));
>
> then it prints out
>
>     FilterResult!(__lambda3, MapResult!(__lambda2, 
> MapResult!(__lambda1,
> int[])))
>

Is there any way - theoretically - to compute typeof(b) lazily, 
so that the information is only provided as needed?