Hacker News new | ask | show | jobs
by aatd86 1248 days ago
Semantic subtyping uses negation.

It's an analogous to if else.