Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
Data Types with Negation
(bentnib.org)
8 points
by
isaac21259
3 years ago
| 1 comment
Data Types with Negation | Dark Hacker News
aatd86
3 years ago
|
next
[−]
Semantic subtyping uses negation.
It's an analogous to if else.