Hacker News Reader

There are union types, which despite being untagged might be enough in a lot of situations, and I believe has language support in things like switch statements.

https://crystal-lang.org/reference/latest/syntax_and_semanti...

View on HN

Crystal union types are tagged as the actual type a variable contains is tracked.

I honestly have no idea how anything could work if they were not tagged. Like how on earth would you know what method to invoke?

You should look into the union keyword in C :)

(Basically the programmer has to figure out how discrimination works - you’re kinda on your own).

But eh, that is not the case in crystal. You are not on your own - the language knows what a variable is during runtime and you have plenty of ways to dispatch between the types.

Reply on news.ycombinator.com