HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Data Types with Negation | Hacker News Reader
Data Types with Negation
bentnib.org
8 points
·
isaac21259
·
·
1 comment
Open article
Save
View on HN
aatd86
·
Semantic subtyping uses negation.
It's an analogous to if else.
Reply on news.ycombinator.com