Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
Data Types with Negation
(opens in new tab)
(bentnib.org)
8 points
isaac21259
3y ago
1 comments
Save
Share
1 comments
1 comments · 1 top-level
top
newest
oldest
aatd86
3y ago
Semantic subtyping uses negation.
It's an analogous to if else.
j
/
k
navigate · click thread line to collapse
