Hacker News new | ask | show | jobs
by steveklabnik 15 days ago
The E | F | G could be two different features, "anonymous sum types" or "union types".

TypeScript is an example of a language with union types: https://www.typescriptlang.org/docs/handbook/unions-and-inte...