Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

Support `LinkedList<@Refined(“x>0”) Integer>`

Ouverte
#41 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
5/5
Temps estimé
Plus d'une semaine
Accessibilité débutants
25/100
Type d'issue
Fonctionnalité
Clarté
À clarifier
Activité
À l'abandon
Stack technique
java
Domaine
compilers

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.

Description

enhancement future

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
Langage dominant
Java
Étoiles
67
Forks
36
Merge moyen
10 j 18 h
PR mergées (30 j)
3

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de liquid-java/liquidjava

Toutes les issues de liquid-java/liquidjava

Issues similaires

Plus d'issues Java

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.