Lazy List's mapWithIndex is not lazy
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 2/5
- Temps estimé
- 1-3 heures
- Accessibilité débutants
- 48/100
- Type d'issue
- Bug
- Clarté
- Clairement spécifiée
- Activité
- À l'abandon
- Domaine
- backend
Piste de recherche
Start in src/Data/List/Lazy/Types.purs at the linked FunctorWithIndex instance around line 116. Compare its folding implementation with the lazy Functor implementation, then check how the proposed recursive mapping handles the list one step at a time. Done means mapWithIndex preserves laziness while supplying each element’s index; the issue provides no test file to run.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
The implementation of FunctorWithIndex for Lazy List uses folding, which, unlike Functor, is not lazy.
It should be:
instance functorWithIndexList :: FunctorWithIndex Int List where
mapWithIndex f xs = List (go 0 <$> unwrap xs)
where
go i = \step -> case step of
Nil -> Nil
Cons x xs' -> Cons (f i x) (List (go (i + 1) <$> unwrap xs'))
- Langage dominant
- PureScript
- Étoiles
- 61
- Forks
- 50
- Merge moyen
- 2 j 6 h
- PR mergées (30 j)
- 1
Préparer son environnement
- Aucun Dockerfile ni fichier Docker Compose
- Propose un modèle de pull request
- Aucun 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.
Autres issues de purescript/purescript-lists
-
ZipList is BindOuverte
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
purescript/purescript-lists#219 · 1 commentaire · 1 réaction ·
-
Data.List.NonEmpty.intersect and Data.List.NonEmpty.intersectBy throw when intersection emptyPeut-être pris @evaogbe l’a pris il y a 1066 jours. Ouvertegood first issue type: bug
Difficulté 4/5 3-5 jours Accessibilité débutants 1/100
purescript/purescript-lists#216 · 2 commentaires ·
-
type: enhancement
Difficulté 4/5 3-5 jours Accessibilité débutants 25/100
purescript/purescript-lists#197 · 1 commentaire ·
-
type: enhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 24/100
purescript/purescript-lists#194 · 5 commentaires ·
-
type: enhancement
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
purescript/purescript-lists#192 · 4 commentaires · 1 réaction ·
Toutes les issues de purescript/purescript-lists
Issues similaires
-
ManageSieve proxy: a backend's NO/BYE greeting is skipped as a capability line and reported as EOFOuvertebug
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
Les mainteneurs répondent en général sous 1 jour
-
Mend: dependency security vulnerability
Difficulté 2/5 1-3 heures Accessibilité débutants 62/100
ManageIQ/manageiq-pods#1476 ·
Les mainteneurs répondent en général sous 1 jour
-
mcp: typed tool handlers lose wrapped JSON-RPC errorsPeut-être à nouveau libre Une pull request pour cette issue a été fermée sans être fusionnée. Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 85/100
modelcontextprotocol/go-sdk#1529 · 1 commentaire ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 66/100
FinanceFlash/unvibecode#818 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100