lambdaclass / lambdaclass/lambda_compiler_kit
perf: fix O(n²) string concatenation in parseStr (Tokenizer.lean)
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- Lean
- Estrellas
- 2
- Forks
- 1
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
Problem
parseStr in Lck/Json/Tokenizer.lean accumulates the string result with acc ++ s, which is O(n²) for large strings because each concatenation copies the accumulated string.
Suggested Fix
Use String.Builder accumulation or collect into List Char/List String and concatenate once at the close-quote branch to achieve O(n) behavior.
References
Raised in AI code review (Codex #1, medium severity).
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Línea de trabajo
Abre Lck/Json/Tokenizer.lean e inspecciona parseStr, especialmente su acumulador y la rama de comillas de cierre. Sustituye la concatenación repetida de strings por uno de los enfoques sugeridos de acumulación en tiempo lineal, preservando el comportamiento del análisis sintáctico y confirmando que los strings grandes ya no provocan trabajo O(n²).
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Área
- compilers, performance
- Tipo de issue
- Refactorización
- Dificultad
- 2/5
- Tiempo estimado
- 1-3 horas
- Estado de actividad
- Estancado
- Claridad
- Bien especificado
- Aptitud para principiantes
- 58/100