3 ms·
I'm not sure how my statement was a misunderstanding if you are confirming that function analysis is in fact lazy.
by haberman 6y ago
I'm not sure how my statement was a misunderstanding if you are confirming that function analysis is in fact lazy.
- kristoff_it 6y agoThe misunderstanding lies in not realizing how lazy evaluation is an integral part of what makes comptime a useful tool and that removing it would break comptime horribly.
- haberman 6y agoThat seems a bit of an overstatement. Calls to sometimes-unavailable functions are but one of the many uses of comptime. It seems entirely possible that lazily-analyzed blocks or functions could be demarcated syntactically (eg. "lazy { }") and that the large majority of comptime evaluation would not need to be inside such a block.