compile lenses to a more efficient intermediate representation
Ouverte
- Langage dominant
- Idris
- Étoiles
- 38
- Forks
- 2
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
Cette issue n'a pas de description.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Piste de recherche
The issue provides no files, tests, entry points, or completion criteria beyond compiling lenses to a more efficient intermediate representation. Start by locating the lens compiler and its current intermediate representation, then establish how efficiency will be measured. Done requires an agreed target representation and evidence that compilation produces it more efficiently.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Domaine
- compilers, performance
- Type d'issue
- Refactorisation
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Activité
- À l'abandon
- Clarté
- À clarifier
- Accessibilité débutants
- 12/100