test type checker

Abierto

#69 abierto el 5/11/2019 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: Necesita aclaración
Estado de actividad: Estancado
Stack tecnológico: python
Área: compilers, testing

Línea de trabajo

Comienza localizando el punto de entrada del comprobador de tipos de BioScript y revisando los requisitos de comprobación de tipos del artículo de OOPSLA. Crea un conjunto de comprobaciones a partir del artículo y compara el comportamiento de la implementación con ellas; la tarea estará terminada cuando el comprobador de tipos haya verificado la paridad con el artículo.

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

Descripción

Verify the type checking meets parity with OOPSLA paper.

Lenguaje dominante: Python
Estrellas: 53
Forks: 16
Métricas de merge de PR: Sin PR fusionados en 30 d

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

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 lilott8/BioScript

update readme Abierto

Dificultad 1/5 Menos de una hora Aptitud para principiantes 62/100

lilott8/BioScript#70 · Abierto el 5/11/2019
Functions are broken Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

lilott8/BioScript#87 · Abierto el 30/9/2020
MFSim target does not appropriately translate while conditionals Abierto

bug

Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

lilott8/BioScript#85 · Abierto el 14/9/2020
VolumeTracker to track set of all possible volumes Abierto

enhancement

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

lilott8/BioScript#80 · Abierto el 4/2/2020
VolumeTracker should deal with Phi nodes appropriately Abierto

bug good first issue

Dificultad 3/5 1-2 días Aptitud para principiantes 48/100

lilott8/BioScript#79 · Abierto el 4/2/2020

Todos los issues de lilott8/BioScript

Issues similares

PATCH /interviews/{id} 的 goal 字段没有任何长度上限，500KB 字符串直接落库且每次 GET detail 都全量带回 Abierto

bug

Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100

xinnan-tech/xiaozhi-fde-talk#263 · Abierto el 24/9/2026
rules: REQ-0480 'left fold' jargon is redundant with its own plain restatement Abierto

rules

Dificultad 1/5 Menos de una hora Aptitud para principiantes 90/100

elong0527/yamaa#978 · Abierto el 24/9/2026
Validation discards output from runners that report on stderr (jest, unittest) Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100

huggingface/Repo2RLEnv#163 · 1 comentario · Abierto el 24/9/2026
Source link in quantize_embeddings have shifted code highlights Abierto

Dificultad 1/5 Menos de una hora Aptitud para principiantes 95/100

huggingface/sentence-transformers#4074 · Abierto el 24/9/2026
Queue insertion button ("插入排队消息") missing in api_server sessions — canInsert allowlist only covers cli/global_agent Abierto

comp/dashboard invalid P3

Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100

NousResearch/hermes-agent#121143 · Abierto el 24/9/2026

Más issues de Python