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