Y
Hacker News
new
|
ask
|
show
|
jobs
Data Types with Negation
(
bentnib.org
)
8 points
by
isaac21259
1248 days ago
1 comments
aatd86
1248 days ago
Semantic subtyping uses negation.
It's an analogous to if else.
link
It's an analogous to if else.