test type checker
Ouverte
Personne n'a encore pris cette issue.
- Langage dominant
- Python
- Étoiles
- 53
- Forks
- 16
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
Verify the type checking meets parity with OOPSLA paper.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par localiser le point d'entrée du vérificateur de types de BioScript et par examiner les exigences de vérification des types de l'article OOPSLA. Élaborez un ensemble de vérifications à partir de l'article et comparez le comportement de l'implémentation avec celles-ci ; le travail est terminé lorsque le vérificateur de types a vérifié la conformité avec l'article.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- compilers, testing
- Type d'issue
- Fonctionnalité
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Activité
- À l'abandon
- Clarté
- À clarifier
- Accessibilité débutants
- 25/100