Announcing Dotty 0.25.0-RC2 - speed-up of givens and change in the tuple API
Hello! We are excited to announce 0.25.0-RC2 of Dotty. In this version, following feedback of the community, we have improved compilation speeds when programming with givens. We have also made some improvements to the tuple API.
You can try out this version right now, from the comfort of your SBT, by visiting the home page and scrolling down to the "Create a Dotty Project" section.
Alternatively, you can try this version of Scala online via Scastie. Once you're there, click "Build Settings" and set "Target" to "Dotty".
Enjoy the ride🚀!
Dedicated type for empty tuples
We have added a type EmptyTuple
to represent empty tuples. Previously empty tuples were represented by Unit
. This change was done so that all the tuples are a subtype of Product
. Now, tuples have the following type hierarchy:
Product -- Tuple -+- EmptyTuple
|
+- NonEmptyTuple -- *:[Head, Tail <: Tuple]
This change impacts existing type class derivation codebases in that they now should use EmptyTuple
instead of Unit
in the tuple context.
Avoid excessive slowdowns when suggesting missing imports in error messages
Dotty brings to the user an enhanced error reporting when it comes to programming with givens. This better error reporting, however, proved to be a trade-off. Sometimes it takes an unreasonable amount of time and space to compute a quality suggestion to the end user.
A number of users reported considerable slowdowns when it comes to programming with implicits. To address this issue, we have modified the logic for given imports suggestion. We introduced a per-run budget of 10 seconds, so it is guaranteed that it won't take longer than that time to compute all the given imports.
This default budget is configurable via a compiler flag -Ximport-suggestion-timeout
.
This change should speed up the compiler when it comes to programming with givens.
For more information, see PR #9167.
Let us know what you think!
If you have questions or any sort of feedback, feel free to send us a message on our Gitter channel. If you encounter a bug, please open an issue on GitHub.
Contributing
Thank you to all the contributors who made this release possible 🎉
According to git shortlog -sn --no-merges 0.24.0-RC1..0.25.0-RC2
these are:
190 Nicolas Stucki
175 Martin Odersky
67 Liu Fengyun
32 Guillaume Martres
17 Robert Stoll
17 bishabosha
9 Anatolii Kmetiuk
7 yu-croco
6 Reto Hablützel
5 Akhtiam Sakaev
5 odersky
4 Raphael Jolly
4 Ruslan Shevchenko
4 Olivier Blanvillain
3 Jamie Thompson
3 Chris Birchall
2 Radosław Waśko
2 Aleksander Boruch-Gruszecki
2 Eric Loots
2 Jens Kat
2 Miles Sabin
2 noti0na1
1 Krzysztof Bochenek
1 Seth Tisue
1 Tobias Kahlert
1 Yilin Wei
1 ansvonwa
1 FabioPinheiro
1 december32
1 yytyd
1 Ara Adkins
1 squid314
1 typeness
1 xuwei-k
1 Alex Zolotko
1 Julien Richard-Foy
If you want to get your hands dirty and contribute to Dotty, now is a good time to get involved! Head to our Getting Started page for new contributors, and have a look at some of the good first issues. They make perfect entry points into hacking on the compiler.
We are looking forward to having you join the team of contributors.