liquid-java / liquid-java/liquidjava
Support `LinkedList<@Refined(“x>0”) Integer>`
Ouverte
Personne n'a encore pris cette issue.
enhancement
future
- Langage dominant
- Java
- Étoiles
- 67
- Forks
- 36
- Merge moyen
- 10 j 18 h
- PR mergées (30 j)
- 3
Description
Add support for refining all the items inside a List.
This is a large task with several challenges inside, some of them include:
- supporting list refinements, see how LiquidHaskell handles them;
- how to translate lists to SMT lib;
- unboxing Integer to int.
Small example code:
LinkedList<@Refinement(“x>0”) Integer> li = new ArrayList<Integer>();
li.add(10); // okay
li.add(-100; // error
Guide de contribution
Ouvrir le guide de contribution
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
Aucun fichier source ni test n’est indiqué. Commencez par examiner la gestion existante des raffinements et la manière dont LiquidHaskell gère les raffinements de listes, puis étudiez la traduction des listes vers SMT-LIB et le déballage de Integer en int. C’est terminé lorsque l’exemple LinkedList accepte 10 et rejette -100.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- java
- Domaine
- compilers
- Type d'issue
- Fonctionnalité
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Activité
- À l'abandon
- Clarté
- À clarifier
- Accessibilité débutants
- 25/100