Canonical float equality does not conform to RFC8949
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 48/100
Línea de trabajo
Start by locating the canonical float equality and map key equivalence implementation in the Haskell code, then inspect the related tests. The issue requires integers to remain unequal to floats, equal numeric values across float widths to compare equal, and signed zero and NaN significands to follow RFC 8949 §5.6.1. Add or update tests for these cases and run the relevant test suite.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
According to the spec:
RFC8949 §2.
Note that integer and floating-point values are distinct in this
model, even if they have the same numeric value.Also note that serialization variants are not visible at the generic
data model level. This deliberate absence of visibility includes the
number of bytes of the encoded floating-point value. It also
includes the choice of encoding for an "argument" (see Section 3)
such as the encoding for an integer, the encoding for the length of a
text or byte string, the encoding for the number of elements in an
array or pairs in a map, or the encoding for a tag number.
This means that integer types are always unequal to floating point numbers, even if numerically they would be equal. However floating point numbers with different bit widths can still be equal if they represent the same numerical value.
Additionally
RFC8949 §5.6.1.
Within each of these groups, numeric values are distinct unless they
are numerically equal (specifically, -0.0 is equal to 0.0); for the
purpose of map key equivalence, NaN values are equivalent if they
have the same significand after zero-extending both significands at
the right to 64 bits.
- Lenguaje dominante
- Haskell
- Estrellas
- 8
- Forks
- 5
- Merge medio
- 3 d 12 h
- PR fusionados (30 d)
- 4
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
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 IntersectMBO/cuddle
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
IntersectMBO/cuddle#168 ·
-
genEnum crashes on empty groupAbiertobug
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
IntersectMBO/cuddle#167 ·
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
IntersectMBO/cuddle#166 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 43/100
IntersectMBO/cuddle#223 ·
-
Nested generic rules get the wrong argument when the outer rule is instantiated more than onceAbiertobug
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
IntersectMBO/cuddle#215 ·
Todos los issues de IntersectMBO/cuddle
Issues similares
-
agent-ready area:skills
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
jmbarzee/temporal-architect#603 ·
Los mantenedores suelen responder en 1 día
-
bug dependencies
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
alunduil/network-arbitrary#251 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Los mantenedores suelen responder en 1 día
-
`logProbability` returns `NaN` for the Poisson distribution with `λ = 0`Posiblemente ocupada @youqad la tomó hace 1 día. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
haskell/statistics#235 ·
-
Bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100