Top dotty issues

How to Introduce a Parametric Top Type?

odersky picture odersky·5 Dec 2020·23 Comments
👍7 ❤4

Multiversal Equality

language enhancement
odersky picture odersky·7 May 2016·60 Comments
👍9 🎉6

Language request: Add forAll quantifier / Make MethodTypes first-class

language enhancement question
japgolly picture japgolly·22 May 2017·55 Comments
👍1

Binary versions in the Scala 3.x era

high-prio discussion enhancement
sjrd picture sjrd·9 Nov 2020·26 Comments

Better syntax for conditional given instances

odersky picture odersky·17 Dec 2019·26 Comments
👍12 😕2 👎1

Possible syntax for infix operators

odersky picture odersky·17 Feb 2019·20 Comments

The singleton instance trick used by `=:=` is unsound

scala2
smarter picture smarter·3 Mar 2020·40 Comments
👍2

Wanted: Strawman proposals for new collections architecture

odersky picture odersky·5 Oct 2015·66 Comments

Use integers versus English words for warnings and errors

novice help wanted enhancement
ekrich picture ekrich·2 Oct 2019·5 Comments
👍5 😕1

What kind of typeclass coherence should we support?

odersky picture odersky·3 Apr 2018·28 Comments
 Previous issues
Next issues