bug VS bamboomigrate

Thank you for sharing!

It looks like the Scala project found allowing protected[this] fields as an escape hatch for variance to be unsound:

https://github.com/scala/bug/issues/7093

Going to have to chew on that and what it means for the same feature in Sorbet…

Thanks again for bringing this up!

I have a new windows 10 and downloaded the Coursier installer from scala-lang.org, the https://docs.scala-lang.org/getting-started/index.html says that you should have either java8 or java11 installed but most tutorials online and posts says to install latest version of java, which java jdk version should I install or does Coursier install it for me or do I choose the latest jdk (java-jdk-19)?

Scala

All of those dependencies are Java dependencies, not Scala libraries, except for one, and it's a known problem that is to some extent solved already and should be fully solved very soon. https://github.com/scala/bug/issues/12632

I had met the core developers, we had discussing a lot about which technology would better address our demand and, after many considerations, we had chosen Scala.

i like scala. it combines object-oriented and functional programming into one high-level language, which makes it fun to learn. i don't know if it is popular in the robotics industry, but it runs on the jvm and can be combined with java, so there is that. i recommend the book "programming scala".

See https://github.com/scala/bug/issues/12491 for info and workarounds. A fix will land in Scala 2.13.8.

Actually, both your examples are possible to solve even in Scala 2. Check my repository from 4 years ago. The Readme has the examples that will be interesting for you: https://github.com/valenterry/bamboomigrate

I'm not saying it looks very elegant though - this is certainly improved a lot in Scala 3

Actually, the match types page in Scala 3 lists some of the differences with typescripts approach: http://dotty.epfl.ch/docs/reference/new-types/match-types.ht...