Hacker News new | ask | show | jobs
by unsafecast 1287 days ago
From what I understand, this will be possible in the future with implicit union types. Wouldn't work with _arbitrary_ types, but with a set of types that can be computed at compile time (my guess is that this is possible in most real-world cases).