Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

[Scala 3] Extra instances for `Covariant`, `Invariant`

Abierto
  • ¿Algo no está bien?
#479 1 comentario 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
3-5 días
Aptitud para principiantes
30/100
Tipo de issue
Nueva funcionalidad
Claridad
Bastante claro
Estado de actividad
Estancado
Stack tecnológico
scala
Área
tooling

Línea de trabajo

Comienza localizando el código de derivación de Scala 3 y las pruebas para Covariant, Invariant y Contravariant; el issue no indica rutas ni puntos de entrada. Compara las instancias anidadas existentes de constructores de tipos con las tres combinaciones solicitadas, y considera terminado el trabajo cuando esas combinaciones estén admitidas con pruebas.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

Feature

For scala 3, we should hopefully be able to support additional derived instances of Invariant and Covariant for nested type constructors. Specifically:

(Invariant[F], Functor[G]) => Invariant[[x] =>> F[G[x]]]
(Invariant[F], Contravariant[G]) => Invariant[[x] =>> F[G[x]]]
(Contravariant[F], Functor[G])=> Contravariant[[x] =>> F[G[x]]]
Lenguaje dominante
Scala
Estrellas
545
Forks
66
Merge medio
6 min
PR fusionados (30 d)
1

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de typelevel/kittens

Todos los issues de typelevel/kittens

Issues similares

Más issues de Scala

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.