|
About the Dotty category
|
|
0
|
1111
|
December 1, 2016
|
|
Die nächste Treppe
|
|
1
|
191
|
January 11, 2026
|
|
What are the limitations of extending a trait with constructor?
|
|
1
|
332
|
January 19, 2025
|
|
Named tuple type alias breaks compilation
|
|
1
|
237
|
November 10, 2024
|
|
Status of specialization in Scala 3
|
|
14
|
3910
|
September 11, 2024
|
|
Whats the intention/plan for the Scala3/Dotty optimizer
|
|
11
|
2396
|
July 30, 2024
|
|
Reachable "unreachable" case of union type match
|
|
13
|
1053
|
February 21, 2024
|
|
Migrating lampepfl/dotty to scala/scala3
|
|
19
|
2161
|
February 8, 2024
|
|
Scala 3.3.2 release date?
|
|
2
|
729
|
December 15, 2023
|
|
Behaviour of `@experimental` in Scala 3
|
|
41
|
2593
|
September 8, 2023
|
|
Add parameter name hint to function parameter
|
|
7
|
1032
|
September 6, 2023
|
|
Pre-typer syntactic plugins in Scala 3?
|
|
36
|
12853
|
July 2, 2023
|
|
'Whitebox' Macros in Scala 3 Are Possible After All?
|
|
4
|
3023
|
February 9, 2023
|
|
Opaque type problems: overriding does not work?
|
|
4
|
1202
|
August 26, 2022
|
|
Extension method search API
|
|
0
|
575
|
June 22, 2022
|
|
A possible issue with overriding vars in Scala 3
|
|
2
|
1108
|
June 21, 2022
|
|
Wish Scala would eventually consider a 3rd compile target and not be held back by JVM baggage while remaining interoperable
|
|
10
|
1513
|
May 17, 2022
|
|
Lots of community-build projects not running or even compiling tests
|
|
0
|
1150
|
January 31, 2022
|
|
Union types and generalisations
|
|
75
|
6908
|
July 1, 2021
|
|
Is it possible to export top level Opaque Types in Scala 3?
|
|
4
|
1504
|
June 17, 2021
|
|
How to check for broken symbols in Macro
|
|
6
|
1593
|
June 9, 2021
|
|
Should runtime type test without Typeable be a compiler error?
|
|
2
|
786
|
June 1, 2021
|
|
Compatibility required for migration from Scala2 macro
|
|
2
|
1150
|
May 27, 2021
|
|
Givens in ADT cases
|
|
6
|
1011
|
March 13, 2021
|
|
Teaching beginners simple GADTs without introducing variance
|
|
7
|
6738
|
February 21, 2021
|
|
There's a glaring problem with Typeclass derivation
|
|
5
|
1041
|
February 16, 2021
|
|
Quill Dotty Update
|
|
26
|
6258
|
December 27, 2020
|
|
Please, please keep the Tasty Reflect APIs simple enough for unfamiliar developers
|
|
9
|
1598
|
December 15, 2020
|
|
Scala 3 and Reflection
|
|
22
|
13166
|
October 26, 2020
|
|
Given search when reading the code
|
|
1
|
900
|
June 11, 2020
|