Better type inference for Scala: send us your problematic cases!
|
|
191
|
20014
|
August 21, 2023
|
Is F -bound polymorphism useful?
|
|
12
|
5039
|
August 9, 2023
|
Use `,` instead of `with` when there are more than one trait?
|
|
4
|
605
|
August 4, 2023
|
Cooperative equality
|
|
5
|
590
|
July 26, 2023
|
How opaque the opaque types are?
|
|
3
|
682
|
July 27, 2023
|
Resolving the tension between beginner friendliness and advanced usage
|
|
47
|
1714
|
July 13, 2023
|
Opinions about @ binding in patterns
|
|
1
|
451
|
July 12, 2023
|
Add some helpful method to Predef?
|
|
8
|
715
|
July 6, 2023
|
QoL: Sound binding in pattern alternatives
|
|
11
|
612
|
June 26, 2023
|
Infix Vararg Methods
|
|
0
|
334
|
June 26, 2023
|
Clause Interweaving, allowing `def f[T](x: T)[U](y: U)`
|
|
23
|
3330
|
June 19, 2023
|
Change shadowing mechanism of extension methods for on par implicit class behavior
|
|
43
|
3601
|
June 16, 2023
|
Macro brainstorming
|
|
5
|
611
|
June 14, 2023
|
Pre-SIP: Export Macros
|
|
15
|
1351
|
June 12, 2023
|
Rust like Self type, Kotlin seems going to add it
|
|
2
|
591
|
June 2, 2023
|
Quiet for comprehensions
|
|
24
|
1784
|
May 20, 2023
|
Is `this.type` a path-dependent type? What makes it special?
|
|
4
|
734
|
May 10, 2023
|
Missing type annotations to patterns in Scala 3.3
|
|
5
|
695
|
May 12, 2023
|
Enumeration does not derive `CanEqual` for `strictEquality`
|
|
3
|
845
|
May 11, 2023
|
Transparent Monads syntax and Monadic Flow Control interpretation
|
|
5
|
765
|
April 27, 2023
|
Proposal: Add `transparent inline` parameters
|
|
7
|
550
|
April 25, 2023
|
Distributing match types over unions
|
|
3
|
550
|
April 24, 2023
|
Why the current Export is problematic for Import
|
|
5
|
875
|
April 20, 2023
|
Named type parameters
|
|
2
|
445
|
April 19, 2023
|
Add implict support when do extraction in Pattern matching?
|
|
1
|
316
|
April 14, 2023
|
Suggestion: if-comprehensions
|
|
51
|
1836
|
April 6, 2023
|
Scala 3 extension method for object and Java class
|
|
3
|
752
|
March 28, 2023
|
Scala 3 Macros next steps?
|
|
11
|
1223
|
March 24, 2023
|
Ambiguous overload error when overloaded definitions differ only by implicit parameter
|
|
2
|
424
|
March 21, 2023
|
DelayedInit, what is the alternative?
|
|
9
|
695
|
March 20, 2023
|