> Compare this to the constraints and workarounds that Kotlin and Scala have due to type-erasure on the JVM.
replyThe creator of Scala disagrees: https://youtu.be/Xn_YpUtXWT4?t=850
You CAN do it, but it's much more difficult.
replyAnd as far as I'm aware, both kotlin and Scala don't really suffer due to type erasure.
I mean, the language is what it is. But, it definitely constrains the language developers. Especially when considering interop with other JVM languages.
replyThat being said, it is easier to write a language on top of the JVM with good interop, since there are less ways to implement features. Essentially, your language has to interop with Java.
And it is harder to have good interop between CLR languages because there are more ways to implement features. Essentially, your language has to interop with C#.