First Draft: Nominal Sum Types via `enum union` and `switch` Expressions

Dukc ajieskola at gmail.com
Wed Sep 16 18:37:37 UTC 2026


On Monday, 14 September 2026 at 06:35:13 UTC, Meta wrote:
> [snip]

Nice work!

This deserves a comprehensive review. I did read through this and 
am currently maybe halfway writing my opinions but there's enough 
stuff that I'm not finishing today.

Hopefully I'll finish it tomorrow or the day after that.


More information about the dip.development mailing list