Comment Comment by sparkie Sum types in the set theoretic approach can be made with `(A & ¬B) | (¬A & B)`, or equivalently `(A | B) & (¬A | ¬B)`.There's no mainstream language with negation types, but a few good research languages with them, eg MLstruct.[MLstruct]:https://github.com/hkust-taco/mlstruct parent sparkie 20 days ago
There's no mainstream language with negation types, but a few good research languages with them, eg MLstruct.
[MLstruct]:https://github.com/hkust-taco/mlstruct