At a library level, couldn't you have an opaque sum type where the only thing you can do with it is call a match method that requires a function pointer for each possible variant of the sum type? It'd be pretty cursed to use but at least it wouldn't require compiler plugins.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
replies: