scala/scala3
Vedi su GitHubMatch type syntax does not allow writing type patterns for type members directly
Open
#13.416 aperta il 29 ago 2021
area:match-typeshelp wanteditype:enhancement
Metriche repository
- Star
- (6247 star)
- Metriche merge PR
- (Merge medio 18g 14h) (133 PR mergiate in 30 g)
Descrizione
Minimized code
trait RDF {
type Triple
}
object RDF {
type Triple[R <: RDF] = R match {
case (RDF { type Triple = t }) => t
}
type GetTriple[T] = RDF { type Triple = T }
}
Output
Not found: type t
Expectation
Expected to be able to extract a variable type from inside a type refinement.
This syntax limit can be worked around by introducing a "pattern type":
trait RDF {
type Triple
}
object RDF {
type Triple[R <: RDF] = R match {
case GetTriple[t] => t
}
type GetTriple[T] = RDF { type Triple = T }
}
Why write something like that? Apparently this pattern of extracting a field using a match type can substitute for some usages of generalized type projections and is enough to port some of the libraries using type projections, e.g. https://github.com/bblfish/banana-play