dotty-feature-requests

dotty-feature-requests copied to clipboard

Don't Eagerly Evaluate Implicit Function Types

2

Implicit function types are a very interesting way to express dependencies and provide language support for a concept of a type level set of dependencies where we can seamlessly reorder...

adamgfraser

Quantified Constraints

1

This have basically same motivation and use cases as [Haskell Extension with the same name](https://gitlab.haskell.org/ghc/ghc/wikis/quantified-constraints) More idiomatic name: **Given Derivations** ### Basic usage This feature works on top of implicit...

Odomontois

just as the Scala 2 REPL does seems to me this would make a nice, reasonably self-contained open-source project for an interested contributor

SethTisue

Hi Scala Team? Is there any convinent may to get the printable version of part of the doc, say the most important part, `https://dotty.epfl.ch/docs/reference`? I want a feature like this:...

UkonnRa

Hi Scala Team! I want to translate `https://dotty.epfl.ch/docs` to another language (say chinese), so I wonder if there is a convinent way to do i18n things?

UkonnRa

Requirements for Generic Programming Support in Scala

14

We would like to add some mechanisms for generic programming support in Dotty. As a first step, we should work on a document that lists **Requirements:** What changes do we...

odersky

Typed holes

1

It would be great to have typed holes in Scala * https://wiki.haskell.org/GHC/Typed_holes

japgolly

Support async/await natively

4

Like https://github.com/scala/scala-async

benwaffle

I really like the new `@main` annotation, but there is one thing that does slightly bother me about it: I can't provide defaults! Previously, I could write something like this:...

j-mie6

Reflection Please

1

I have noticed that reflection hasn't been something the Dotty team has been very excited about so far. Please reconsider, and add reflection to Dotty/Scala3. A number of projects rely...

gzoller