What would it take to make unhashable dict key a static error?

Abierto
#40 1 comentario 0 reacciones 0 asignados Ver en GitHub

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
Bastante claro
Estado de actividad
Estancado
Stack tecnológico
python
Área
compilers

Línea de trabajo

Comienza ejecutando compile_nested_dict_dict_key.py con la revisión de Static Python indicada e inspecciona cómo se trata CheckedDict[B, int] como clave. Determina si el sistema de tipos puede usar hash; se considera terminado cuando el ejemplo produce un error de compilación en lugar del TypeError en tiempo de ejecución.

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

Descripción

sp-correctness staticpython
What version of Static Python are you using?

9965302
2021-07-15

What program did you run?
# compile_nested_dict_dict_key.py

from __static__ import CheckedDict

class B: pass

class D(B): pass

def testfunc():
    x = CheckedDict[B, int]({B():42, D():42})
    y = CheckedDict[CheckedDict[B, int], int]({x: 42})
    return y

print(testfunc())
What happened?

The program raises a runtime error.

TypeError: unhashable type: 'dict[B, int]'
What should have happened?

We expected a compile-time error complaining that CheckedDict[B, int] is unhashable. Maybe the type system can look for a __hash__ method.

Lenguaje dominante
Python
Estrellas
3.8k
Forks
139
Sin PR fusionados en 30 d

Guía de contribución

Abrir la guía de contribución

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 facebookincubator/MetaPython

Todos los issues de facebookincubator/MetaPython

Issues similares

Más issues de Python

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.