D3 sumtype api
monkyyy
crazymonkyyy at gmail.com
Fri Feb 28 01:32:21 UTC 2025
On Friday, 28 February 2025 at 01:25:29 UTC, Paul Backus wrote:
> If your match is using SumType's private interface, and it
> breaks, that's your fault. Use the public interface if you
> don't want breakage.
Im trying to suggest the public interface, if we were both
working on the problem of sumtype nullable unification all the
more reason to get some agreed on names.
I will forever use `popFront` dispite my active disgust that its
not `pop`, given the goal of lazy making code work.
More information about the dip.ideas
mailing list