Focus (was Re: draft proposal for Sum Types for D)

[ryuukk_]

On Saturday, 3 December 2022 at 22:55:47 UTC, rikki cattermole 
wrote:
> Its worth remembering that sum types and tuples are both 
> foundational in type theory. Getting these into the language 
> allow for the language to be a lot more foundationally stable 
> in its design.


I agree with this 100%! Let's not get ourselves distracted, there 
are issues that needs to be resolved, sure, but we should not 
forget about the importance of having sumtype/tuple right