Re:Kotlin becomes second most popular language on the JVM
by Nullabillity on Thursday February 06, 2020 @12:51PM
(#22258318)
The following:
Compiles down to (the moral equivalent of)
If the inner value (x, in this case) can be stack-allocated or stored in registers then `Foo(x): Foo` will as well. `Foo(x): Bar` (where Bar is a supertype of Foo) will be autoboxed, but that also applies to primitive types (`5: Any` becomes a java.lang.Integer in memory).
[ Parent
| on HN ]
Re:Kotlin becomes second most popular language on the JVM
by pjmlp on Thursday February 06, 2020 @01:02PM
(#22258421)
Neither of those represent the same semantics of:
inline class { ... ]
Which is guaranteed to be always stack-allocated or stored in registers, again you cannot retrofit semantics, specially when passing those classes to binary libraries.
Re:Kotlin becomes second most popular language on the JVM
by Nullabillity on Thursday February 06, 2020 @01:29PM
(#22258722)
You're correct that the Scala version isn't ABI-compatible. But Scala doesn't care about ABI between minor releases anyway, so that probably wouldn't stop them from changing it to align with Java.
There is also precedence for this, Scala 2.12 changed the encoding of lambdas from anonymous classes to Java 8's invokedynamic.