simona
simona copied to clipboard
Switch to scala 3 + java 17
Scala 3 has several improvements over the currently used scala version. Even more, in the mid-term I expect that we will run into several problems if we stick to scala 2.
We may consider using this version change to also switch to the latest java LTS which is currently java 17.
For a full switch, we depend on updates of the following tools to support scala 3
We should also consider using this change for a new, actually the first public, release. Therefore it might make sense to solve #17 before.