Hacker News new | ask | show | jobs
by aatd86 998 days ago
It's more similar to semantic subtyping as a set interpretation of some types. That avoids having different constructs for similar things.

Personally I find this elegant.