Hi I have a quick question, in documentation it sa...

# react

[Dmitriy Malayev]

Hi I have a quick question, in documentation it says that in a list all of the elements have to be of the same type. That being said, why doesn't a listOf(1, 10.0, "ten") give an error ?

[Big Chungus]

Because the inferred type is Any and all the items are of the same type (Any)

[Dmitriy Malayev]

how can it be both same type and any

[Dmitriy Malayev]

sorry I'm fairly new

[Big Chungus]

You can try explicitly specifying the type to see how it breaks. The bellow won't compile:

listOf<Int>(1, 10.0, "then")

[Dmitriy Malayev]

right I realize that

[Dmitriy Malayev]

so a list doesn't have to be of unique elements if a type isn't specified

[Big Chungus]

how can it be both same type and any

They are all inferred as type Any, which is the root type in Kotlin. Just like Object is the super type of all other types in Java.

[Big Chungus]

Son in your example, kotlin type inferrence finds the least common denominator for all argument types (which is Any) and returns List<Any>

[Big Chungus]

Now if you drop the string from your arguments and have listOf(1, 10.0), the closest common type of the two arguments becomes Number and you get List<Number> returned

[Dmitriy Malayev]

got it I think

[Dmitriy Malayev]

but I think it's wrong for the documentation to state it has to be of the same type

[Big Chungus]

In all the cases above, you get a list which has all of its elements be the same type (specified or inferred in generic argument)

[Big Chungus]

but I think it's wrong for the documentation to state it has to be of the same type

Why, that's exactly right

[Dmitriy Malayev]

listOf("a", 100, 10.0) will also not break

[Big Chungus]

Nor it should since you leave the generic arg for type inferrence

[Dmitriy Malayev]

but it's three different types or two since 100 and 10.0 are of the parent Number

[Big Chungus]

No, it's three same types - Any

[Big Chungus]

Any is a type

[Dmitriy Malayev]

ah

[Big Chungus]

val x: Any

[Dmitriy Malayev]

so what would be a type that would be incorrect to combine

[Dmitriy Malayev]

if it says it has to be of the same type

[Big Chungus]

None if you don't specify the type yourself. All kotlin types inherit from Any

[Dmitriy Malayev]

got it

[Dmitriy Malayev]

Thanks

[Big Chungus]

You're welcome

[Dmitriy Malayev]

What's [G] in your name?

[Big Chungus]

Google

[Dmitriy Malayev]

nice

[Dmitriy Malayev]

Can we connect on LinkedIn?

[Dmitriy Malayev]

https://www.linkedin.com/in/dmitriymalayev/

[Big Chungus]

Don't use it when I'm not looking for work tbh

[Dmitriy Malayev]

ok

[Big Chungus]

You can ping me here though if you have further questions

[Dmitriy Malayev]

got it thanks