On Wednesday, 10 March 2021 at 21:39:05 UTC, Max Haughton wrote:
> On Wednesday, 10 March 2021 at 21:06:52 UTC, Stefan Koch wrote:
>> On Wednesday, 10 March 2021 at 20:17:57 UTC, Max Haughton wrote:
>>> On Wednesday, 10 March 2021 at 06:53:37 UTC, Stefan Koch wrote:
>>>> On Wednesday, 10 March 2021 at 02:46:26 UTC, Timon Gehr wrote:
>>>>> [...]
>>>>
>>>> I hope that we can fix that.
>>>> Any serious advance of meta-programming in D is basically not possible without having this issue fixed.
>>>> And I think that, slowly transitioning the compiler to an asynchronous task based system
>>>> (get resolution and semantic analysis to be based on co-routines);
>>>> can get us there.
>>>
>>> Is that realistic for dmd?
>>
>> Let me say it like this.
>> I think It is more realistic than giving up on dmd.
>
> I agree although maybe I should rephrase - what's the gameplan? Cull mutability first, then restructure, then go to some abstraction like coroutines?

I would like to get a work-stealing task/job system first.
And then slowly bit by bit rewrite pieces of semantic to use it.
I am not _sure_ if I can make the transition between the systems incremental, but I will at least try.

that said.
The very first step is to draw the graph that semantic currently walks.
That alone is unfortunately a huge pain.