guys, is there any discussion or explanation about, why no union/intersection types (like in typescript) in kotlin? I don’t think, that it’s a must have feature, but I think this topic is quite interesting and was already discussed

It would be useful

There is some discussion here: https://discuss.kotlinlang.org/t/union-types/77/2

Isn't a

sealed class

what you are after? These are very powerful and flexible, and can behave semantically like a `union`ed type in C (even if the underlying memory layout/usage doesn't follow suit).

Well for example this isn't really possible: (made-up syntax)

typedef Value = String | Int

, you can emulate it with container sealed classes but that's a lot of boilerplate.

Ah, ok, yes it'd be:

sealed class Value {
    data class String( value: String ) : Value()
    data class Int( value: Int ) : Value()
}

This is not my proposal, I can't say I've ever needed them. There are a ton of languages that do this, from Haskell to C++.