Data Types with Negation (bentnib.org)

8 points by isaac21259 3y ago ↗ HN

1 comment

[ 3.9 ms ] story [ 17.5 ms ] thread

aatd86 3y ago ↗

Semantic subtyping uses negation.

It's an analogous to if else.