Split Semiring into Semiring and Dioid
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Área
- backend
Línea de trabajo
The proposal concerns the Semiring type class in purescript-prelude; start by reading its current definition and the five comments on this issue. The discussion asks whether to move zero and one into Dioid, but does not settle the design or name affected files. Done would require a decided design and agreement on how the breaking change and biproduct generalization should work.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
From @mikesol in Discord:
Would it make sense to revamp
Semiringso that it had only the operatorsaddandmuland then useDioidforzeroandone? There is some precedent for that: https://en.m.wikipedia.org/wiki/Semiring. It would create a nice symmetry between semigroup/monoid/group and semiring/dioid/ring. It'd be a breaking change for folks usingzeroandone, but otherwise I think it wouldn't be too disruptive. Also, it would allow for the generalization of semiring to an analogous biproduct class, which now isn't possible becausezeroandonenecessarily leave out all but one of the types in the biproduct or biCCC class. Thoughts?
- Lenguaje dominante
- PureScript
- Estrellas
- 168
- Forks
- 90
- Merge medio
- 3 d 1 h
- PR fusionados (30 d)
- 1
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Tiene una plantilla de pull request
- Sin guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de purescript/purescript-prelude
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 57/100
purescript/purescript-prelude#317 · 1 reacción ·
-
Int bottom is not safeAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 32/100
purescript/purescript-prelude#312 · 5 comentarios ·
-
add liftCompare & friendsAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
purescript/purescript-prelude#310 · 5 comentarios ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 24/100
purescript/purescript-prelude#308 · 2 comentarios ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
purescript/purescript-prelude#307 · 1 comentario · 1 reacción ·
Todos los issues de purescript/purescript-prelude
Issues similares
-
ManageSieve proxy: a backend's NO/BYE greeting is skipped as a capability line and reported as EOFAbiertobug
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Los mantenedores suelen responder en 1 día
-
Mend: dependency security vulnerability
Dificultad 2/5 1-3 horas Aptitud para principiantes 62/100
ManageIQ/manageiq-pods#1476 ·
Los mantenedores suelen responder en 1 día
-
mcp: typed tool handlers lose wrapped JSON-RPC errorsQuizá libre de nuevo Un pull request para esta issue se cerró sin fusionarse. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100
modelcontextprotocol/go-sdk#1529 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 66/100
FinanceFlash/unvibecode#818 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100