differential-datalog
differential-datalog copied to clipboard
[Feature Request] Tuple variants & structs
Tuple enum variants and tuple structs would be nice for scenarios where the inner type doesn't need an extra description, such as
typedef Id = Id(usize)
typedef IdKind = FirstId(usize) | SecondId(usize)
The proposal makes sense and will certainly improve the ergonomics in certain cases. A proper implementation will involve significant extensions throughout the compiler. Alternatively, we can implement this as syntactic sugar on top of normal structs and enums. However, I am reluctant to add non-critical features to the language at the moment, so can't promise this will happen soon.
That's perfectly fine, I just wanted to make an issue for posterity's sake